
We prove that, over a PID, if two matrices A {\mathbf {A}} and B {\mathbf {B}} have the same size, present isomorphic modules and have rank ≥ 2 \geq 2 , then A {\mathbf {A}} is equivalent to B {\mathbf {B}} . This answers a question raised by Nakayama in 1938. Our solution makes use of a number of facts about the algebraic K K -theory of noetherian rings.
Algebraic systems of matrices, Canonical forms, reductions, classification, elementary divisor theorem, modules over principal ideal domains, Divisibility, noncommutative UFDs, Representation theory of associative rings and algebras, Endomorphism rings; matrix rings, Vector and tensor algebra, theory of invariants, invertible matrices, cancellation
Algebraic systems of matrices, Canonical forms, reductions, classification, elementary divisor theorem, modules over principal ideal domains, Divisibility, noncommutative UFDs, Representation theory of associative rings and algebras, Endomorphism rings; matrix rings, Vector and tensor algebra, theory of invariants, invertible matrices, cancellation
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
