Identities between sets of relations
type: Item
instance of: scholarly article
title: Identities between sets of relations
zbMATH Open document ID: 0778.57003
DOI: 10.1016/0022-4049(93)90002-B
author: N. D. Gilbert
published in: Journal of Pure and Applied Algebra
publication date: 1993-05-16T00:00:00Z
review text: Given a presentation \({\mathcal R}=\langle X| R\rangle\) of a group \(G\) we may construct the free crossed module \(\rho: C(R)\to F\) associated with the inclusion of \(R\) into \(F\), the free group on \(X\). By a theorem of \textit{J. H. C. Whitehead} we may interpret \(\rho\) as a boundary homomorphism of homotopy groups \(\pi_ 2(K\langle X| R\rangle,K^ 1)\to\pi_ 1(K^ 1)\). Then \(\ker\rho=\pi_ 2({\mathcal R})\) is a \(G\)- module, the module of identities under the relations \(R\). The author studies \(\pi_ 2({\mathcal P})\), where \({\mathcal P}= \langle X| R\cup S\rangle\), with \(R\cap S=\emptyset\). His section 3 exploits the decomposition of \(\pi_ 2(K\langle X| R\cup S\rangle,K^ 1)\) as a Peiffer product of \(\pi_ 2(K\langle X| R\rangle,K^ 1)\) and \(\pi_ 2(K \langle X| S\rangle,K^ 1)\) to examine identities between the sets of relations measured by the \(F\)-module \(\langle\langle R\rangle\rangle \cap \langle\langle S\rangle\rangle/[ \langle\langle R \rangle\rangle, \langle\langle S\rangle\rangle]\), where the double brackets denote normal closure in \(F\). Section 4 examines the action of \(\langle\langle S\rangle\rangle\) on the module of identities among the relations \(R\), considering \(S\)-balanced and \(S\)-coupled identities and interpretations of third homology groups in terms of such identities. The generalized Van Kampen theorem [\textit{R. Brown} and \textit{J.-L. Loday}, Topology 26, 311-335 (1987; Zbl 0622.55009)] implies that the triad homotopy group \(\pi_ 3(K\langle X| R\cup S\rangle;K\langle X| R\rangle,K\langle X| S\rangle)\) is a non-abelian tensor product of the relative groups \(\pi_ 2(K\langle X| R\rangle,K^ 1)\) and \(\pi_ 2(K\langle X| S\rangle,K^ 1)\). The tensor product permits a unified treatment of \(S\)-balanced identities among the relations \(R\) and of \(R\)-balanced identities among the relations \(S\). In section 5 computations in the form of exact sequences of \(F/[\langle\langle R\rangle\rangle, \langle\langle S\ran…
Mathematics Subject Classification ID: 57M05
Mathematics Subject Classification ID: 55Q05
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 166175
zbMATH Keywords: presentation of a group
zbMATH Keywords: free crossed module
zbMATH Keywords: boundary homomorphism of homotopy groups
zbMATH Keywords: module of identities under the relations
zbMATH Keywords: Peiffer product
zbMATH Keywords: generalized Van Kampen theorem
zbMATH Keywords: triad homotopy group
zbMATH Keywords: \(S\)- balanced identities
reviewed by: K. A. Hardie
MaRDI profile type: Publication
cites work: Mayer-Vietoris sequences in homotopy of 2-complexes and in homology of groups
cites work: Coproducts of crossed P-modules: applications to second homotopy groups and to the homology of groups
cites work: Q3945247
cites work: Van Kampen theorems for diagrams of spaces
cites work: Relation Modules
cites work: Central extensions of groups and an embedding question of J. H. C. Whitehead
cites work: The non-abelian tensor product of groups and related constructions
cites work: Cohomologie et homologie non abéliennes des groupes. (Nonabelian cohomology and homology of groups)
cites work: ON THE SECOND HOMOTOPY GROUP
cites work: Q3769080
cites work: Aspherical 2-complexes and an unsettled problem of J.H.C.Whitehead
cites work: Dependence and Independence in Free Groups.
cites work: Attaching 2-dimensional cells to a complex
cites work: Q4865851
cites work: A combinatorial interpretation of the third integral homology of a group
cites work: On adding relations to homotopy groups
cites work: Note on a previous paper entitled 'On adding relations to homotopy groups'
cites work: A certain exact sequence
description: scientific article; zbMATH DE number 166175