# Reference Request: Smith Normal Form for maps between free _graded_ modules

I feel like this should be easy, but I cannot quite find a literature reference for this: We know (i.a. from the Kaplansky reference in Does Smith normal form imply PID?) that sufficient for Smith normal form as well as Hermite normal form to work is that the underlying ring be a PID.

I am interested in the case where the ring is $k[t]$, for some field $k$, and all modules involved are $\mathbb N$-graded with the "obvious" grading of $k[t]$. For a matrix $M$ representing a map between two graded $k[t]$-modules $S\to T$, it seems obvious to me that Smith normal form is computable, and about as efficient as one might hope over any ring. The presence of a grading seems to imply one should take some minute care — but the care needed seems to be almost non-existent.

Has anyone dealt with this sort of setting in the literature already? I'd rather have a good reference for this than develop everything in analogy with well-known results myself.

• What kind of "map" are you interested in ? – Ralph Apr 11 '12 at 12:02
• Graded $k[t]$-linear. – Mikael Vejdemo-Johansson Apr 11 '12 at 12:15
• ... of degree zero ? – Ralph Apr 11 '12 at 12:38
• $S,T$ are free of finite rank (with various degrees)? – Martin Brandenburg Apr 11 '12 at 13:06
• $S$, $T$ are free of finite rank. They both have homogenous bases, but the basis elements need not all have the same degree as each other. – Mikael Vejdemo-Johansson Apr 11 '12 at 13:51

According to one of the OP's comments below the question, there are homogeneous bases of $S$, $T$. Order these according to the degree of the basis elements. Since a degree zero map preserves degrees, its matrix is block diagonal with entries in $k$. Now one can apply SNF to the single blocks and obtains a diagonal matrix: $$\begin{pmatrix}L_1 & & \newline & \ddots & \newline & & L_n\end{pmatrix} \begin{pmatrix}M_1 & & \newline & \ddots & \newline & & M_n\end{pmatrix} \begin{pmatrix}R_1 & & \newline & \ddots & \newline & & R_n\end{pmatrix} = \begin{pmatrix}D_1 & & \newline & \ddots & \newline & & D_n\end{pmatrix}$$ By construction, the matrices $L$, $R$ (that also have entries in $k$) represent $k[t]$-linear maps of degree zero.
$k[t]$ is a PID when $k$ is a field.