Stability of universal equivalence of groups under free constructions.

Authors Andrew Duncan, Ilya Kazachkov, Vladimir Remeslennikov

Publication date 10 March 2011

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

free products generalisations of amalgamated products HNN-extensions pregroups universal equivalences universal groups

Basic properties of first-order languages and structures (03C07) Free nonabelian groups (20E05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Category of groups (20J15)

Abstract: In 1971 J. Stallings introduced a generalisation of amalgamated products of groups -- called a pregroup, which is a particular kind of a partial group. He defined the universal group U(P) of a pregroup P to be a universal object (in the sense of category theory) extending the partial operations on P to group operations on U(P). This turns out to be a versatile and convenient generalisation of classical group constructions: HNN-extensions and amalgamated products. In this respect the following general question arises. Which properties of pregroups, or relations between pregroups, carry over to the respective universal groups? In this paper it is proved that universal equivalence of pregroups extends to universal equivalence of universal groups. Applications to free products with amalgamation and HNN-extensions are then described.

Recommendations

Cited in

(3)

This page was built for publication: Stability of universal equivalence of groups under free constructions.

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