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 $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...

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 $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 $𝔞\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 $A\left(X\right)$ denote a subalgebra of $C\left(X\right)$ which is closed under local bounded inversion, briefly, an $LBI$-subalgebra. These subalgebras were first introduced and studied in Redlin L., Watson S., Structure spaces for rings of continuous functions with applications to realcompactifications, Fund. Math. 152 (1997), 151–163. By characterizing maximal ideals of $A\left(X\right)$, we generalize the notion of $z_A^{\beta }$-ideals, which was first introduced in Acharyya S.K., De D., An interesting class of ideals in subalgebras of $C\left(X\right)$...

In this article, we investigate new topological descriptions for two well-known mappings ${𝒵}_A$ and ${\Im }_A$ defined on intermediate rings $A\left(X\right)$ of $C\left(X\right)$. Using this, coincidence of each two classes of $z$-ideals, ${𝒵}_A$-ideals and ${\Im }_A$-ideals of $A\left(X\right)$ is studied. Moreover, we answer five questions concerning the mapping ${\Im }_A$ raised in [J. Sack, S. Watson, $C$ and $C^{*}$ among intermediate rings, Topology Proc. 43 (2014), 69–82].

We say that an ideal I on ${}_{\kappa }\lambda$ is semiproper if the corresponding poset ${\mathbb{P}}_I$ is semiproper. In this paper we investigate properties of semiproper ideals on ${}_{\kappa }\lambda$.

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 $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...

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...

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$.