Let $𝔞\subseteq ℂ[x_1,...,x_n]$ be a monomial ideal and $𝒥\left({𝔞}^c\right)$ the multiplier ideal of $𝔞$ with coefficient $c$. Then $𝒥\left({𝔞}^c\right)$ is also a monomial ideal of $ℂ[x_1,...,x_n]$, and the equality $𝒥\left({𝔞}^c\right)=𝔞$ implies that $0<c<n+1$. We mainly discuss the problem when $𝒥\left(𝔞\right)=𝔞$ or $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ for all $0<\epsilon <1$. It is proved that if $𝒥\left(𝔞\right)=𝔞$ then $𝔞$ is principal, and if $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ holds for all $0<\epsilon <1$ then $𝔞=(x_1,...,x_n)$. One global result is also obtained. Let $\widetilde{𝔞}$ be the ideal sheaf on ${\mathbb{P}}^{n-1}$ associated with $𝔞$. Then it is proved that the equality $𝒥\left(\widetilde{𝔞}\right)=\widetilde{𝔞}$ implies that $\widetilde{𝔞}$ is principal.

Let $R$ be a commutative ring with identity. A proper ideal $I$ is said to be an $n$-ideal of $R$ if for $a,b\in R$, $ab\in I$ and $a\notin \sqrt{0}$ imply $b\in I$. We give a new generalization of the concept of $n$-ideals by defining a proper ideal $I$ of $R$ to be a semi $n$-ideal if whenever $a\in R$ is such that $a^2\in I$, then $a\in \sqrt{0}$ or $a\in I$. We give some examples of semi $n$-ideal and investigate semi $n$-ideals under various contexts of constructions such as direct products, homomorphic images and localizations. We present various characterizations of this new...

Let $A$ be a commutative ring and $𝒮$ a multiplicative system of ideals. We say that $A$ is $𝒮$-Noetherian, if for each ideal $Q$ of $A$, there exist $I\in 𝒮$ and a finitely generated ideal $F\subseteq Q$ such that $IQ\subseteq F$. In this paper, we study the transfer of this property to the polynomial ring and Nagata’s idealization.

Let $R$ be a commutative ring with nonzero identity, let $ℐ\left(ℛ\right)$ be the set of all ideals of $R$ and $\delta :ℐ\left(ℛ\right)\to ℐ\left(ℛ\right)$ an expansion of ideals of $R$ defined by $I\mapsto \delta \left(I\right)$. We introduce the concept of $(\delta ,2)$-primary ideals in commutative rings. A proper ideal $I$ of $R$ is called a $(\delta ,2)$-primary ideal if whenever $a,b\in R$ and $ab\in I$, then $a^2\in I$ or $b^2\in \delta \left(I\right)$. Our purpose is to extend the concept of $2$-ideals to $(\delta ,2)$-primary ideals of commutative rings. Then we investigate the basic properties of $(\delta ,2)$-primary ideals and also discuss the relations among $(\delta ,2)$-primary, $\delta$-primary...

For 0 < γ ≤ 1, let $\Lambda {⁺}_{\gamma }$ be the big Lipschitz algebra of functions analytic on the open unit disc which satisfy a Lipschitz condition of order γ on ̅. For a closed set E on the unit circle and an inner function Q, let $J_{\gamma }(E,Q)$ be the closed ideal in $\Lambda {⁺}_{\gamma }$ consisting of those functions $f\in \Lambda {⁺}_{\gamma }$ for which (i) f = 0 on E, (ii) $|f\left(z\right)-f\left(w\right)|=o\left(\right|z-w{|}^{\gamma })$ as d(z,E),d(w,E) → 0, (iii) $f/Q\in \Lambda {⁺}_{\gamma }$. Also, for a closed ideal I in $\Lambda {⁺}_{\gamma }$, let $E_I$ = z ∈ : f(z) = 0 for every f ∈ I and let $Q_I$ be the greatest common divisor of the inner parts of non-zero functions...

When $S$ is a polynomial ring or more generally a standard graded algebra over a field $K$, with homogeneous maximal ideal $𝔪$, it is known that for an ideal $I$ of $S$, the regularity of powers of $I$ becomes eventually a linear function, i.e., $\mathrm{reg}\left(I^m\right)=dm+e$ for $m\gg 0$ and some integers $d$, $e$. This motivates writing $\mathrm{reg}\left(I^m\right)=dm+e_m$ for every $m\ge 0$. The sequence $e_m$, called the of the ideal $I$, is the subject of much research and its nature is still widely unexplored. We know that $e_m$ is eventually constant. In this article, after proving...

Let $H$ be a finite abelian group of odd order, $𝒟$ be its generalized dihedral group, i.e., the semidirect product of $C_2$ acting on $H$ by inverting elements, where $C_2$ is the cyclic group of order two. Let $\Omega \left(𝒟\right)$ be the Burnside ring of $𝒟$, $\Delta \left(𝒟\right)$ be the augmentation ideal of $\Omega \left(𝒟\right)$. Denote by ${\Delta }^n\left(𝒟\right)$ and $Q_n\left(𝒟\right)$ the $n$th power of $\Delta \left(𝒟\right)$ and the $n$th consecutive quotient group ${\Delta }^n\left(𝒟\right)/{\Delta }^{n+1}\left(𝒟\right)$, respectively. This paper provides an explicit $\mathbb{Z}$-basis for ${\Delta }^n\left(𝒟\right)$ and determines the isomorphism class of $Q_n\left(𝒟\right)$ for each positive integer $n$.

