Namespaces
Variants
Actions

Elementary divisors

From Encyclopedia of Mathematics
Revision as of 17:21, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

of a matrix over a polynomial ring

Powers of the monic irreducible polynomials over the field into which the invariant factors of split. Two -matrices over 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 -matrix over are, by definition, those of its characteristic matrix . They can be obtained in the following manner. Let be the greatest common divisor of the minors of order of the matrix , , and let . Then the invariant factors of are

The factors different from are in . Each of them can be represented in the form

where the are monic irreducible polynomials over , , and when . All the polynomials thus obtained form the system of elementary divisors of . 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 , where is a monic irreducible polynomial over , is the system of elementary divisors for one and only one class of similar matrices over of order , where is the degree of the product of the .

If is a splitting field of the characteristic polynomial of , then the elementary divisors have the form . Their number is then the same as the number of Jordan cells in the Jordan form of , and the elementary divisor corresponds to a Jordan cell of order (see Jordan matrix). A square matrix over a field is similar to a diagonal matrix if and only if each elementary divisor of it has the form , where .


Comments

References

[a1] N. Jacobson, "Lectures in abstract algebra" , II. Linear algebra , v. Nostrand (1953)
[a2] N. Jacobson, "Basic algebra" , I , Freeman (1974)
How to Cite This Entry:
Elementary divisors. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Elementary_divisors&oldid=46800
This article was adapted from an original article by D.A. Suprunenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article