{"id":"arxiv/2609.35229","url":"https://arxiv.org/abs/2609.35229","tags":["math.AC","math.AG","math.RA"],"score":0,"title":"A Bézout domain that is not an elementary divisor domain","domain":"math.AC","source":"arxiv","authors":["Christian Hägg","Anders Mörtberg"],"reviews":0,"subject":"math.AC","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}