If $A$ is a domain with the ascending chain condition on (integral) invertible ideals, then the group $I(A)$ of its invertible ideals is generated by the set $I_m(A)$ of maximal invertible ideals. In this note we study some properties of $I_m(A)$ and we prove that, if $I(A)$ is a free group on $I_m(A)$, then $A$ is a locally factorial Krull domain.

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

Let $f_i$ be polynomials in $n$ variables without a common zero. Hilbert’s Nullstellensatz says that there are polynomials $g_i$ such that $\sum g_i{f}_i=1$. The effective versions of this result bound the degrees of the $g_i$ in terms of the degrees of the $f_j$. The aim of this paper is to generalize this to the case when the $f_i$ are replaced by arbitrary ideals. Applications to the Bézout theorem, to Łojasiewicz–type inequalities and to deformation theory are also discussed.

It is well known that the only proper non-trivial norm closed ideal in the algebra L(X) for $X={\ell }_p$ (1 ≤ p < ∞) or X = c₀ is the ideal of compact operators. The next natural question is to describe all closed ideals of $L\left({\ell }_p\oplus {\ell }_q\right)$ for 1 ≤ p,q < ∞, p ≠ q, or equivalently, the closed ideals in $L({\ell }_p,{\ell }_q)$ for p < q. This paper shows that for 1 < p < 2 < q < ∞ there are at least four distinct proper closed ideals in $L({\ell }_p,{\ell }_q)$, including one that has not been studied before. The proofs use various methods...

The concept of $\alpha$-ideals in posets is introduced. Several properties of $\alpha$-ideals in $0$-distributive posets are studied. Characterization of prime ideals to be $\alpha$-ideals in $0$-distributive posets is obtained in terms of minimality of ideals. Further, it is proved that if a prime ideal $I$ of a $0$-distributive poset is non-dense, then $I$ is an $\alpha$-ideal. Moreover, it is shown that the set of all $\alpha$-ideals $\alpha \mathrm{Id}\left(P\right)$ of a poset $P$ with $0$ forms a complete lattice. A result analogous to separation theorem for...

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

In this paper we determine all squarefree completely lexsegment ideals which have a linear resolution. Let $M_d$ denote the set of all squarefree monomials of degree $d$ in a polynomial ring $k[x_1,\mathrm{\dots },x_n]$ in $n$ variables over a field $k$. We order the monomials lexicographically such that $x_1>x_2>\mathrm{\dots }>x_n$, thus a lexsegment (of degree $d$) is a subset of $M_d$ of the form $L(u,v)=\{w\in M_d:u\ge w\ge v\}$ for some $u,v\in M_d$ con $u\ge v$. An ideal generated by a lexsegment is called a lexsegment ideal. We describe the procedure to determine when such an ideal has a linear...

Let $F$ be a finite field of characteristic $p$ and $K$ a field which contains a primitive $p$th root of unity and $\mathrm{char}K\ne p$. Suppose that a classical group $G$ acts on the $F$-vector space $V$. Then it can induce the actions on the vector space $V\oplus V$ and on the group algebra $K[V\oplus V]$, respectively. In this paper we determine the structure of $G$-invariant ideals of the group algebra $K[V\oplus V]$, and establish the relationship between the invariant ideals of $K\left[V\right]$ and the vector invariant ideals of $K[V\oplus V]$, if $G$ is a unitary group or orthogonal...

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 $\mathrm{SP}$ be the set of upper strongly porous at $0$ subsets of ${ℝ}^{+}$ and let $\widehat{I}\left(\mathrm{SP}\right)$ be the intersection of maximal ideals $I\subseteq \mathrm{SP}$. Some characteristic properties of sets $E\in \widehat{I}\left(\mathrm{SP}\right)$ are obtained. We also find a characteristic property of the intersection of all maximal ideals contained in a given set which is closed under subsets. It is shown that the ideal generated by the so-called completely strongly porous at $0$ subsets of ${ℝ}^{+}$ is a proper subideal of $\widehat{I}\left(\mathrm{SP}\right).$ Earlier, completely strongly porous sets and some of their properties...

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.

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

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

Let A be a unital Banach function algebra with character space ${\Phi }_A$. For $x\in {\Phi }_A$, let $M_x$ and $J_x$ be the ideals of functions vanishing at x and in a neighbourhood of x, respectively. It is shown that the hull of $J_x$ is connected, and that if x does not belong to the Shilov boundary of A then the set $y\in {\Phi }_A:M_x\supseteq J_y$ has an infinite connected subset. Various related results are given.

Let K be an algebraic number field with non-trivial class group G and ${}_K$ be its ring of integers. For k ∈ ℕ and some real x ≥ 1, let $F_k\left(x\right)$ denote the number of non-zero principal ideals $a_K$ with norm bounded by x such that a has at most k distinct factorizations into irreducible elements. It is well known that $F_k\left(x\right)$ behaves, for x → ∞, asymptotically like $x{\left(logx\right)}^{1/\left|G\right|-1}{\left(loglogx\right)}^{{}_k\left(G\right)}$. In this article, it is proved that for every prime p, $₁\left(C_p\oplus C_p\right)=2p$, and it is also proved that $₁\left(C_{mp}\oplus C_{mp}\right)=2mp$ if $₁\left(C_m\oplus C_m\right)=2m$ and m is large enough. In particular, it is shown...

Let $G$ be a simple algebraic group over an algebraically closed field $𝕜$ of characteristic 0, and $𝔤=LieG$. Let $(e,h,f)$ be an $𝔰{𝔩}_2$-triple in $𝔤$ with $e$ being a long root vector in $𝔤$. Let $(·,·)$ be the $G$-invariant bilinear form on $𝔤$ with $(e,f)=1$ and let $\chi \in {𝔤}^{*}$ be such that $\chi \left(x\right)=(e,x)$ for all $x\in 𝔤$. Let $𝒮$ be the Slodowy slice at $e$ through the adjoint orbit of $e$ and let $H$ be the enveloping algebra of $𝒮$; see [31]. In this article we give an explicit presentation of $H$ by generators and relations. As a consequence we deduce that $H$ contains...

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

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

Inspired by a result from Leibov, we find that the supremum defining the $BLO$ norm in $[0,1]$ is actually attained by a specific sub-interval of $[0,1]$ for $f\in VLO([0,1])$