Indexed metadata
A Bézout domain that is not an elementary divisor domain
Christian Hägg, Anders Mörtberg
Source abstract
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 matrix has no Smith normal form. The obstruction is topological and is detected by the Möbius line bundle.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.