Loops with exponent three in all isotopes

DOI10.1142/S0218196715500356MaRDI QIDQ3466809zbMATH OpenOpenAlexFDO

Authors Ian M. Wanless, Michael K. Kinyon

Publication date 25 January 2016

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1103.0054

zbMATH Keywords

Latin squaresquasigroupsfinite loopsloop isotopesvan Rees loops

Mathematics Subject Classification ID

Orthogonal arrays, Latin squares, Room squares (05B15) Loops, quasigroups (20N05)

Abstract: It was shown by van Rees cite{vR} that a latin square of order $n$ has at most $n^2(n-1)/18$ latin subsquares of order $3$. He conjectured that this bound is only achieved if $n$ is a power of $3$. We show that it can only be achieved if $$. We also state several conditions that are equivalent to achieving the van Rees bound. One of these is that the Cayley table of a loop achieves the van Rees bound if and only if every loop isotope has exponent $3$. We call such loops emph{van Rees loops} and show that they form an equationally defined variety. We also show that (1) In a van Rees loop, any subloop of index 3 is normal, (2) There are exactly 6 nonassociative van Rees loops of order $27$ with a non-trivial nucleus and at least 1 with all nuclei trivial, (3) Every commutative van Rees loop has the weak inverse property and (4) For each van Rees loop there is an associated family of Steiner quasigroups.

Recommendations

• Small latin squares, quasigroups, and loops
• scientific article; zbMATH DE number 3896949
• Overlapping Latin subsquares and full products.
• scientific article; zbMATH DE number 4183424
• scientific article; zbMATH DE number 16249
• scientific article; zbMATH DE number 3902665
• On McLeish's construction for Latin squares without intercalates.
• Partial Latin squares and their generalized quotients
• Latin squares, partial Latin squares and their generalized quotients
• scientific article; zbMATH DE number 1409194

Cites work

• scientific article; zbMATH DE number 3745181 (Why is no real title available?)
• scientific article; zbMATH DE number 47663 (Why is no real title available?)
• scientific article; zbMATH DE number 3270383 (Why is no real title available?)
• scientific article; zbMATH DE number 3328200 (Why is no real title available?)
• scientific article; zbMATH DE number 4183425 (Why is no real title available?)
• A Search for Projective Planes of a Special Type with the Aid of a Digital Computer
• Atomic Latin squares based on cyclotomic orthomorphisms
• Central automorphisms, \(Z^*\)-theorems, and loop structure.
• Completions of \(\epsilon \)-dense partial Latin squares
• New families of atomic Latin squares and perfect 1-factorisations.
• On Groups with Two Triply Transitive Permutation Representations
• On nondistributive Steiner quasigroups
• Overlapping Latin subsquares and full products.
• Perfect factorisations of bipartite graphs and Latin squares without proper subrectangles
• Uniquely 2-divisible Bol loops.

Cited in

(4)

• Bounds on the number of small Latin subsquares
• Enumeration of exponent three IP loops
• An isotopically invariant property of automorphic Moufang loops
• Overlapping Latin subsquares and full products.

Describes a project that uses

Uses Software

• LOOPS
• Mace4
• Prover9
• GAP

This page was built for publication: Loops with exponent three in all isotopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3466809)