Ask Your Question

How to find Smith normal form of a matrix over regular rings?

asked 2014-08-08 08:38:16 +0200

this post is marked as community wiki

This post is a wiki. Anyone with karma >750 is welcome to improve it.

Let $A$ be a matrix over ring $^{\mathbb{Z}}/_{6\mathbb{Z}}$. How to find an invertible matrix $P$ and $Q$ such that the matrix $PAQ$ isa Smith Normal Form of $A$?

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2014-08-08 10:26:59 +0200

FrédéricC gravatar image

This does not make sense. See Wikipedia

sage: R = Zmod(6)
sage: R in Domains()
sage: M=matrix(R,[[4,3],[2,1]])
sage: M.smith_form()
Traceback (most recent call last)
TypeError: Smith form only defined over Noetherian integral domains
edit flag offensive delete link more


In fact, the error is misleading: it should say that the Smith form makes sense only over Principal ideal rings which are domains (I wrote it like that for emphasis: of course, I mean the Principal Ideal Domains). There is a similar structure theorem for modules over Dedekind domains, but now the torsion-free = projective which is free + fractional ideal. This probably is not implemented. At any rate, this is not Smith normal form (probably, this must be called the Steinitz normal form...).

KnS gravatar imageKnS ( 2014-08-23 21:43:17 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2014-08-08 08:38:16 +0200

Seen: 3,080 times

Last updated: Aug 08 '14