Volume: 17, Issue: 8(2007)
pp. 1577-1592 DOI: 10.1142/S0218196707004323
|
|
Abstract |
Full Text (PDF, 249KB)
|
References
|
 |
| Title: |
EVANS' NORMAL FORM THEOREM REVISITED |
| Author(s): |
JONATHAN D. H. SMITH
Department of Mathematics, Iowa State University, Ames, Iowa 50011-2064, USA
|
| History: |
Received 4 February 2006
Revised 18 April 2007
|
| Abstract: |
Evans defined quasigroups equationally, and proved a Normal Form Theorem solving the word problem for free extensions of partial Latin squares. In this paper, quasigroups are redefined as algebras with six basic operations related by triality, manifested as coupled right and left regular actions of the symmetric group on three symbols. Triality leads to considerable simplifications in the proof of Evans' Normal Form Theorem, and makes it directly applicable to each of the six major varieties of quasigroups defined by subgroups of the symmetric group. Normal form theorems for the corresponding varieties of idempotent quasigroups are obtained as immediate corollaries. |
| Keywords: |
Quasigroup; triality; normal form theorem; confluent rewriting; word problem; semisymmetric; totally symmetric; Steiner triple system; partial Latin square
|
