Abstract:A commutative cancellative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral domain is atomic if its multiplicative monoid is atomic. Back in the eighties, Gilmer posed the question of whether the fact that a torsion-free monoid $M$ and an integral domain $R$ are both atomic implies that the monoid algebra $R[M]$ of $M$ over $R$ is also atomic. In general this is not true, and the first negative answer to this question was given by Roitman in 1993: he constructed an atomic integral domain whose polynomial extension is not atomic. More recently, Coykendall and the first author constructed finite-rank torsion-free atomic monoids whose monoid algebras over certain finite fields are not atomic. Still, the ascent of atomicity from finite-rank torsion-free monoids to their corresponding monoid algebras over fields of characteristic zero is an open problem. Coykendall and the first author also constructed an infinite-rank torsion-free atomic monoid whose monoid algebras (over any integral domain) are not atomic. As the primary result of this paper, we construct a rank-one torsion-free atomic monoid whose monoid algebras (over any integral domain) are not atomic. To do so, we introduce and study a methodological construction inside the class of rank-one torsion-free monoids that we call lifting, which consists in embedding a given monoid into another monoid that is often more tractable from the arithmetic viewpoint. For instance, the embedding in the lifting construction preserves the ascending chain condition on principal ideals and the existence of maximal common divisors.

Stable finiteness of monoid algebras and surjunctivity

Strongly sofic monoids, sofic topological entropy, and surjunctivity

First-order model theory and Kaplansky's stable finiteness conjecture

Surjunctivity and reversibility of cellular automata over concrete categories

Invariants under Stable Equivalences of Morita Type

Non-finitely generated monoids corresponding to finitely generated homogeneous subalgebras

Unification and Projectivity in De Morgan and Kleene Algebras

On the atomicity of one-dimensional monoid algebras

Subcompletions of representable relation algebras

An algorithm for computing syzygies on $V[X]$ when $V$ is a valuation domain

Generalized Gottschalk's conjecture for sofic groups and applications

On the set of catenary degrees of finitely generated cancellative commutative monoids

A note on surjective cardinals

On $τ$-tilting finiteness of symmetric algebras of polynomial growth

Stable finiteness of ample groupoid algebras, traces and applications

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Firm Frobenius monads and firm Frobenius algebras

Algebraic Magnetism

A Bounded Below, Noncontractible, Acyclic Complex Of Projective Modules

Additive invariants of finite dimensional algebras of finite global dimension

On the ascent of atomicity to monoid algebras