Abstract:In algebra, atomicity is the study of divisibility by and factorizations into atoms (also called irreducibles). In one side of the spectrum of atomicity we find the antimatter algebraic structures, inside which there are no atoms and, therefore, divisibility by and factorizations into atoms are not possible. In the other (more interesting) side of the spectrum, we find the atomic algebraic structures, where essentially every element factors into atoms (the study of such objects is known as factorization theory). In this paper, we survey some of the most fundamental results on the atomicity of cancellative commutative monoids and integral domains, putting our emphasis on the latter. We mostly consider the realm of atomic domains. For integral domains, the distinction between being atomic and satisfying the ascending chain condition on principal ideals, or ACCP for short (which is a stronger and better-behaved algebraic condition) is subtle, so atomicity has been often studied in connection with the ACCP: we consider this connection at many parts of this survey. We discuss atomicity under various classical algebraic constructions, including localization, polynomial extensions, $D+M$ constructions, and monoid algebras. Integral domains having all their subrings atomic are also discussed. In the last section, we explore the middle ground of the spectrum of atomicity: some integral domains where some of but not all the elements factor into atoms, which are called quasi-atomic and almost atomic. We conclude providing techniques from homological algebra to measure how far quasi-atomic and almost atomic domains are from being atomic.

On a Class of Archimedean Integral Domains

On [math]-valuation domains

Archimedean Zeta Integrals on U (N, 1)

Atomicity in integral domains

Positive positive-definite functions and measures on locally compact abelian groups

The reciprocal complements of classes of integral domains

Asymptotic properties of infinite directed unions of local quadratic transforms

Completely integrally closed Prufer $v$-multiplication domains

On Divisor Topology of Commutative Rings

The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two

Abstract divisorial spaces and arithmetic intersection numbers

Arithmetic of semisubtractive semidomains

Archimedean Zeta Integrals on U(2,1)

The Macias topology on integral domains

Nonarchimedean integral geometry

ON HYPERBOLIC INTEGERS

Almost ordinary Abelian surfaces over global function fields with application to integral points

$β$-Uniform Convexity and Divisible Domains

Irreducibility and factorizations in monoid rings

Noncatenary Unique Factorization Domains

n-absorbing ideal factorization in commutative rings