Rewriting the elements in the intersection of the kernels of two morphisms between free groups

DOI10.36045/J.BBMS.210310zbMATH Open1487.20012arXiv2103.04793OpenAlexW3135898806MaRDI QIDQ2139115FDOQ2139115

François Renaud

Publication date: 17 May 2022

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Abstract: Let F be the free group functor, left adjoint to the forgetful functor between the category of groups GRP and the category of sets SET. Let f from A to B, and h from A to C be two functions in SET and let Ker(F(f)) and Ker(F(h)) be the kernels of the induced morphisms between free groups. Provided that the kernel pairs Eq(f) and Eq(h) of f and h permute (such as it is the case when the pushout of f and h is a double extension in SET), this short article describes a method to rewrite a general element in the intersection of Ker(F(f)) and Ker(F(g)) as a product of generators in A which is (f,h)-symmetric in the sense of the higher covering theory of racks and quandles.

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

zbMATH Keywords

groupsdouble coverings of racks and quandleshomomorphisms between free groupsintersection of kernels

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Category of groups (20J15) Generalized knots (virtual knots, welded knots, quandles, etc.) (57K12) Categorical Galois theory (18E50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On some unsolved problems in quantum group theory
• A classifying invariant of knots, the knot quandle
• Trunks and classifying spaces
• Quandle cohomology and state-sum invariants of knotted curves and surfaces
• Pure Galois theory in categories
• Galois theory and a general notion of central extension
• Hopf Formulae for the Higher Homology of a Group
• RACKS AND LINKS IN CODIMENSION TWO
• Differential geometry, Lie groups and symmetric spaces over general base fields and rings
• Some remarks on Maltsev and Goursat categories
• The denormalized \(3{\times}3\) lemma
• Higher Hopf formulae for homology via Galois theory
• Higher central extensions and Hopf formulae
• Galois groups, abstract commutators, and Hopf formula
• GEOMETRIC INTERPRETATIONS OF QUANDLE HOMOLOGY
• Quandle coverings and their Galois correspondence
• Relations between Homology and Homotopy Groups
• Commutator theory for racks and quandles

This page was built for publication: Rewriting the elements in the intersection of the kernels of two morphisms between free groups

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