<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>Here, we present determinants of some square matrices of field elements. First, the determinat of 2 * 2 matrix is shown. Secondly, the determinants of zero matrix and unit matrix are shown, which are equal to 0 in the field and 1 in the field respectively. Thirdly, the determinant of diagonal matrix is shown, which is a product of all diagonal elements of the matrix. At the end, we prove that the determinant of a matrix is the same as the determinant of its transpose.</p></abstract>

Here, we present determinants of some square matrices of field elements. First, the determinat of 2 * 2 matrix is shown. Secondly, the determinants of zero matrix and unit matrix are shown, which are equal to 0 in the field and 1 in the field respectively. Thirdly, the determinant of diagonal matrix is shown, which is a product of all diagonal elements of the matrix. At the end, we prove that the determinant of a matrix is the same as the determinant of its transpose.

Determinant of Some Matrices of Field Elements

Shinshu University, Nagano, Japan, ynakamur@cs.shinshu-u.ac.jp

Formalized Mathematics

{"article-title":"Determinant of Some Matrices of Field Elements"}

Here, we present determinants of some square matrices of field elements. First, the determinat of 2 * 2 matrix is shown. Secondly, the determinants of zero...

Determinant of Some Matrices of Field Elements

Online veröffentlicht: 13. Juni 2008

Seitenbereich: 1 - 5

DOI: https://doi.org/10.2478/v10037-006-0001-4

This content is open access.