The covering numbers of rings

TL;DR

This paper classifies rings based on their minimal covers by subrings, introduces the concepts of $\sigma$-elementary and $\sigma_u$-elementary rings, and determines the possible covering numbers, revealing most integers are not covering numbers.

Contribution

It provides a complete classification of $\sigma$-elementary unital rings and establishes the equality of their covering numbers, also linking non-unital rings to unital rings with the same covering number.

Findings

Classified all $\sigma$-elementary unital rings.

Proved $\sigma_u(R) = \sigma(R)$ for $\sigma_u$-elementary rings.

Showed the distribution of possible covering numbers grows as $N/ ext{log}(N)$.

Abstract

A cover of an associative (not necessarily commutative nor unital) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $\sigma(R)$ of $R$ is the cardinality of a minimal cover, and a ring $R$ is called $\sigma$-elementary if $\sigma(R) < \sigma(R/I)$ for every nonzero two-sided ideal $I$ of $R$. If $R$ is a ring with unity, then we define the unital covering number $\sigma_u(R)$ to be the size of a minimal cover of $R$ by subrings that contain $1_R$ (if such a cover exists), and $R$ is $\sigma_u$-elementary if $\sigma_u(R) < \sigma_u(R/I)$ for every nonzero two-sided ideal of $R$. In this paper, we classify all $\sigma$-elementary unital rings and determine their covering numbers. Building on this classification, we are further able to classify all $\sigma_u$-elementary rings and prove $\sigma_u(R) = \sigma(R)$ for every $\sigma_u$-elementary ring $R$. We also prove that, if $R$ is a ring without unity with a finite cover, then there exists a unital ring $R'$ such that $\sigma(R) = \sigma_u(R')$, which in turn provides a complete list of all integers that are the covering number of a ring. Moreover, if \[\mathscr{E}(N) := \{m : m \le N, \sigma(R) = m \text{ for some ring } R\},\] then we show that $|\mathscr{E}(N)| = \Theta(N/\log(N))$, which proves that almost all integers are not covering numbers of a ring.