Smith forms of matrices in Companion Rings, with group theoretic and topological applications

Vanni Noferini, Gerald Williams

Let $R$ be a commutative ring and $g(t)\in R[t]$ a monic polynomial. The commutative ring of polynomials $f(C_g)$ in the companion matrix $C_g$ of $g(t)$, where $f(t)\in R[t]$, is…