A description of the fundamental group in terms of commutators and closure operators

DOI10.1016/J.JPAA.2012.02.022MaRDI QIDQ456857zbMATH OpenOpenAlexFDO

Authors Mathieu Duckerts, Tomas Everaert, Marino Gran

Publication date 16 October 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

Birkhoff subcategory categorical Galois theory closure operator commutator fundamental group Galois group higher Hopf formula protoadditive functor torsion-free subcategory

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Torsion theories, radicals (18E40) Nonabelian homological algebra (category-theoretic aspects) (18G50) Homological methods in group theory (20J05)

Abstract: A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of functors as coefficients. This makes it possible to calculate the fundamental groups corresponding to many interesting reflections arising, for instance, in the categories of groups, rings, compact groups and simplicial loops.

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}\)).NEWLINENEWLINEAfter 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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: A description of the fundamental group in terms of commutators and closure operators

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