Note on Generalizing Pregroups


Seymour Lipschutz


Let $P$ be a pree which satisfies the first four axioms of Stallings' pregroup. Then the following three axioms are equivalent: \item{[K]} If $ab, bc$ and $cd$ are defined, and $(ab)(cd)$ is defined, then $(ab)c$ or $(bc)d$ is defined. \item{[L]} Suppose $V=[x, y]$ is reduced and suppose $y=ab=cd$ where $xa$ and $xc$ are defined. Then $a^{-1}c$ is defined. \item{[M]} Suppose $W=[x, y, z]$ is reduced. Then $W$ is not reducible to a word of length one.