Strong Fubini properties for measure and category

Krzysztof Ciesielski; Miklós Laczkovich

Displaying similar documents to “Strong Fubini properties for measure and category”

Schur-Finite Motives and Trace Identities

Alessio Del Padrone, Carlo Mazza (2009)

Bollettino dell'Unione Matematica Italiana

Similarity:

We provide a sufficient condition that ensures the nilpotency of endomorphisms universally of trace zero of Schur-finite objects in a category of homological type, i.e., a $\mathbb{Q}$ -linear $\otimes$ -category with a tensor functor to super vector spaces. We present some applications in the category of motives, where our result generalizes previous results about finite-dimensional objects, in particular by Kimura. We also present some facts which suggest that this might be the best generalization possible...

Stronger ideals over $_{κ} λ$

Yo Matsubara (2002)

Fundamenta Mathematicae

Similarity:

In §1 we define some properties of ideals by using games. These properties strengthen precipitousness. We call these stronger ideals. In §2 we show some limitations on the existence of such ideals over $_{κ} λ$ . We also present a consistency result concerning the existence of such ideals over $_{κ} λ$ . In §3 we show that such ideals satisfy stronger normality. We show a cardinal arithmetical consequence of the existence of strongly normal ideals. In § 4 we study some “large cardinal-like” consequences...

When does the Katětov order imply that one ideal extends the other?

Paweł Barbarski, Rafał Filipów, Nikodem Mrożek, Piotr Szuca (2013)

Colloquium Mathematicae

Similarity:

We consider the Katětov order between ideals of subsets of natural numbers (" $\leq_{K}$ ") and its stronger variant-containing an isomorphic ideal ("⊑ "). In particular, we are interested in ideals for which $\leq_{K} \Rightarrow ⊑$ for every ideal . We find examples of ideals with this property and show how this property can be used to reformulate some problems known from the literature in terms of the Katětov order instead of the order "⊑ " (and vice versa).

On the structure of halfdiagonal-halfterminal-symmetric categories with diagonal inversions

Hans-Jürgen Vogel (2001)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The category of all binary relations between arbitrary sets turns out to be a certain symmetric monoidal category Rel with an additional structure characterized by a family $d = (d_{A} : A \to A ⨂ A | A \in | R e l |)$ of diagonal morphisms, a family $t = (t_{A} : A \to I | A \in | R e l |)$ of terminal morphisms, and a family $\nabla = (\nabla_{A} : A ⨂ A \to A | A \in | R e l |)$ of diagonal inversions having certain properties. Using this properties in [11] was given a system of axioms which characterizes the abstract concept of a halfdiagonal-halfterminal-symmetric monoidal category with diagonal inversions (hdht∇s-category)....

$n$ -angulated quotient categories induced by mutation pairs

Zengqiang Lin (2015)

Czechoslovak Mathematical Journal

Similarity:

Geiss, Keller and Oppermann (2013) introduced the notion of $n$ -angulated category, which is a “higher dimensional” analogue of triangulated category, and showed that certain $(n - 2)$ -cluster tilting subcategories of triangulated categories give rise to $n$ -angulated categories. We define mutation pairs in $n$ -angulated categories and prove that given such a mutation pair, the corresponding quotient category carries a natural $n$ -angulated structure. This result generalizes a theorem of Iyama-Yoshino...

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

Various categorical approaches to statistical spaces

Tadeusz Bromek, Maria Moszyńska

Similarity:

CONTENTSIntroduction..............................................................................................................51. Preliminaries........................................................................................................61.0. Measurable, probabilistic, and statistical spaces..............................................61.1. Transition functions..........................................................................................61.2. Linear space of...

Monomial ideals with tiny squares and Freiman ideals

Ibrahim Al-Ayyoub, Mehrdad Nasernejad (2021)

Czechoslovak Mathematical Journal

Similarity:

We provide a construction of monomial ideals in $R = K [x, y]$ such that $μ (I^{2}) < μ (I)$ , where $μ$ denotes the least number of generators. This construction generalizes the main result of S. Eliahou, J. Herzog, M. Mohammadi Saem (2018). Working in the ring $R$ , we generalize the definition of a Freiman ideal which was introduced in J. Herzog, G. Zhu (2019) and then we give a complete characterization of such ideals. A particular case of this characterization leads to some further investigations on $μ (I^{k})$ that generalize...

The categories of presheaves containing any category of algebras

V. Trnková, J. Reiterman

Similarity:

ContentsIntroduction.................................................................................................................................................. 5I. Preliminaries........................................................................................................................................... 6II. Main theorem.......................................................................................................................................... 8III. The...

Colimit-dense subcategories

