A Smith normal form of an matrix over a principal ideal domain is a diagonal matrixwhere and . It is guaranteed to exist for every matrix over a principal ideal domain. The entries are determined up to multiplication by units; over they are conventionally chosen positive.
Present a finitely generated abelian group as the cokernel of an integer matrix . Changing by the invertible row and column operations used in its Smith normal form does not change the isomorphism type of the cokernel. Ifthenwhere factors with may be omitted. This is the Fundamental theorem of finitely generated abelian groups; the rank of an abelian group and invariant factors are unique.
There aresuch conjugacy classes. Every matrix in is an invertible matrix, so by the minimal polynomial of an invertible matrix its minimal polynomial must have nonzero constant term. Buthas constant term zero and cannot be the minimal polynomial of an invertible matrix.
Articles by others on the same topic
There are currently no matching articles.