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.

In this note, we define and investigate ideal covering numbers of associative rings (not assumed to be commutative or unital): three invariants defined as the minimal number of proper left, right, or two-sided ideals whose union equals the ring. For every prime $p$, we construct four infinite families of rings without identity that attain the sharp lower bound $p + 1$ for ideal covering numbers, each exhibiting distinct behavior with respect to left, right, and two-sided ideal coverings. As a consequence of a result by Lucchini and Maróti, we also characterize all rings with ideal covering numbers three. Finally, we make several observations and propose open questions related to these invariants and the structure of rings admitting such ideal coverings.

Here, for $W$ the Coxeter group $\mathrm{D}_n$ where $n > 4$, it is proved that the maximal rank of an abstract regular polytope for $W$ is $n - 1$ if $n$ is even and $n$ if $n$ is odd. Further it is shown that $W$ has abstract regular polytopes of rank $r$ for all $r$ such that $3 \leq r \leq n - 1$, if $n$ is even, and $3 \leq r \leq n$, if $n$ is odd. The possible ranks of abstract regular polytopes for the exceptional finite irreducible Coxeter groups are also determined.