Elementary divisors

of a matrix $ F ( x) $ over a polynomial ring $ k [ x] $

Powers of the monic irreducible polynomials over the field $ k $ into which the invariant factors of $ F ( x) $ split. Two $ ( m \times n ) $- matrices over $ k [ x] $ having the same rank are equivalent (that is, can be obtained from one another by means of elementary operations) if and only if they have the same system of elementary divisors.

The elementary divisors of an $ ( n \times n ) $- matrix $ A $ over $ k $ are, by definition, those of its characteristic matrix $ \| x E _ {n} - A \| $. They can be obtained in the following manner. Let $ D _ {l} ( x) $ be the greatest common divisor of the minors of order $ l $ of the matrix $ \| x E _ {n} - A \| $, $ 1 \leq l \leq n $, and let $ D _ {0} = 1 $. Then the invariant factors of $ \| x E _ {n} - A \| $ are

$$ i _ {l} ( x) = \frac{D _ {l} ( x) }{D _ {l-} 1 ( x) } ,\ i = 1 \dots n . $$

The factors $ i _ {l} ( x) $ different from $ 1 $ are in $ k [ x] \setminus k $. Each of them can be represented in the form

$$ i _ {l} ( x) = ( p _ {1} ( x) ) ^ {m _ {1} } \dots ( p _ {t} ( x) ) ^ {m _ {t} } , $$

where the $ p _ {i} ( x) $ are monic irreducible polynomials over $ k $, $ m _ {i} > 0 $, and $ p _ {i} ( x) \neq p _ {j} ( x) $ when $ i \neq j $. All the polynomials $ ( p ( x) ) ^ {m} $ thus obtained form the system of elementary divisors of $ A $. Two square matrices over a field are similar if and only if they have the same system of elementary divisors. The product of all elementary divisors of a matrix over a field is its characteristic polynomial, and their least common multiple is its minimum polynomial. Any collection of polynomials of the form $ l _ {i} ( x) = g _ {i} ( x) ^ {m _ {i} } $, where $ g _ {i} ( x) $ is a monic irreducible polynomial over $ k $, is the system of elementary divisors for one and only one class of similar matrices over $ k $ of order $ n $, where $ n $ is the degree of the product of the $ l _ {i} ( x) $.

If $ k $ is a splitting field of the characteristic polynomial of $ A $, then the elementary divisors have the form $ ( x - \lambda ) ^ {m} $. Their number is then the same as the number of Jordan cells in the Jordan form of $ A $, and the elementary divisor $ ( x - \lambda ) ^ {m} $ corresponds to a Jordan cell $ J _ {m} ( \lambda ) $ of order $ m $( see Jordan matrix). A square matrix over a field $ k $ is similar to a diagonal matrix if and only if each elementary divisor of it has the form $ x - \lambda $, where $ \lambda \in k $.

References

[a1]	N. Jacobson, "Lectures in abstract algebra" , II. Linear algebra , v. Nostrand (1953)
[a2]	N. Jacobson, "Basic algebra" , I , Freeman (1974)