A Bézout domain that is not an elementary divisor domain

Christian Hägg, Anders Mörtberg

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$ m…