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

DOI10.36045/J.BBMS.210310MaRDI QIDQ2139115zbMATH OpenOpenAlexFDO

Authors François Renaud

Publication date 17 May 2022

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

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)

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.

Recommendations

• Equalizers and coactions of groups.
• scientific article; zbMATH DE number 4025685
• The equalizer conjecture for the free group of rank two
• On algebraic extensions and decomposition of homomorphisms of free groups
• scientific article; zbMATH DE number 3937409

Cites work

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

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)