Coherent presentations of structure monoids and the Higman-Thompson groups

arXiv0802.3511MaRDI QIDQ6208522FDOQ6208522

Publication date: 24 February 2008

Abstract: Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational varieties, generalising several results of Dehornoy. We subsequently realise the higher Thompson groups

F_{n, 1}

and the Higman-Thompson groups

G_{n, 1}

as structure groups. We go on to obtain presentations of these groups via coherent categorifications of the varieties of higher-order associativity and of higher-order associativity and commutativity, respectively. These categorifications generalise Mac Lane's pentagon and hexagon conditions for coherently associative and commutative bifunctors.

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Equational classes, universal algebra in model theory (03C05) Categorical structures (18D99) Connections of group theory with homological algebra and category theory (20J99)

This page was built for publication: Coherent presentations of structure monoids and the Higman-Thompson groups

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