Searching for small simple automorphic loops.

DOI10.1112/S1461157010000173MaRDI QIDQ3092485zbMATH OpenOpenAlexFDO

Authors Kenneth Johnson, G. P. Nagy, Petr Vojtěchovský, Michael K. Kinyon

Publication date 16 September 2011

Published in LMS Journal of Computation and Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

algorithmsantiautomorphic inverse property loopsautomorphismsfinite loopsGAPnonassociative simple commutative automorphic loopsright inner mappingssimple right automorphic loops

Mathematics Subject Classification ID

Primitive groups (20B15) Loops, quasigroups (20N05) Symbolic computation and algebraic computation (68W30)

Abstract: A loop is (right) automorphic if all its (right) inner mappings are automorphisms. Using the classification of primitive groups of small degrees, we show that there is no nonassociative simple commutative automorphic loop of order less than $2^{12}$, and no nonassociative simple automorphic loop of order less that 2500. We obtain examples of nonassociative simple right automorphic loops.

Recommendations

• The structure of automorphic loops
• The structure of commutative automorphic loops.
• All automorphic loops of order p^2 for some prime p are associative.
• Constructions of commutative automorphic loops.
• Solvability of commutative automorphic loops.

Cites work

• Alternating groups and Latin squares
• scientific article; zbMATH DE number 192896 (Why is no real title available?)

Cited in

(13)

• Lie's correspondence for commutative automorphic formal loops
• The structure of automorphic loops
• Characterizations of automorphic loops.
• Incidence properties of cosets in loops.
• Constructions of commutative automorphic loops.
• Solvability of commutative automorphic loops.
• Nilpotency in automorphic loops of prime power order.
• Commutative automorphic loops of order \(p^3\).
• Simple right conjugacy closed loops
• A class of loops categorically isomorphic to Bruck loops of odd order.
• Three lectures on automorphic loops.
• Half-isomorphisms of automorphic loops
• \(\omega\)-stable symmetric spaces and \(\mathrm{K}\)-loops

Describes a project that uses

Uses Software

• GRAPE
• GAP
• LOOPS

This page was built for publication: Searching for small simple automorphic loops.

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