Jiří Adámek, Andrew D. Brooke-Taylor, Tim Campion, Leonid Positselski, Jiří Rosický (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vopěnka’s Principle, we prove that a cocomplete category is locally presentable if and only if it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a $3$ -element set is colimit-dense in ${𝐒𝐞𝐭}^{op}$ , and spaces of countable dimension are colimit-dense in ${𝐕𝐞𝐜}^{op}$ .

One-sided $n$ -suspended categories

Jing He, Yonggang Hu, Panyue Zhou (2024)

Czechoslovak Mathematical Journal

Similarity:

For an integer $n \geq 3$ , we introduce a simultaneous generalization of $(n - 2)$ -exact categories and $n$ -angulated categories, referred to as one-sided $n$ -suspended categories. Notably, one-sided $n$ -angulated categories are specific instances of this structure. We establish a framework for transitioning from these generalized categories to their $n$ -angulated counterparts. Additionally, we present a method for constructing $n$ -angulated quotient categories from Frobenius $n$ -prile categories. Our results unify...

Gorenstein dimension of abelian categories arising from cluster tilting subcategories

Yu Liu, Panyue Zhou (2021)

Czechoslovak Mathematical Journal

Similarity:

Let $𝒞$ be a triangulated category and $𝒳$ be a cluster tilting subcategory of $𝒞$ . Koenig and Zhu showed that the quotient category $𝒞 / 𝒳$ is Gorenstein of Gorenstein dimension at most one. But this is not always true when $𝒞$ becomes an exact category. The notion of an extriangulated category was introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. Now let $𝒞$ be an extriangulated category with enough projectives and enough injectives, and...

Recollement of colimit categories and its applications

Ju Huang, QingHua Chen, Chunhuan Lai (2020)

Czechoslovak Mathematical Journal

Similarity:

We give an explicit recollement for a cocomplete abelian category and its colimit category. We obtain some applications on Leavitt path algebras, derived equivalences and $K$ -groups.

A note on model structures on arbitrary Frobenius categories

Zhi-wei Li (2017)

Czechoslovak Mathematical Journal

Similarity:

We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category $ℱ$ such that the homotopy category of this model structure is equivalent to the stable category $\underset{̲}{ℱ}$ as triangulated categories. This seems to be well-accepted by experts but we were unable to find a complete proof for it in the literature. When $ℱ$ is a weakly idempotent complete (i.e., every split monomorphism is an inflation) Frobenius category, the model structure we constructed is an exact...

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

Base change for Picard-Vessiot closures

Andy R. Magid (2011)

Banach Center Publications

Similarity:

The differential automorphism group, over F, Π₁(F₁) of the Picard-Vessiot closure F₁ of a differential field F is a proalgebraic group over the field $C_{F}$ of constants of F, which is assumed to be algebraically closed of characteristic zero, and its category of $C_{F}$ modules is equivalent to the category of differential modules over F. We show how this group and the category equivalence behave under a differential extension E ⊃ F, where $C_{E}$ is also algebraically closed.

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

Yetter-Drinfeld-Long bimodules are modules

Daowei Lu, Shuan Hong Wang (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $H$ be a finite-dimensional bialgebra. In this paper, we prove that the category $ℒℛ (H)$ of Yetter-Drinfeld-Long bimodules, introduced by F. Panaite, F. Van Oystaeyen (2008), is isomorphic to the Yetter-Drinfeld category $_{H \otimes H^{*}}^{H \otimes H^{*}} 𝒴𝒟$ over the tensor product bialgebra $H \otimes H^{*}$ as monoidal categories. Moreover if $H$ is a finite-dimensional Hopf algebra with bijective antipode, the isomorphism is braided. Finally, as an application of this category isomorphism, we give two results.

Two results of $n$ -exangulated categories

Jian He, Jing He, Panyue Zhou (2024)

Czechoslovak Mathematical Journal

Similarity:

M. Herschend, Y. Liu, H. Nakaoka introduced $n$ -exangulated categories, which are a simultaneous generalization of $n$ -exact categories and $(n + 2)$ -angulated categories. This paper consists of two results on $n$ -exangulated categories: (1) we give an equivalent characterization of axiom (EA2); (2) we provide a new way to construct a closed subfunctor of an $n$ -exangulated category.

Invertible ideals and Gaussian semirings

Shaban Ghalandarzadeh, Peyman Nasehpour, Rafieh Razavi (2017)

Archivum Mathematicum

Similarity:

In the first section, we introduce the notions of fractional and invertible ideals of semirings and characterize invertible ideals of a semidomain. In section two, we define Prüfer semirings and characterize them in terms of valuation semirings. In this section, we also characterize Prüfer semirings in terms of some identities over its ideals such as $(I + J) (I \cap J) = I J$ for all ideals $I$ , $J$ of $S$ . In the third section, we give a semiring version for the Gilmer-Tsang Theorem, which states that for a suitable...