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 $_{κ} λ$ .

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

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

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

A note on solvable vertex stabilizers of $s$ -transitive graphs of prime valency

Song-Tao Guo, Hailong Hou, Yong Xu (2015)

Czechoslovak Mathematical Journal

Similarity:

A graph $X$ , with a group $G$ of automorphisms of $X$ , is said to be $(G, s)$ -transitive, for some $s \geq 1$ , if $G$ is transitive on $s$ -arcs but not on $(s + 1)$ -arcs. Let $X$ be a connected $(G, s)$ -transitive graph of prime valency $p \geq 5$ , and $G_{v}$ the vertex stabilizer of a vertex $v \in V (X)$ . Suppose that $G_{v}$ is solvable. Weiss (1974) proved that $| G_{v} {| ∣ p (p - 1)}^{2}$ . In this paper, we prove that $G_{v} ≅ (ℤ_{p} ⋊ ℤ_{m}) \times ℤ_{n}$ for some positive integers $m$ and $n$ such that $n div m$ and $m ∣ p - 1$ .

Remarks on $L B I$ -subalgebras of $C (X)$

Mehdi Parsinia (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $A (X)$ denote a subalgebra of $C (X)$ which is closed under local bounded inversion, briefly, an $L B I$ -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 (X)$ , we generalize the notion of $z_{A}^{β}$ -ideals, which was first introduced in Acharyya S.K., De D., An interesting class of ideals in subalgebras of $C (X)$ ...

Reflecting character and pseudocharacter

Lucia R. Junqueira, Alberto M. E. Levi (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We say that a cardinal function $φ$ reflects an infinite cardinal $κ$ , if given a topological space $X$ with $φ (X) \geq κ$ , there exists $Y \in {[X]}^{\leq κ}$ with $φ (Y) \geq κ$ . We investigate some problems, discussed by Hodel and Vaughan in Reflection theorems for cardinal functions, Topology Appl. 100 (2000), 47–66, and Juhász in Cardinal functions and reflection, Topology Atlas Preprint no. 445, 2000, related to the reflection for the cardinal functions character and pseudocharacter. Among other results, we present some new equivalences...