Year: 2026
Type: preprint
Abstract: We study the additive and multiplicative arithmetic of algebraic monogenic semidomains of the form $S_α$. We first relate their structure to the conjugates of $α$, characterize when $S_α$ is a ring, and determine when its additive monoid is free. We then investigate units and prove a Dirichlet-type theorem showing that $S_α^\times$ is the product of a finite cyclic group of roots of unity and a finitely generated free abelian group; in particular, the unit group is free abelian when $α$ is positive. We also give a criterion that produces non-atomic algebraic monogenic semidomains. Turning to finiteness properties, we prove that $\mathbb{Z}[α]$ is a finite factorization domain for every algebraic number $α$, establish criteria ensuring that $S_α$ is a finite factorization semidomain, and construct infinitely many positive cubic generators yielding finite factorization semidomains that are not rings. Finally, we give a membership criterion for rational elements of $\mathbb{Z}[β]$ for arbitrary algebraic $β$, and prove that, for algebraic integers $α$, unique factorization ascends from $\mathbb{Z}[α]$ to $\mathbb{Z}[α/n]$ for every $n\in\mathbb{N}$.
Source: arXiv (Cornell University)
Authors: Dani, Jiya, Gotti, Felix, Li, Bryan, Paladiya, Arav
Institution: Massachusetts Institute of Technology
Language: English
Topic: Rings, Modules, and Algebras
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: National Science Foundation
OpenAlex ID: W7214761413