Let $X$ be a completely regular Hausdorff space and, as usual, let $C\left(X\right)$ denote the ring of real-valued continuous functions on $X$. The lattice of $z$-ideals of $C\left(X\right)$ has been shown by Martínez and Zenk (2005) to be a frame. We show that the spectrum of this lattice is (homeomorphic to) $\beta X$ precisely when $X$ is a $P$-space. This we actually show to be true not only in spaces, but in locales as well. Recall that an ideal of a commutative ring is called a $d$-ideal if whenever two elements have the same annihilator...

A nonzero $R$-module $M$ is atomic if for each two nonzero elements $a,b$ in $M$, both cyclic submodules $Ra$ and $Rb$ have nonzero isomorphic submodules. In this article it is shown that for an infinite $P$-space $X$, the factor rings $C(X,\mathbb{Z})/C_F(X,\mathbb{Z})$ and $C_c\left(X\right)/C_F\left(X\right)$ have no atomic ideals. This fact generalizes a result published in paper by A. Mozaffarikhah, E. Momtahan, A. R. Olfati and S. Safaeeyan (2020), which says that for an infinite set $X$, the factor ring ${\mathbb{Z}}^X/{\mathbb{Z}}^{\left(X\right)}$ has no atomic ideal. Another result is that for each infinite...

Let $\Delta$ be a pure simplicial complex on the vertex set $\left[n\right]=\{1,...,n\}$ and $I_{\Delta }$ its Stanley-Reisner ideal in the polynomial ring $S=K[x_1,...,x_n]$. We show that $\Delta$ is a matroid (complete intersection) if and only if $S/I_{\Delta }^{\left(m\right)}$ ($S/I_{\Delta }^m$) is clean for all $m\in \mathbb{N}$ and this is equivalent to saying that $S/I_{\Delta }^{\left(m\right)}$ ($S/I_{\Delta }^m$, respectively) is Cohen-Macaulay for all $m\in \mathbb{N}$. By this result, we show that there exists a monomial ideal $I$ with (pretty) cleanness property while $S/I^m$ or $S/I^{\left(m\right)}$ is not (pretty) clean for all integer $m\ge 3$. If $dim\left(\Delta \right)=1$, we also prove that $S/I_{\Delta }^{\left(2\right)}$ ($S/I_{\Delta }^2$) is clean if and only...

Let $M(X,𝒜)$ ($M^{*}(X,𝒜)$) be the $f$-ring of all (bounded) real-measurable functions on a $T$-measurable space $(X,𝒜)$, let $M_K(X,𝒜)$ be the family of all $f\in M(X,𝒜)$ such that $\mathrm{coz}\left(f\right)$ is compact, and let $M_{\infty }(X,𝒜)$ be all $f\in M(X,𝒜)$ that $\{x\in X:|f\left(x\right)|\ge \frac{1}{n}\}$ is compact for any $n\in \mathbb{N}$. We introduce realcompact subrings of $M(X,𝒜)$, we show that $M^{*}(X,𝒜)$ is a realcompact subring of $M(X,𝒜)$, and also $M(X,𝒜)$ is a realcompact if and only if $(X,𝒜)$ is a compact measurable space. For every nonzero real Riesz map $\varphi :M(X,𝒜)\to ℝ$, we prove that there is an element $x_0\in X$ such that $\varphi \left(f\right)=f\left(x_0\right)$ for every $f\in M(X,𝒜)$ if $(X,𝒜)$ is a compact measurable space....

Let ${\Delta }_{n,d}$ (resp. ${\Delta }_{n,d}^{\text{'}}$) be the simplicial complex and the facet ideal $I_{n,d}=(x_1\cdots x_d,x_{d-k+1}\cdots x_{2d-k},...,x_{n-d+1}\cdots x_n)$ (resp. $J_{n,d}=(x_1\cdots x_d,x_{d-k+1}\cdots x_{2d-k},...,x_{n-2d+2k+1}\cdots x_{n-d+2k},x_{n-d+k+1}\cdots x_n{x}_1\cdots x_k)$). When $d\ge 2k+1$, we give the exact formulas to compute the depth and Stanley depth of quotient rings $S/J_{n,d}$ and $S/I_{n,d}^t$ for all $t\ge 1$. When $d=2k$, we compute the depth and Stanley depth of quotient rings $S/J_{n,d}$ and $S/I_{n,d}$, and give lower bounds for the depth and Stanley depth of quotient rings $S/I_{n,d}^t$ for all $t\ge 1$.

Let $R$ be a prime ring of characteristic different from 2 and 3, $Q_r$ its right Martindale quotient ring, $C$ its extended centroid, $L$ a non-central Lie ideal of $R$ and $n\ge 1$ a fixed positive integer. Let $\alpha$ be an automorphism of the ring $R$. An additive map $D:R\to R$ is called an $\alpha$-derivation (or a skew derivation) on $R$ if $D\left(xy\right)=D\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. An additive mapping $F:R\to R$ is called a generalized $\alpha$-derivation (or a generalized skew derivation) on $R$ if there exists a skew derivation $D$ on $R$ such that $F\left(xy\right)=F\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. We prove...