Powers of the phantom ideal

DOI10.1112/PLMS/PDW006MaRDI QIDQ2809276zbMATH OpenOpenAlexFDO

Authors Xianhui Fu, Ivo Herzog

Publication date 27 May 2016

Published in Proceedings of the London Mathematical Society. Third Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1312.5348

zbMATH Keywords

exact categoriesphantom idealsexact structuresideal approximation

Mathematics Subject Classification ID

Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Jacobson radical, quasimultiplication (16N20) Abelian categories, Grothendieck categories (18E10) Relative homological algebra, projective classes (category-theoretic aspects) (18G25)

Abstract: 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 in the stable category k[G]-$underlinemMod$ of modules over the group algebra k[G], then $Ph{i}^{n-1}=0,$ where n is the nilpotency index of the Jacobson radical J of k[G]. If $R$ is a semiprimary ring, with $J^n=0,$ and $Phi$ denotes the phantom ideal in the module category R-Mod, then $Ph{i}^n$ is the ideal of morphisms that factor through a projective module. If R is a right coherent ring and every cotorsion left R-module has a coresolution of length $n$ by pure injective modules, then $Ph{i}^{n+1}$ is the ideal of morphisms that factor through a flat module. These results are obtained by introducing the mono-epi (ME) exact structure on the morphisms of an exact category ($mathcalA;mathcalE$), used to prove new versions of Salce's Lemma, the Ghost Lemma of Christensen, and Wakamatsu's Lemma. Salce's Lemma gives a bijective correspondence between special precovering ideals and special preenveloping ideals. The exact category (Arr ($mathcalA$); ME) of morphisms allows us to introduce the notion of an extension $istarj$ of morphisms and the notion of an extension of ideals in ($mathcalA;mathcalE$). The Ghost Lemma asserts that the class of special precovering (resp., special preenveloping) ideals is closed under products and extensions and that the bijective correspondence of Salce's Lemma replaces multiplication with extension. Wakamatsu's Lemma is the statement that if a covering ideal is closed under extensions of morphisms, then it is a special precovering ideal with a syzygy ideal generated by objects.

Recommendations

• Ideal approximation theory
• Phantom covering ideals in categories without enough projective morphisms
• The phantom cover of a module.
• Precovers and preenvelopes by phantom and Ext-phantom morphisms
• Phantom ideals and cotorsion pairs in extriangulated categories

Cites work

• scientific article; zbMATH DE number 3663412 (Why is no real title available?)
• scientific article; zbMATH DE number 49607 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1274300 (Why is no real title available?)
• scientific article; zbMATH DE number 1993706 (Why is no real title available?)
• scientific article; zbMATH DE number 937420 (Why is no real title available?)
• scientific article; zbMATH DE number 1396408 (Why is no real title available?)
• A test for finite representation type
• ALL MODULES HAVE FLAT COVERS
• Corrigendum to ``Phantom maps and purity in modular representation theory. III.
• Covering ideals of morphisms and module representations of the quiver A₂.
• Covers and directed colimits.
• Dimensions of triangulated categories via Koszul objects
• Dimensions of triangulated categories.
• Exact categories
• Failure of Brown representability in derived categories
• Flat covers of modules
• Generating the bounded derived category and perfect ghosts
• Ghosts in modular representation theory.
• Homological and homotopical aspects of torsion theories
• How To Make Ext Vanish
• Ideal approximation theory
• Ideals in triangulated categories: Phantoms, ghosts and skeleta
• Injective and flat covers, envelopes and resolvents
• On a theorem of Brown and Adams
• Phantom maps and homology theories
• Phantom maps and purity in modular representation theory. II
• Phantom maps and purity in modular representation theory. III
• Phantom maps in the stable module category
• Phantom morphisms and Salce's lemma.
• Precovering and Preenveloping Ideals
• Purity, spectra and localisation.
• Relative homological algebra
• Relative homological algebra and purity in triangulated categories
• Representation dimension and finitely generated cohomology.
• Representation dimension of exterior algebras
• Smashing subcategories and the telescope conjecture -- an algebraic approach
• Stable equivalence for self-injective algebras and a generalization of tilting modules
• The Brown representability theorem and phantomless triangulated categories
• The phantom cover of a module.
• Transfinite Adams representability
• Triangulated categories
• Universal phantom maps

Cited in

(24)

• Phantom morphisms and Salce's lemma.
• Characterizations of Ding injective complexes
• Corrigendum to ``Phantom maps and purity in modular representation theory. III.
• Lattice theoretic properties of approximating ideals
• Higher phantom morphisms with respect to a subfunctor of ext
• Gorenstein flat phantom morphisms
• Ideal mutations in triangulated categories and generalized Auslander-Reiten theory
• Symbolic powers of ideals
• Ideal balanced pairs
• On \(n\)-phantom and \(n\)-ext-phantom morphisms
• Phantom envelopes and Ext-phantom covers of modules
• Purity and approximation with respect to a class of morphisms
• On preenvelopes and precovers by ideals of morphisms of modules
• Ideal cotorsion pairs over one point extensions
• Neat-phantom and clean-cophantom morphisms
• Expected resurgences and symbolic powers of ideals
• Ideal approximation theory
• Covering ideals of morphisms and module representations of the quiver A₂.
• Higher ideal approximation theory
• Transfinite Adams representability
• Ideal balanced pairs in extriangulated categories
• Ideal cotorsion theories in triangulated categories
• Phantom covering ideals in categories without enough projective morphisms
• \(RD\)-phantom and \(RD\)-\(\mathrm{Ext}\)-phantom morphisms

This page was built for publication: Powers of the phantom ideal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2809276)