Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors resolve a longstanding open problem in commutative algebra by proving that a Bézout domain is not necessarily an elementary divisor domain. They construct an explicit counterexample: a $2\times 2$ matrix over a Bézout domain that fails to admit a Smith normal form. The underlying barrier to diagonalization is fundamentally topological, detected via the non-triviality of the Möbius line bundle.
Even a simple $2\times 2$ matrix can fundamentally lack a Smith normal form over a Bézout domain, closing a decades-old open problem through a topological obstruction rooted in the Möbius bundle.
We settle in the negative the longstanding question whether every Bézout domain is an elementary divisor domain by constructing a Bézout domain over which an explicit $2\times 2$ matrix has no Smith normal form. The obstruction is topological and is detected by the Möbius line bundle.