On generalizing Stallings' pregroup (Q1183285)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On generalizing Stallings' pregroup |
scientific article |
Statements
On generalizing Stallings' pregroup (English)
0 references
28 June 1992
0 references
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).
0 references
pregroup
0 references
axioms
0 references
normal form theorem
0 references
