Solvability of commutative automorphic loops.

DOI10.1090/S0002-9939-2014-12053-3MaRDI QIDQ3190191zbMATH OpenOpenAlexFDO

Authors G. P. Nagy, Alexandre N. Grishkov, Michael K. Kinyon

Publication date 16 September 2014

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

finite automorphic loopsfinite commutative A-loopsfinite simple nonassociative A-loopsinner mappingsLie algebras of characteristic 2primitive groups

Mathematics Subject Classification ID

Lie (super)algebras associated with other structures (associative, Jordan, etc.) (17B60) Primitive groups (20B15) Loops, quasigroups (20N05)

Abstract: We prove that every finite, commutative automorphic loop is solvable. We also prove that every finite, automorphic 2-loop is solvable. The main idea of the proof is to associate a simple Lie algebra of characteristic 2 to a hypothetical finite simple commutative automorphic loop. The "crust of a thin sandwich" theorem of Zel'manov and Kostrikin leads to a contradiction.

Recommendations

• The structure of commutative automorphic loops.
• Multiplication groups of commutative automorphic p-loops of odd order are p-groups.
• The structure of automorphic loops
• Constructions of commutative automorphic loops.
• Commutative automorphic loops of order \(p^3\).

Cites work

• Commutative automorphic loops of order \(p^3\).
• Constructions of commutative automorphic loops.
• Contributions to the Theory of Loops
• Endliche Gruppen I
• scientific article; zbMATH DE number 3132783 (Why is no real title available?)
• scientific article; zbMATH DE number 4204610 (Why is no real title available?)
• scientific article; zbMATH DE number 47663 (Why is no real title available?)
• scientific article; zbMATH DE number 848012 (Why is no real title available?)
• Loops whose inner mappings are automorphisms
• Multiplication groups of commutative automorphic p-loops of odd order are p-groups.
• Multiplication groups of loops and projective semilinear transformations in dimension two
• Nilpotency in automorphic loops of prime power order.
• On the multiplication group of a loop
• Quasigroups. I
• Searching for small simple automorphic loops.
• Subgroups of prime power index in a simple group
• The structure of commutative automorphic loops.
• Theory of finite groups. An introduction

Cited in

(12)

• Lie's correspondence for commutative automorphic formal loops
• A retrospect of the research in nonassociative algebras in IME-USP
• The structure of automorphic loops
• Constructions of commutative automorphic loops.
• The structure of commutative automorphic loops.
• Searching for small simple automorphic loops.
• scientific article; zbMATH DE number 1348388 (Why is no real title available?)
• All automorphic loops of order p^2 for some prime p are associative.
• On commutative A-loops of order PQ
• Enumeration of involutory latin quandles, Bruck loops and commutative automorphic loops of odd prime power order
• On centerless commutative automorphic loops
• All finite automorphic loops have the elementwise Lagrange property.

This page was built for publication: Solvability of commutative automorphic loops.

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