An -module is a finitely generated module if there are such that every element of has the form with . Equivalently, , or is a quotient module of .
The structure theorem for finitely generated modules over a principal ideal domain applies because every Euclidean domain is a principal ideal domain. In its cyclic decomposition form, every finitely generated module has a decompositionwhere the are nonzero nonunits. The nonnegative integer and the invariant factors of a finitely generated module are unique, with each determined up to multiplication by a unit. The zero module corresponds to no summands. Equivalently, factor the into powers of prime elements and use the Chinese remainder theorem to obtain a direct sum of cyclic prime-power torsion modules and a free summand.
Give a -module structure by . A finite vector space basis generates it as a module. It is a torsion module: the Cayley-Hamilton theorem gives a nonzero polynomial annihilating all of . Since is a Euclidean domain, cyclic decomposition giveswith monic nonconstant invariant factors of a linear operator and no free summand. On , use the basis . Multiplication by then has the companion matrix , because the relation expresses the last power in terms of earlier ones. Concatenating these bases yieldsthe rational canonical form of . In particular, its minimal polynomial is and its characteristic polynomial is .
The first block is the companion matrix of . The last block is the companion matrix of . Since divides , these are the ordered invariant factors of a linear operator. ThusThe minimal polynomial is the largest invariant factor, and the characteristic polynomial is their product.
The minimal polynomial factors over as with distinct roots. The diagonalizability criterion using the minimal polynomial therefore makes diagonalizable. Its characteristic polynomial gives multiplicities two, one and one, so its Jordan normal form isup to reordering the one-dimensional Jordan blocks.
For a two-by-two matrix over a principal ideal domain, its first Smith normal form invariant is the greatest common divisor of its entries, while the product of its two invariants is its determinant, up to a unit. Hereso the entries generate the unit ideal in the Gaussian integers. The first invariant is therefore . AlsoHence a valid Smith normal form isMultiplying the second diagonal entry by a unit gives an equivalent normal form. The divisibility condition holds because divides every Gaussian integer.
Articles by others on the same topic
There are currently no matching articles.