On generalizing Stallings' pregroup (Q1183285)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 33038
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On generalizing Stallings' pregroup |
scientific article; zbMATH DE number 33038 |
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
0.8450379967689514
0 references
0.8073885440826416
0 references
0.7752864360809326
0 references
