On generalizing Stallings' pregroup
type: Item
instance of: scholarly article
title: On generalizing Stallings' pregroup
zbMATH Open document ID: 0749.20007
DOI: 10.1016/0021-8693(92)90179-P
published in: Journal of Algebra
publication date: 1992-06-28T00:00:00Z
review text: The aim of this paper is to prove that for a pregroup \(P\) the axioms \(P_ 1\) to \(P_ 4\) together with the axiom \([Q_ 5]\) are sufficient to prove a normal form theorem (we recall the axiom \([Q_ 5]\): If \(ab\), \(bc\), \(cd\), and \(de\) are defined then at least one of \(abc\), \(bcd\), and \(cde\) is defined).
Mathematics Subject Classification ID: 20E06
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 33038
zbMATH Keywords: pregroup
zbMATH Keywords: axioms
zbMATH Keywords: normal form theorem
author: A. Howard M. Hoare
reviewed by: Dimitru Buşneag
MaRDI profile type: Publication
cites work: A generalization of Stallings' pregroup
cites work: Pregroups and length functions
cites work: Pregroups and Bass-Serre theory
cites work: Q5651924
full work available at URL: 0021-8693(92)90179-p
OpenAlex ID: W1992588977
description: scientific article; zbMATH DE number 33038