Инварианты подобия матриц над коммутативным артиновым цепным кольцом

Квадратной матрице $A$ порядка $m$ над коммутативным артиновым цепным кольцом $R$ ставятся в соответствие $m$ идеалов в кольце многочленов над кольцом дискретного нормирования $S$, гомоморфным образом которого является $R$. Эти идеалы являются инвариантами подобия матриц над кольцом $R$, т.е. они совпадают для подобных матриц. Показывается, что новые инварианты сильнее инвариантов Фиттинга, и что их достаточно для решения задачи о подобии матриц второго порядка над $R$.
Библиография: 4 названия.