## Abstract An autotopism of a Latin square is a triple (Ξ±, Ξ², Ξ³) of permutations such that the Latin square is mapped to itself by permuting its rows by Ξ±, columns by Ξ², and symbols by Ξ³. Let Atp(__n__) be the set of all autotopisms of Latin squares of order __n__. Whether a triple (Ξ±, Ξ², Ξ³) of pe
Small latin squares, quasigroups, and loops
β Scribed by Brendan D. McKay; Alison Meynert; Wendy Myrvold
- Publisher
- John Wiley and Sons
- Year
- 2007
- Tongue
- English
- Weight
- 169 KB
- Volume
- 15
- Category
- Article
- ISSN
- 1063-8539
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
We present the numbers of isotopy classes and main classes of Latin squares, and the numbers of isomorphism classes of quasigroups and loops, up to order 10. The best previous results were for Latin squares of order 8 (Kolesova, Lam, and Thiel, 1990), quasigroups of order 6 (Bower, 2000), and loops of order 7 (Brant and Mullen, 1985). The loops of order 8 have been independently found by βQSCGZβ and GuΓ©rin (unpublished, 2001).
We also report on the most extensive search so far for a triple of mutually orthogonal Latin squares (MOLS) of order 10. Our computations show that any such triple must have only squares with trivial symmetry groups. Β© 2006 Wiley Periodicals, Inc. J Combin Designs
π SIMILAR VOLUMES
We investigate the question of which weakenings of the associative law imply that a quasigroup is a loop. In particular, we completely settle the question for all Ε½ laws of ''BolαMoufang type'' those written with four variables, three of which are . distinct .
## Abstract A __k__βplex in a Latin square of order __n__ is a selection of __kn__ entries in which each row, column, and symbol is represented precisely __k__ times. A transversal of a Latin square corresponds to the case __k__β=β1. We show that for all even __n__β>β2 there exists a Latin square o