Let $R$ be a commutative ring with unity and $U\left(R\right)$ be the set of unit elements of $R$. In this paper, we introduce and investigate some properties of a new kind of graph on the ring $R$, namely, the prime ideals intersection graph of $R$, denoted by $G_p\left(R\right)$. The $G_p\left(R\right)$ is a graph with vertex set $R^{*}-U\left(R\right)$ and two distinct vertices $a$ and $b$ are adjacent if and only if there exists a prime ideal $𝔭$ of $R$ such that $a,b\in 𝔭$. We obtain necessary and sufficient conditions on $R$ such that $G_p\left(R\right)$ is disconnected. We find the diameter and girth of $G_p\left(R\right)$....

We give a presentation (in terms of generators and relations) of the ring of multisymmetric functions that holds for any commutative ring $R$, thereby answering a classical question coming from works of F. Junker [J1, J2, J3] in the late nineteen century and then implicitly in H. Weyl book “The classical groups” [W].

It is well known that to every Boolean ring $ℛ$ can be assigned a Boolean algebra $ℬ$ whose operations are term operations of $ℛ$. Then a symmetric difference of $ℬ$ together with the meet operation recover the original ring operations of $ℛ$. The aim of this paper is to show for what a ring $ℛ$ a similar construction is possible. Of course, we do not construct a Boolean algebra but only so-called lattice-like structure which was introduced and treated by the authors in a previous paper. In particular, we reached...

Let H be a Krull monoid with class group G. Then every nonunit a ∈ H can be written as a finite product of atoms, say $a=u_1·...·u_k$. The set (a) of all possible factorization lengths k is called the set of lengths of a. If G is finite, then there is a constant M ∈ ℕ such that all sets of lengths are almost arithmetical multiprogressions with bound M and with difference d ∈ Δ*(H), where Δ*(H) denotes the set of minimal distances of H. We show that max Δ*(H) ≤ maxexp(G)-2,(G)-1 and that equality holds if every...

Recently Umirbaev has proved the long-standing Anick conjecture, that is, there exist wild automorphisms of the free associative algebra $K\langle x,y,z\rangle$ over a field $K$ of characteristic 0. In particular, the well-known Anick automorphism is wild. In this article we obtain a stronger result (the Strong Anick Conjecture that implies the Anick Conjecture). Namely, we prove that there exist wild coordinates of $K\langle x,y,z\rangle$. In particular, the two nontrivial coordinates in the Anick automorphism are both wild. We establish a...

Let $I$ be an ideal in a commutative Noetherian ring $R$. Then the ideal $I$ has the strong persistence property if and only if $\left(I^{k+1}{:}_{R}I\right)=I^k$ for all $k$, and $I$ has the symbolic strong persistence property if and only if $\left(I^{(k+1)}{:}_R{I}^{\left(1\right)}\right)=I^{\left(k\right)}$ for all $k$, where $I^{\left(k\right)}$ denotes the $k$th symbolic power of $I$. We study the strong persistence property for some classes of monomial ideals. In particular, we present a family of primary monomial ideals failing the strong persistence property. Finally, we show that every square-free monomial ideal has the...

Local tameness and the finiteness of the catenary degree are two crucial finiteness conditions in the theory of non-unique factorizations in monoids and integral domains. In this note, we refine the notion of local tameness and relate the resulting invariants with the usual tame degree and the $\omega$-invariant. Finally we present a simple monoid which fails to be locally tame and yet has nice factorization properties.