Transitive Properties of Ideals on Generalized Cantor Spaces

Jan Kraszewski

Displaying similar documents to “Transitive Properties of Ideals on Generalized Cantor Spaces”

Semiproper ideals

Hiroshi Sakai (2005)

Fundamenta Mathematicae

Similarity:

We say that an ideal I on $_{κ} λ$ is semiproper if the corresponding poset $ℙ_{I}$ is semiproper. In this paper we investigate properties of semiproper ideals on $_{κ} λ$ .

$(δ, 2)$ -primary ideals of a commutative ring

Gülşen Ulucak, Ece Yetkin Çelikel (2020)

Czechoslovak Mathematical Journal

Similarity:

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

On domains with ACC on invertible ideals

Stefania Gabelli (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

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.

Partition ideals below $ℵ_{ω}$

P. Dodos, J. Lopez-Abad, S. Todorcevic (2012)

Fundamenta Mathematicae

Similarity:

Motivated by an application to the unconditional basic sequence problem appearing in our previous paper, we introduce analogues of the Laver ideal on ℵ₂ living on index sets of the form ${[ℵ_{k}]}^{ω}$ and use this to refine the well-known high-dimensional polarized partition relation for $ℵ_{ω}$ of Shelah.

Effective Nullstellensatz for arbitrary ideals

János Kollár (1999)

Journal of the European Mathematical Society

Similarity:

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.

On norm closed ideals in $L (ℓ_{p}, ℓ_{q})$

B. Sari, Th. Schlumprecht, N. Tomczak-Jaegermann, V. G. Troitsky (2007)

Studia Mathematica

Similarity:

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

Vector invariant ideals of abelian group algebras under the actions of the unitary groups and orthogonal groups

Lingli Zeng, Jizhu Nan (2016)

Czechoslovak Mathematical Journal

Similarity:

Let $F$ be a finite field of characteristic $p$ and $K$ a field which contains a primitive $p$ th root of unity and $char K \neq 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 [V]$ and the vector invariant ideals of $K [V \oplus V]$ , if $G$ is a unitary group or orthogonal...

On quasi $n$ -ideals of commutative rings

Adam Anebri, Najib Mahdou, Emel Aslankarayiğit Uğurlu (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $R$ be a commutative ring with a nonzero identity. In this study, we present a new class of ideals lying properly between the class of $n$ -ideals and the class of $(2, n)$ -ideals. A proper ideal $I$ of $R$ is said to be a quasi $n$ -ideal if $\sqrt{I}$ is an $n$ -ideal of $R .$ Many examples and results are given to disclose the relations between this new concept and others that already exist, namely, the $n$ -ideals, the quasi primary ideals, the $(2, n)$ -ideals and the $p r$ -ideals. Moreover, we use the quasi $n$ -ideals to characterize...

Generalization of the $S$ -Noetherian concept

Abdelamir Dabbabi, Ali Benhissi (2023)

Archivum Mathematicum

Similarity:

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 $I Q \subseteq F$ . In this paper, we study the transfer of this property to the polynomial ring and Nagata’s idealization.

Two ideals connected with strong right upper porosity at a point

Viktoriia Bilet, Oleksiy Dovgoshey, Jürgen Prestin (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $SP$ be the set of upper strongly porous at $0$ subsets of $ℝ^{+}$ and let $\hat{I} (SP)$ be the intersection of maximal ideals $I \subseteq SP$ . Some characteristic properties of sets $E \in \hat{I} (SP)$ 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 $\hat{I} (SP) .$ Earlier, completely strongly porous sets and some of their properties...

Cardinal sequences of length < ω₂ under GCH

István Juhász, Lajos Soukup, William Weiss (2006)

Fundamenta Mathematicae

Similarity:

Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put $_{λ} (α) = s \in (α) : s (0) = λ = m i n [s (β) : β < α]$ . We show that f ∈ (α) iff for some natural number n there are infinite cardinals $λ ₀ i > λ ₁ > . . . > λ_{n - 1}$ and ordinals $α ₀, . . ., α_{n - 1}$ such that $α = α ₀ + \dots + α_{n - 1}$ and $f = f ₀ ⏜ f ₁ ⏜ . . . ⏜ f_{n - 1}$ where each $f_{i} \in_{λ_{i}} (α_{i})$ . Under GCH we prove that if α < ω₂ then (i) $_{ω} (α) = s \in^{α} ω, ω ₁ : s (0) = ω$ ; (ii) if λ > cf(λ) = ω, $_{λ} (α) = s \in^{α} λ, λ ⁺ : s (0) = λ, s^{- 1} λ i s ω ₁ - c l o s e d i n α$ ; (iii) if cf(λ) = ω₁, $_{λ} (α) = s \in^{α} λ, λ ⁺ : s (0) = λ, s^{- 1} λ i s ω - c l o s e d a n d s u c c e s s o r - c l o s e d i n α$ ; (iv) if cf(λ) > ω₁, $_{λ} (α) =^{α} λ$ . This yields a complete characterization of the classes (α) for all...

On atomic ideals in some factor rings of $C (X, ℤ)$

Alireza Olfati (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A nonzero $R$ -module $M$ is atomic if for each two nonzero elements $a, b$ in $M$ , both cyclic submodules $R a$ and $R b$ have nonzero isomorphic submodules. In this article it is shown that for an infinite $P$ -space $X$ , the factor rings $C (X, ℤ) / C_{F} (X, ℤ)$ and $C_{c} (X) / C_{F} (X)$ 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 $ℤ^{X} / ℤ^{(X)}$ has no atomic ideal. Another result is that for each infinite...

On ordinals accessible by infinitary languages

Saharon Shelah, Pauli Väisänen, Jouko Väänänen (2005)

Fundamenta Mathematicae

Similarity:

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{λ ⁺ ω}$ , with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨ D^{ℳ}, ≺^{ℳ} ⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨ D^{ℳ^{'}}, ≺^{ℳ^{'}} ⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{λ ⁺ ω}$ is exactly $ℶ_{δ (λ)}$ . It was proved in [BK71] that if ℵ₀ < λ < κ $a r e r e g u l a r c a r d i n a l n u m b e r s, t h e n t h e r e i s a f o r c i n g e x t e n s i o n, p r e s e r v i n g c o f i n a l i t i e s, s u c h t h a t i n t h e e x t e n s i o n$ 2λ = κ $a n d δ (λ) < λ ⁺ ⁺ . W e i m p r o v e t h i s r e s u l t b y p r o v i n g t h e f o l l o w i n g : S u p p o s e ℵ ₀ < λ < θ \leq κ a r e c a r d i n a l n u m b e r s s u c h t h a t$ ∙ $λ^{< λ} = λ$ ; ∙ cf(θ) ≥ λ⁺ and $μ^{λ} < θ$ whenever μ < θ; ∙ $κ^{λ} = κ$ . Then there...

Non-regularity for Banach function algebras

J. Feinstein, D. Somerset (2000)

Studia Mathematica

Similarity:

Let A be a unital Banach function algebra with character space $Φ_{A}$ . For $x \in Φ_{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 Φ_{A} : M_{x} \supseteq J_{y}$ has an infinite connected subset. Various related results are given.

Annihilator ideals of finite dimensional simple modules of two-parameter quantized enveloping algebra $U_{r, s} ({𝔰𝔩}_{2})$

Yu Wang, Xiaoming Li (2023)

Czechoslovak Mathematical Journal

Similarity:

Let $U$ be the two-parameter quantized enveloping algebra $U_{r, s} ({𝔰𝔩}_{2})$ and $F (U)$ the locally finite subalgebra of $U$ under the adjoint action. The aim of this paper is to determine some ring-theoretical properties of $F (U)$ in the case when $r s^{- 1}$ is not a root of unity. Then we describe the annihilator ideals of finite dimensional simple modules of $U$ by generators.

The strong persistence property and symbolic strong persistence property

Mehrdad Nasernejad, Kazem Khashyarmanesh, Leslie G. Roberts, Jonathan Toledo (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $I$ be an ideal in a commutative Noetherian ring $R$ . Then the ideal $I$ has the strong persistence property if and only if $(I^{k + 1} :_{R} I) = I^{k}$ for all $k$ , and $I$ has the symbolic strong persistence property if and only if $(I^{(k + 1)} :_{R} I^{(1)}) = I^{(k)}$ for all $k$ , where $I^{(k)}$ 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...

Definable orthogonality classes in accessible categories are small

Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, Jiří Rosický (2015)

Journal of the European Mathematical Society

Similarity:

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class $𝒮$ of morphisms in a locally presentable category $𝒞$ of structures, the orthogonal class of objects...