Moore Matrix
   HOME

TheInfoList



OR:

In
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as :a_1x_1+\cdots +a_nx_n=b, linear maps such as :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrix (mathemat ...
, a Moore matrix, introduced by , is a
matrix Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the m ...
defined over a
finite field In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field (mathematics), field that contains a finite number of Element (mathematics), elements. As with any field, a finite field is a Set (mathematics), s ...
. When it is a square matrix its
determinant In mathematics, the determinant is a Scalar (mathematics), scalar-valued function (mathematics), function of the entries of a square matrix. The determinant of a matrix is commonly denoted , , or . Its value characterizes some properties of the ...
is called a Moore determinant (this is unrelated to the Moore determinant of a quaternionic Hermitian matrix). The Moore matrix has successive powers of the Frobenius automorphism applied to its columns (beginning with the zeroth power of the Frobenius automorphism in the first column), so it is an ''m'' × ''n'' matrix M=\begin \alpha_1 & \alpha_1^q & \dots & \alpha_1^\\ \alpha_2 & \alpha_2^q & \dots & \alpha_2^\\ \alpha_3 & \alpha_3^q & \dots & \alpha_3^\\ \vdots & \vdots & \ddots &\vdots \\ \alpha_m & \alpha_m^q & \dots & \alpha_m^\\ \end or M_ = \alpha_i^ for all indices ''i'' and ''j''. (Some authors use the
transpose In linear algebra, the transpose of a Matrix (mathematics), matrix is an operator which flips a matrix over its diagonal; that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other ...
of the above matrix.) The Moore determinant of a square Moore matrix (so ''m'' = ''n'') can be expressed as: \det(V) = \prod_ \left( c_1\alpha_1 + \cdots + c_n\alpha_n \right), where c runs over a complete set of direction vectors, made specific by having the last non-zero entry equal to 1, i.e., \det(V) = \prod_ \prod_ \left( c_1\alpha_1 + \cdots + c_\alpha_ + \alpha_i \right). In particular the Moore determinant vanishes if and only if the elements in the left hand column are
linearly dependent In the theory of vector spaces, a set of vectors is said to be if there exists no nontrivial linear combination of the vectors that equals the zero vector. If such a linear combination exists, then the vectors are said to be . These concepts ...
over the finite field of order ''q''. So it is analogous to the
Wronskian In mathematics, the Wronskian of ''n'' differentiable functions is the determinant formed with the functions and their derivatives up to order . It was introduced in 1812 by the Polish mathematician Józef Wroński, and is used in the study of ...
of several functions. Dickson used the Moore determinant in finding the modular invariants of the
general linear group In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again inve ...
over a finite field.


See also

* Alternant matrix *
Vandermonde matrix In linear algebra, a Vandermonde matrix, named after Alexandre-Théophile Vandermonde, is a matrix with the terms of a geometric progression in each row: an (m + 1) \times (n + 1) matrix :V = V(x_0, x_1, \cdots, x_m) = \begin 1 & x_0 & x_0^2 & \dot ...
*
Vandermonde determinant In algebra, the Vandermonde polynomial of an ordered set of ''n'' variables X_1,\dots, X_n, named after Alexandre-Théophile Vandermonde, is the polynomial: :V_n = \prod_ (X_j-X_i). (Some sources use the opposite order (X_i-X_j), which changes the ...
* List of matrices


References

* * * Matrices (mathematics) Determinants {{matrix-stub