Let $R=Z[x_{1},x_{2},\dots,x_{n}]$ be a multivariate polynomial ring. Is it possible to define a normal form for a general $m \times m$ matrix $M$ with entries from $R$?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

See this question  the answer contain all the references you might ever want. 

