English

The covering numbers of rings

Rings and Algebras 2022-11-23 v2 Combinatorics

Abstract

A cover of an associative (not necessarily commutative nor unital) ring RR is a collection of proper subrings of RR whose set-theoretic union equals RR. If such a cover exists, then the covering number σ(R)\sigma(R) of RR is the cardinality of a minimal cover, and a ring RR is called σ\sigma-elementary if σ(R)<σ(R/I)\sigma(R) < \sigma(R/I) for every nonzero two-sided ideal II of RR. If RR is a ring with unity, then we define the unital covering number σu(R)\sigma_u(R) to be the size of a minimal cover of RR by subrings that contain 1R1_R (if such a cover exists), and RR is σu\sigma_u-elementary if σu(R)<σu(R/I)\sigma_u(R) < \sigma_u(R/I) for every nonzero two-sided ideal of RR. 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 σu\sigma_u-elementary rings and prove σu(R)=σ(R)\sigma_u(R) = \sigma(R) for every σu\sigma_u-elementary ring RR. We also prove that, if RR is a ring without unity with a finite cover, then there exists a unital ring RR' such that σ(R)=σu(R)\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 E(N):={m:mN,σ(R)=m for some ring R},\mathscr{E}(N) := \{m : m \le N, \sigma(R) = m \text{ for some ring } R\}, then we show that E(N)=Θ(N/log(N))|\mathscr{E}(N)| = \Theta(N/\log(N)), which proves that almost all integers are not covering numbers of a ring.

Keywords

Cite

@article{arxiv.2112.01667,
  title  = {The covering numbers of rings},
  author = {Eric Swartz and Nicholas J. Werner},
  journal= {arXiv preprint arXiv:2112.01667},
  year   = {2022}
}

Comments

The original paper has been split in two: part of the material from the original version is contained in arXiv:2211.10313, and the rest is in this updated version