<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this paper the theory of invertibility of matrices of field elements (see e.g. [5], [6]) is developed. The main purpose of this article is to prove that the left invertibility and the right invertibility are equivalent for a matrix of field elements. To prove this, we introduced a special transformation of matrix to some canonical forms. Other concepts as zero vector and base vectors of field elements are also introduced as a preparation.</p><p>MML identifier: MATRIX14, version: 7.9.01 4.101.1015</p></abstract>

In this paper the theory of invertibility of matrices of field elements (see e.g. [5], [6]) is developed. The main purpose of this article is to prove that the left invertibility and the right invertibility are equivalent for a matrix of field elements. To prove this, we introduced a special transformation of matrix to some canonical forms. Other concepts as zero vector and base vectors of field elements are also introduced as a preparation.MML identifier: MATRIX14, version: 7.9.01 4.101.1015

Invertibility of Matrices of Field Elements

Nan Kai Institute of Technology, Nantou County, Taiwan

Formalized Mathematics

{"article-title":"Invertibility of Matrices of Field Elements"}

In this paper the theory of invertibility of matrices of field elements (see e.g. [5], [6]) is developed. The main purpose of this article is to prove that the...

Invertibility of Matrices of Field Elements

Published Online: Mar 20, 2009

Page range: 195 - 202

DOI: https://doi.org/10.2478/v10037-008-0025-z

This content is open access.