Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For any matrix A with entries in a PID, there exist invertible matrices P and Q such that B = PAQ, where B is in Smith normal form. This theorem is usually proved by using elementary row/column operations. However, in the case where the entries of A are in a field, there is a short proof which is basically just the rank-nullity theorem [interpret A as a linear map from $\mathbb{F}^m$ to $\mathbb{F}^n$, choose a basis $\{v_{1}, \ldots , v_{k}\}$ for the kernel of A and extend it to a basis for $\mathbb{F}^m$, and finally use $\{A(v_{1}), \ldots , A(v_{k})\}$ as a basis for $\mathbb{F}^n$ (extending it as necessary)]. Of course, the rank-nullity theorem does not hold over rings, but is there some way to generalize the ideas of this proof for any PID, perhaps by passing to its field of fractions?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.