Related papers: Feckly Adequate Conditions and Elementary Matrix R…

Let $I$ be a monomial ideal in a polynomial ring $A=K[x_1,...,x_n]$. We call a monomial ideal $J$ to be a minimal monomial reduction ideal of $I$ if there exists no proper monomial ideal $L \subset J$ such that $L$ is a reduction ideal of…

A cover by left ideals of an associative (not necessarily commutative or unital) ring $R$ is a collection of proper left ideals whose set-theoretic union equals $R$. If such a cover exists, then $\eta_\ell(R)$ is the cardinality of a…

This study explores in-depth the structure and properties of the so-called {\it strongly $\Delta$-clean rings}, that is a novel class of rings in which each ring element decomposes into a sum of a commuting idempotent and an element from…

For an extension A/B of neither necessarily associative nor necessarily unital rings, we investigate the connection between simplicity of A with a property that we call A-simplicity of B. By this we mean that there is no non-trivial ideal I…

Let R be a finite commutative ring with unity, and let G = (V, E) be a simple graph. The zero-divisor graph, denoted by {\Gamma}(R) is a simple graph with vertex set as R, and two vertices x, y \in R are adjacent in {\Gamma}(R) if and only…

For a nonempty subset $X$ of a ring $R$, the ring $R$ is called $X$-semiprime if, given $a\in R$, $aXa=0$ implies $a=0$. This provides a proper class of semiprime rings. First, we clarify the relationship between idempotent semiprime and…

A cover of a unital, associative (not necessarily commutative) 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…

A ring R is a Zhou nil-clean ring if every element in R is the sum of two tripotents and a nilpotent that commute. In this paper, Zhou nil-clean rings are further discussed with an emphasis on their relations with polynomials, idempotents…

Let $S$ be a subset of $\overline{\mathbb Z}$, the ring of all algebraic integers. A polynomial $f \in \mathbb Q[X]$ is said to be integral-valued on $S$ if $f(s) \in \overline{\mathbb Z}$ for all $s \in S$. The set $\text{Int}_{\mathbb…

In algebraic number theory, the finiteness of the Picard group of an order in a number field is generally proved via a lattice argument: the order forms a lattice and every ideal class contains an integral ideal with a small enough non-zero…

We introduce and study the so-called {\it weakly $\sqrt{J}U$ rings} (hereafter abbreviated as {\it $W\sqrt{J}U$ rings} for short), in which every unit is of the form $j+1$ or $j-1$ for some $j$ in $\sqrt{J(R)} : = \{x \in R : x^n \in J(R)…

Given an algebraic torus action on a normal projective variety with finitely generated total coordinate ring, we study the GIT-equivalence for not necessarily ample linearized divisors, and we provide a combinatorial description of the…

We say that a commutative ring R satisfies the restricted minimum (RM) condition if for all essential ideals I in R, factor R/I is an Artinian ring. We will focus on Noetherian reduced rings because in this setting known results for RM…

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…

Let $R$ be a commutative ring with identity. An element $r \in R$ is said to be absolutely irreducible in $R$ if for all natural numbers $n>1$, $r^n$ has essentially only one factorization namely $r^n = r \cdots r$. If $r \in R$ is…

We show that a ring R has stable range one if and only if every left unit lifts modulo every left principal ideal. We also show that a left quasi-morphic ring has stable range one if and only if it is left uniquely generated. Thus we answer…

We study rings with infinitely (only finitely) many maximal subrings. We prove that if $M$ is a maximal left/right ideal of a ring $T$ which is not an ideal of $T$, and $R$ is the idealizer of $M$, then $T$ has at least $|R/M|+1$ maximal…

Fields with only finitely many maximal subrings are completely determined. We show that such fields are certain absolutely algebraic fields and give some characterization of them. In particular, we show that the following conditions are…

A ring with an involution * is called strongly $J$-*-clean if every element is a sum of a projection and an element of the Jacobson radical that commute. In this article, we prove several results characterizing this class of rings. It is…

Let $(R, \mathfrak{m})$ be a commutative Noetherian local ring with total quotient ring $K$. An $R$-module $M$ is called simple divisible, if $M$ is divisible $\neq 0$, but every proper submodule $0 \neq U \subsetneqq M$ is not divisible.…