We know from linear algebra that if an $n \times n$ matrix $A$ over a field $k$ is diagonalizable (that is, there exists $P \in GL\_n(k)$ such that $PAP^{-1}$ is a diagonal matrix), then this diagonal matrix is unique up to permutation of diagonal entries.


Are there any analogous results in the literature if we replace the field $k$ with the ring $\mathbb{Z}\_{p^k}$ where $p$ is a prime and $k \geq 2$?



Uniqueness of diagonalizing a matrix over $\mathbb{Z}_{p^k}$
The answer is yes, that you can get an analogous theorem, because $\mathbb{Z}\_{p^k}$ is a local ring.


The equation $PAP^{-1} = B$ can be rewritten $PA = BP$. Write $A = \text{diag}(a), B = \text{diag}(b), a = \{a\_i\}, b = \{b\_j\}$. Then this implies that for any $i, j$, we have that $P\_{i, j} a\_i = P\_{i, j} b\_j$. 


As $P \in GL\_n(\mathbb{Z}\_{p^k})$, we know that $\text{det}(P)$ must be a unit. We can write $\text{det}(P) = \sum\_{\sigma \in S\_n} (-1)^{\text{sgn}(\sigma)} \prod\_i P\_{i, \sigma(i)}$. As $\mathbb{Z}\_{p^k}$ is a local ring, the set of nonunits is an additively closed, so at least one of the $\prod\_i P\_{i, \sigma(i)}$ must be a unit. Correspondingly, there must be some $\sigma$ such that $P\_{i, \sigma(i)}$ is a unit for all $i$.


Then $P\_{i, \sigma(i)} a\_i = P\_{i, \sigma(i)} b\_{\sigma(i)}$. But $P\_{i, \sigma(i)}$ is a unit for each $i$ - so we can cancel it to get $a\_i = b\_{\sigma(i)}$ for each $i$. Therefore, $\sigma$ is a permutation of diagonal entries that takes $A$ to $B$, and we are done.


