English
Related papers

Related papers: Precovering and preenveloping ideals

200 papers

In this paper, we examine the class of cofibrant modules over a group algebra $kG$, that were defined by Benson in [2]. We show that this class is always the left-hand side of a complete hereditary cotorsion pair in the category of…

K-Theory and Homology · Mathematics 2025-03-07 Ioannis Emmanouil , Wei Ren

In this article, we define three new operations on ideals which generalize integral closure and Frobenius closure of ideals, whose definitions incorporate an auxiliary ideal and a real parameter. These additional ingredients are common in…

Commutative Algebra · Mathematics 2026-01-06 Kriti Goel , Kyle Maddox , William D. Taylor

In their 1988 paper "Gluing of perverse sheaves and discrete series representations," D. Kazhdan and G. Laumon constructed an abelian category $\mathcal{A}$ associated to a reductive group $G$ over a finite field with the aim of using it to…

Representation Theory · Mathematics 2025-10-15 Calder Morton-Ferguson

Unbounded entailment relations, introduced by Paul Lorenzen (1951), are a slight variant of a notion which plays a fundamental r\^ole in logic (see Scott 1974) and in algebra (see Lombardi and Quitt\'e 2015). We call systems of ideals their…

Logic · Mathematics 2018-10-29 Thierry Coquand , Henri Lombardi , Stefan Neuwirth

Let $\mathcal{A}$ be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(\mathcal{Q}, \widetilde{\mathcal{R}})$ and $(\widetilde{\mathcal{Q}},…

Algebraic Topology · Mathematics 2014-06-11 James Gillespie

It is proved that if G is a finite group, then the order of G is a proper upper bound for the phantom number of G. More specifically, if k is a field whose characteristic divides the order of G, and $\Phi$ is the ideal of phantom morphisms…

Category Theory · Mathematics 2017-05-17 Xianhui Fu , Ivo Herzog

We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy…

Category Theory · Mathematics 2010-06-24 Henning Krause

Let R be a subring of the rationals. We want to investigate self splitting R-modules G that is Ext_R(G,G)=0 holds and follow Schultz to call such modules splitters. Free modules and torsion-free cotorsion modules are classical examples for…

Logic · Mathematics 2007-05-23 Ruediger Goebel , Saharon Shelah

In this note, we propose a generalisation of G. Janelidze's notion of an ideally exact category beyond the Barr exact setting. We define an ideally regular category as a regular, Bourn protomodular category with finite coproducts in which…

Category Theory · Mathematics 2026-03-03 Sandra Mantovani , Mariano Messora

We give criteria for subcategories of a compactly generated algebraic triangulated category to be precovering or preenveloping. These criteria are formulated in terms of closure conditions involving products, coproducts, directed homotopy…

Representation Theory · Mathematics 2020-07-15 Rosanna Laking , Jorge Vitória

This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented…

Representation Theory · Mathematics 2019-10-31 Tobias Barthel , Bernhard Keller , Henning Krause

A theory of matchings for finite subsets of an abelian group, introduced in connection with a conjecture of Wakeford on canonical forms for homogeneous polynomials, has since been extended to the setting of field extensions and to that of…

Combinatorics · Mathematics 2026-02-03 Mohsen Aliabadi , Jozsef Losonczy

We connect work done by Enochs, Rada and Hill in module approximation theory with work undertaken by several group theorists and algebraic topologists in the context of homotopical localization and cellularization of spaces. This allows one…

Group Theory · Mathematics 2016-09-06 Sergio Estrada , Jose L. Rodriguez

We strengthen a result of Bagaria and Magidor~\cite{MR3152715} about the relationship between large cardinals and torsion classes of abelian groups, and prove that (1) the \emph{Maximum Deconstructibility} principle introduced in…

Logic · Mathematics 2024-09-27 Sean Cox , Alejandro Poveda , Jan Trlifaj

We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian…

Logic in Computer Science · Computer Science 2023-06-22 Ulrik Buchholtz , Kuen-Bang Hou

We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for…

Logic · Mathematics 2025-05-08 Vera Fischer , Lukas Schembecker , David Schrittesser

The inquiry into identifying sets of monomials that can be eliminated from a generic homogeneous polynomial via a linear change of coordinates was initiated by E. K. Wakeford. This linear algebra problem prompted C. K. Fan and J. Losonczy…

Combinatorics · Mathematics 2024-09-06 Mohsen Aliabadi , Peter Taylor

We extend the calculus of relations to embed a regular category A into a family of pseudo-abelian tensor categories T(A,d) depending on a degree function d. Under the condition that all objects of A have only finitely many subobjects, our…

Category Theory · Mathematics 2007-09-20 Friedrich Knop

We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of…

Category Theory · Mathematics 2016-07-04 Leonid Positselski

An abelian lattice-ordered group, or abelian $\ell$-group, is an abelian group equipped with a compatible lattice ordering. In this paper, we introduce two multi-sorted extensions of abelian lattice-ordered groups inspired by the zero-set…

Logic · Mathematics 2026-04-07 John Stokes-Waters