A description of the fundamental group in terms of commutators and closure operators (Q456857): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
\textit{G. Janelidze} [Appl. Categ. Struct. 16, No. 6, 653--668 (2008; Zbl 1226.18003)] explained the connection between the Hopf formula (which gives the homology of an object as a quotient of commutators) and the Galois group of an object, which consists of the ``loops with base-point \(0\)'' in the Galois groupoid of a weakly universal normal extension of this object. In the present article, the authors make use of the Galois group (the fundamental group) to obtain Hopf formulae in situations beyond the well-known case of a semi-abelian category with a chosen Birkhoff subcategory. Using homological closure operators and abstract commutators, they examine a composite adjunction (of which the left adjoint plays the role of functor of coefficients): \(\mathcal{B}\) is a Birkhoff subcategory of a semi-abelian category \(\mathcal{A}\), and \(\mathcal{F}\) is a torsion-free subcategory of \(\mathcal{B}\) such that the reflector is protoadditive, which means that it preserves split short exact sequences. The thus obtained Hopf formula, which characterises the fundamental group, contains abstract commutators (which come from the reflection of \(\mathcal{A}\) to \(\mathcal{B}\)) and closure operators (which come from the reflection of \(\mathcal{B}\) to \(\mathcal{F}\)). After explaining the general theory, the authors consider several concrete examples: groups with coefficients in torsion-free abelian groups, rings with coefficients in commutative rings without nilpotent elements, compact groups with coefficients in abelian profinite groups, and simplicial loops with coefficients in groups. | |||
Property / review text: \textit{G. Janelidze} [Appl. Categ. Struct. 16, No. 6, 653--668 (2008; Zbl 1226.18003)] explained the connection between the Hopf formula (which gives the homology of an object as a quotient of commutators) and the Galois group of an object, which consists of the ``loops with base-point \(0\)'' in the Galois groupoid of a weakly universal normal extension of this object. In the present article, the authors make use of the Galois group (the fundamental group) to obtain Hopf formulae in situations beyond the well-known case of a semi-abelian category with a chosen Birkhoff subcategory. Using homological closure operators and abstract commutators, they examine a composite adjunction (of which the left adjoint plays the role of functor of coefficients): \(\mathcal{B}\) is a Birkhoff subcategory of a semi-abelian category \(\mathcal{A}\), and \(\mathcal{F}\) is a torsion-free subcategory of \(\mathcal{B}\) such that the reflector is protoadditive, which means that it preserves split short exact sequences. The thus obtained Hopf formula, which characterises the fundamental group, contains abstract commutators (which come from the reflection of \(\mathcal{A}\) to \(\mathcal{B}\)) and closure operators (which come from the reflection of \(\mathcal{B}\) to \(\mathcal{F}\)). After explaining the general theory, the authors consider several concrete examples: groups with coefficients in torsion-free abelian groups, rings with coefficients in commutative rings without nilpotent elements, compact groups with coefficients in abelian profinite groups, and simplicial loops with coefficients in groups. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Tim Van der Linden / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20J05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6094145 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
categorical Galois theory | |||
Property / zbMATH Keywords: categorical Galois theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
higher Hopf formula | |||
Property / zbMATH Keywords: higher Hopf formula / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Galois group | |||
Property / zbMATH Keywords: Galois group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
commutator | |||
Property / zbMATH Keywords: commutator / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
closure operator | |||
Property / zbMATH Keywords: closure operator / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
protoadditive functor | |||
Property / zbMATH Keywords: protoadditive functor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
torsion-free subcategory | |||
Property / zbMATH Keywords: torsion-free subcategory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Birkhoff subcategory | |||
Property / zbMATH Keywords: Birkhoff subcategory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fundamental group | |||
Property / zbMATH Keywords: fundamental group / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2031715942 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1410.3218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5628320 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5566551 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4827951 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological semi-abelian algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2703807 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3978968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(3\times 3\) lemma and protomodularity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Central extensions in semi-abelian categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torsion theories in homological categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torsion theories and radicals in normal categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3691902 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher central extensions and Hopf formulae / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On low-dimensional homology in categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3552031 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Protoadditive functors, derived torsion theories and homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher Hopf formulae for homology via Galois theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156477 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156480 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois theory and commutators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On satellites in semi-abelian categories: Homology without projectives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Central extensions and internal groupoids in Maltsev categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3646050 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torsion theories and Galois coverings of topological groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pure Galois theory in categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois groups, abstract commutators, and Hopf formula / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois theory and a general notion of central extension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342440 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-abelian categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5431518 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3950708 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:17, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A description of the fundamental group in terms of commutators and closure operators |
scientific article |
Statements
A description of the fundamental group in terms of commutators and closure operators (English)
0 references
16 October 2012
0 references
\textit{G. Janelidze} [Appl. Categ. Struct. 16, No. 6, 653--668 (2008; Zbl 1226.18003)] explained the connection between the Hopf formula (which gives the homology of an object as a quotient of commutators) and the Galois group of an object, which consists of the ``loops with base-point \(0\)'' in the Galois groupoid of a weakly universal normal extension of this object. In the present article, the authors make use of the Galois group (the fundamental group) to obtain Hopf formulae in situations beyond the well-known case of a semi-abelian category with a chosen Birkhoff subcategory. Using homological closure operators and abstract commutators, they examine a composite adjunction (of which the left adjoint plays the role of functor of coefficients): \(\mathcal{B}\) is a Birkhoff subcategory of a semi-abelian category \(\mathcal{A}\), and \(\mathcal{F}\) is a torsion-free subcategory of \(\mathcal{B}\) such that the reflector is protoadditive, which means that it preserves split short exact sequences. The thus obtained Hopf formula, which characterises the fundamental group, contains abstract commutators (which come from the reflection of \(\mathcal{A}\) to \(\mathcal{B}\)) and closure operators (which come from the reflection of \(\mathcal{B}\) to \(\mathcal{F}\)). After explaining the general theory, the authors consider several concrete examples: groups with coefficients in torsion-free abelian groups, rings with coefficients in commutative rings without nilpotent elements, compact groups with coefficients in abelian profinite groups, and simplicial loops with coefficients in groups.
0 references
categorical Galois theory
0 references
higher Hopf formula
0 references
Galois group
0 references
commutator
0 references
closure operator
0 references
protoadditive functor
0 references
torsion-free subcategory
0 references
Birkhoff subcategory
0 references
fundamental group
0 references