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

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

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

In this paper, we introduce a new kind of rings that behave like semicommutative rings, but satisfy yet more known results. This kind of rings is called $P$-semicommutative. We prove that a ring $R$ is $P$-semicommutative if and only if $R\left[x\right]$ is $P$-semicommutative if and only if $R[x,x^{-1}]$ is $P$-semicommutative. Also, if $R\left[\right[x\left]\right]$ is $P$-semicommutative, then $R$ is $P$-semicommutative. The converse holds provided that $P\left(R\right)$ is nilpotent and $R$ is power serieswise Armendariz. For each positive integer $n$, $R$ is $P$-semicommutative...

It is known that $ℬ\left({\ell }^p\right)$ is not amenable for p = 1,2,∞, but whether or not $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞) ∖ 2 is an open problem. We show that, if $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞), then so are ${\ell }^{\infty }\left(ℬ\left({\ell }^p\right)\right)$ and ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$. Moreover, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable so is ${\ell }^{\infty }(,\left(E\right))$ for any index set and for any infinite-dimensional ${ℒ}^p$-space E; in particular, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable for p ∈ (1,∞), then so is ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$. We show that ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$ is not amenable for p = 1,∞, but also that our methods fail us if p ∈ (1,∞). Finally, for p ∈ (1,2) and a free ultrafilter over...

In A theorem on supports in the theory of semisets [Comment. Math. Univ. Carolinae 14 (1973), no. 1, 1–6] B. Balcar showed that if $\sigma \subseteq D\in M$ is a support, $M$ being an inner model of ZFC, and $𝒫(D\setminus \sigma )\cap M=r``\sigma$ with $r\in M$, then $r$ determines a preorder "$⪯$" of $D$ such that $\sigma$ becomes a filter on $(D,⪯)$ generic over $M$. We show that if the relation $r$ is replaced by a function $𝒫(D\setminus \sigma )\cap M=f_{-1}\left(\sigma \right)$, then there exists an equivalence relation "$\sim$" on $D$ and a partial order on $D/\sim$ such that $D/\sim$ is a complete Boolean algebra, $\sigma /\sim$ is a generic filter and ${\left[f\left(u\right)\right]}_{\sim }=-\sum (u/\sim )$ for...