Abstract:A ring is *unit-additive* if a sum of units is always either a unit or nilpotent. For example, $k[X]$ and $k[X]/(X^2)$ are unit-additive, but $\mathbb Z$ is not. We prove a wide-ranging theorem about semigroup rings, showing among other things that an affine semigroup ring $A[M]$ is unit-additive if and only if $A$ is unit-additive and $M$ has no nontrivial invertible elements. In the algebraic variety setting, we get a characterization of unit additivity in terms of the nonexistence of nonconstant maps to the punctured affine line, which can be seen in terms of extensions of the Fundamental Theorem of Algebra. Specializing to elliptic curves, we show that the affine coordinate ring of an elliptic curve is always unit-additive. The concept of unit additivity leads to the related concept of unit-additivity dimension -- i.e. how far is an integral domain from being unit-additive? It turns out that rings of unit-additivity dimension 1 are of some interest, as they include the rings of integers of number fields, all power series rings, and most local rings. We construct rings of all unit-additivity dimensions and show that in the affine setting, unit-additivity dimension is bounded above by Krull dimension. We also construct the *unit-additive closure* of an integral domain $D$, being the smallest subring of the fraction field of $D$ that is unit-additive, as a localization at a certain multiplicative set in $D$.

Amitsur's theorem, semicentral idempotents, and additively idempotent semirings

Semirings generated by idempotents

The role of semicentral idempotents in triangular matrix rings

The Case for Inverse Semirings

Additively idempotent matrix semirings

A note on idempotent semirings

Distinguished elements in semiring extensions

Centrally Essential Semirings

Semiring identities of the semigroup

Rings where a non-nilpotent sum of units is a unit

Derivatives of triangular, Toeplitz, circulant matrices and matrices of other forms over semirings

On Radicals of Semirings and Related Problems

Archimedean Representation Theorem for modules over a commutative ring

Centrally Essential Rings and Semirings

The additively idempotent semiring is nonfinitely based

On matrix invertible extensions over commutative rings

A characterization of arithmetical invariants by the monoid of relations II: The monotone catenary degree and applications to semigroup rings

The $X$-semiprimeness of Rings

On Centralizers of Idempotents with Restricted Range

Matrix invertible extensions over commutative rings. Part I: general theory

Ordered semirings and subadditive morphisms