1 paper
Zihao Dai, Hao Liang, Jingyu Lu +1
This paper studies the unitary diagonalization of matrices over formal power series rings. Our main result shows that a normal matrix is unitarily diagonalizable if and only if its…