arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.35229

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

Christian Hägg·Anders Mörtberg
View original source ↗Read source document ↗Export metadata ↓

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 $2\times 2$ matrix has no Smith normal form. The obstruction is topological and is detected by the Möbius line bundle.

Explore related subjects

math.ACmath.AGmath.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christian Hägg, Anders Mörtberg. 2026-09-28. A Bézout domain that is not an elementary divisor domain. https://arxiv.org/abs/2609.35229

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Splitting the Matroid Determinant

The principal matroid determinant $E_L$ of a linear space $L \subseteq \mathbb{P}^n$ has been introduced in recent work by Matsubara-Heo and Telen. In this paper, we give the complete factorization of this polynomial into its irreducible components, proving a conjecture of the aforementioned authors. Our methods rely on bounding local multiplicities and an étale-local description of the strata of reciprocal linear spaces developed by Elias, Proudfoot and Wakefield. We also discuss analogous questions for other coordinate-wise powers of linear spaces.

math.AC↗
arXiv2026

On embeddings of rings into their canonical modules

We study embeddings of Cohen--Macaulay local rings into their canonical modules such that the quotient of the cokernel by a regular sequence has the residue field as a direct summand. Motivated by almost Gorenstein rings, we prove an Ext-vanishing criterion for finite projective dimension, which implies G-regularity and the generalized Auslander--Reiten condition. We characterize this summand condition for one-dimensional fiber products and numerical semigroup rings. For Stanley--Reisner rings of graphs, we characterize the corresponding condition for graded embeddings in terms of the graph and show that it is equivalent to a strict multiplicity inequality.

math.AC↗
arXiv2026

Two remarks on Almost Projective Modules

For a commutative ring $R$, an almost projective module is a module whose localization at every maximal ideal is free, with no restriction on rank. We prove that every almost projective $R$-module is projective if and only if $R$ is semilocal. Next, we turn to investigate when every $R$-module has an almost projective envelope. We show that under certain conditions, every $R$-module has an almost projective envelope if and only if it is coherent and locally Artinian. We also show that the conditions can not be omitted in terms of dual numbers rings over von Neumann regular rings.

math.AC↗