Related papers: Square-difference factor absorbing ideals of a com…

A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gr\"obner bases for symmetric ideals in the infinite…

In this paper, we view the collection of ideals of a commutative principal ideal ring from two perspectives: one as an ordered semigroup I(R) and the other as a category I_R . It is shown that I(R) is a regular ordered semigroup whereas I_R…

Taking a ring-theoretic perspective as our motivation, the main aim of this series is to establish a comprehensive theory of ideals in commutative quantales with an identity element. This particular article focuses on an examination of…

Let $A$ be a commutative arithmetical ring. The ring $A$ has Krull dimension if and only if every factor ring of $A$ is finite-dimensional and does not have idempotent proper essential ideals. The study is supported by Russian Science…

Let $R$ be a commutative ring with identity and let $I$ be a two-generated ideal of $R$. We denote by $\operatorname{SL}_2(R)$ the group of $2 \times 2$ matrices over $R$ with determinant $1$. We study the action of $\operatorname{SL}_2(R)$…

In this paper we study the concept of radical factorization in the context of abstract ideal theory in order to obtain a unified approach to the theory of factorization into radical ideals and elements in the literature of commutative…

We investigate properties of commutative subrings and ideals in non-commutative algebraic crossed products for actions by arbitrary groups. A description of the commutant of the base coefficient subring in the crossed product ring is given.…

Let $R$ be a 2-torsion free semiprime ring and $U$ a nonzero square closed Lie ideal of $R$. In this paper it is shown that if $f$ is either an endomorphism or an antihomomorphism of $R$ such that $f(U)=U,$ then $f$ is strong commutativity…

Let I be a homogeneous ideal of a polynomial ring S. We prove that if the initial ideal J of I, w.r.t. a term order on S, is square-free, then the extremal Betti numbers of S/I and of S/J coincide. In particular, depth(S/I)=depth(S/J) and…

A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these…

A minimum depth d^I(S --> R) is assigned to a ring homomorphism S --> R and a R-R-bimodule I. The recent notion of depth of a subring d(S,R)in a paper by Boltje-Danz-Kuelshammer is recovered when I = R and S --> R is the inclusion mapping.…

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is a simple undirected graph whose vertex set is the set of nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if…

Let $R$ be an associative ring with a nonzero ideal $I$ and a semiprime ideal $T$ such that $T\subsetneq I.$ Let $K$ be a nonempty subset of $R$ and $d:R\to R$ be a derivation of $R$, if $[d(x),x]\in T$ for all $x\in K,$ then $d$ is said to…

Let $R$ be a commutative ring with unity and let $X$ be an indeterminate over $R$. The \textit{Anderson ring} of $R$ is defined as the quotient ring of the polynomial ring $R[X]$ by the set of polynomials that evaluate to $1$ at $0$.…

Let R be a multiplicative hyperring. In this paper, we define the concept of 1-absorbing prime hyperideals which is a generalization of the prime hyperideals. Several properties of the hyperideals are provided. Moreover, we introduce the…

We begin the study of the notion of diameter of an ideal I of a polynomial ring S over a field, an invariant measuring the distance between the minimal primes of I. We provide large classes of Hirsch ideals, i.e. ideals with diameter not…

Let $R$ be a commutative ring with $1\neq 0$ and $\Bbb{A}(R)$ be the set of ideals with nonzero annihilators. The annihilating-ideal graph of $R$ is defined as the graph $\Bbb{AG}(R)$ with the vertex set $\Bbb{A}(R)^{*} =…

Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in…

Let $R_1$ and $R_2$ be commutative rings with $1\neq 0,\;M$ and $N$ be unitary $R_1-$module and $R_2-$module, respectively. $f:R_1\rightarrow R_2$ be a ring homomorphism and $\varphi: M\rightarrow N$ be an $R-$module homomorphism. This…

A symmetric ideal is an ideal in a polynomial ring which is stable under all permutations of the variables. In this paper we initiate a global study of zero-dimensional symmetric ideals. By this we mean a geometric study of the invariant…