arXiv++ Combinatorics

Let $R$ be an associative (not necessarily commutative or unital) ring. A cover by left ideals of $R$ is a collection of proper left ideals whose set-theoretic union equals $R$. If such a cover exists, we define the left ideal covering number $η_\ell(R)$ to be the cardinality of a minimal cover, and we also define $R$ to be $η_\ell$-elementary if $η_\ell(R) < η_\ell(R/I)$ for every nonzero two-sided ideal $I$ of $R$. Similarly, we can define analogous notions for covers by right ideals $η_r(R)$ and two-sided ideals $η(R)$. In this paper, we classify all $η_\ell$-, $η_r$-, and $η$-elementary rings, and determine their corresponding ideal covering numbers. Since any ring $R$ that admits a finite cover by left ideals has an $η_\ell$-elementary residue ring $R/I$ such that $η_\ell(R) = η_\ell(R/I)$, this completely characterizes such rings and their ideal covering numbers, and likewise for rings coverable by right or two-sided ideals.