Partition ideals below $ℵ_{ω}$

P. Dodos; J. Lopez-Abad; S. Todorcevic

The search session has expired. Please query the service again.

Displaying similar documents to “Partition ideals below $ℵ_{ω}$ ”

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

A note on the multiplier ideals of monomial ideals

Cheng Gong, Zhongming Tang (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $𝔞 \subseteq ℂ [x_{1}, ..., x_{n}]$ be a monomial ideal and $𝒥 (𝔞^{c})$ the multiplier ideal of $𝔞$ with coefficient $c$ . Then $𝒥 (𝔞^{c})$ is also a monomial ideal of $ℂ [x_{1}, ..., x_{n}]$ , and the equality $𝒥 (𝔞^{c}) = 𝔞$ implies that $0 < c < n + 1$ . We mainly discuss the problem when $𝒥 (𝔞) = 𝔞$ or $𝒥 (𝔞^{n + 1 - ε}) = 𝔞$ for all $0 < ε < 1$ . It is proved that if $𝒥 (𝔞) = 𝔞$ then $𝔞$ is principal, and if $𝒥 (𝔞^{n + 1 - ε}) = 𝔞$ holds for all $0 < ε < 1$ then $𝔞 = (x_{1}, ..., x_{n})$ . One global result is also obtained. Let $\tilde{𝔞}$ be the ideal sheaf on $ℙ^{n - 1}$ associated with $𝔞$ . Then it is proved that the equality $𝒥 (\tilde{𝔞}) = \tilde{𝔞}$ implies that $\tilde{𝔞}$ is principal.

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

Ideals in big Lipschitz algebras of analytic functions

Thomas Vils Pedersen (2004)

Studia Mathematica

Similarity:

For 0 < γ ≤ 1, let $Λ ⁺_{γ}$ 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_{γ} (E, Q)$ be the closed ideal in $Λ ⁺_{γ}$ consisting of those functions $f \in Λ ⁺_{γ}$ for which (i) f = 0 on E, (ii) $| f (z) - f (w) | = o (| z - w |^{γ})$ as d(z,E),d(w,E) → 0, (iii) $f / Q \in Λ ⁺_{γ}$ . Also, for a closed ideal I in $Λ ⁺_{γ}$ , 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...

Indestructible colourings and rainbow Ramsey theorems

Lajos Soukup (2009)

Fundamenta Mathematicae

Similarity:

We show that if a colouring c establishes ω₂ ↛ [(ω₁:ω)]² then c establishes this negative partition relation in each Cohen-generic extension of the ground model, i.e. this property of c is Cohen-indestructible. This result yields a negative answer to a question of Erdős and Hajnal: it is consistent that GCH holds and there is a colouring c:[ω₂]² → 2 establishing ω₂ ↛ [(ω₁:ω)]₂ such that some colouring g:[ω₁]² → 2 does not embed into c. It is also consistent that $2^{ω ₁}$ is arbitrarily large,...

Extension of point-finite partitions of unity

Haruto Ohta, Kaori Yamazaki (2006)

Fundamenta Mathematicae

Similarity:

A subspace A of a topological space X is said to be $P^{γ}$ -embedded ( $P^{γ}$ (point-finite)-embedded) in X if every (point-finite) partition of unity α on A with |α| ≤ γ extends to a (point-finite) partition of unity on X. The main results are: (Theorem A) A subspace A of X is $P^{γ}$ (point-finite)-embedded in X iff it is $P^{γ}$ -embedded and every countable intersection B of cozero-sets in X with B ∩ A = ∅ can be separated from A by a cozero-set in X. (Theorem B) The product A × [0,1] is $P^{γ}$ (point-finite)-embedded...

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

Spaces with property $(D C (ω_{1}))$

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if $X$ is a first countable space with property $(D C (ω_{1}))$ and with a $G_{δ}$ -diagonal then the cardinality of $X$ is at most $𝔠$ . We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$ .

On operators from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ or to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$

Christian Samuel (2010)

Colloquium Mathematicae

Similarity:

We show that every operator from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ is compact when 1 ≤ p,q < s and that every operator from $ℓ_{s}$ to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$ is compact when 1/p + 1/q > 1 + 1/s.

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 strong $(N, p, α)$ sumability of infinite series III.

R. Sinha (1973)

Matematički Vesnik

Similarity:

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