Every diassociative A-loop is Moufang

DOI10.1090/S0002-9939-01-06090-7zbMath0990.20044arXivmath/0007195MaRDI QIDQ2759004

No author found.

Publication date: 10 December 2001

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

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

zbMATH Keywords

Moufang loopsinner mapping groupsgroups of inner automorphismscomputer-aided proofsdiassociative loopsright translations\(A\)-loopsdiassociative \(A\)-loops

Mathematics Subject Classification ID

Related Items (21)

Metrization theorem for uniform loops with the invertibility property ⋮ All finite automorphic loops have the elementwise Lagrange property. ⋮ Multiplication groups of commutative automorphic \(p\)-loops of odd order are \(p\)-groups. ⋮ Half-isomorphisms of Moufang loops. ⋮ Loops and the Lagrange property. ⋮ Ken Kunen: algebraist. ⋮ Finite loops with dihedral inner mapping groups are solvable. ⋮ COMMUTATIVE AUTOMORPHIC LOOPS OF ORDER p³ ⋮ Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction ⋮ On commutative A-loops of order PQ ⋮ ALL AUTOMORPHIC LOOPS OF ORDER p² FOR SOME PRIME p ARE ASSOCIATIVE ⋮ Unnamed Item ⋮ Proof simplification and automated theorem proving ⋮ The structure of commutative automorphic loops ⋮ An isotopically invariant property of automorphic Moufang loops ⋮ Half-isomorphisms of Finite Automorphic Moufang Loops ⋮ On loops rich in automorphisms that are abelian modulo the nucleus ⋮ The structure of automorphic loops ⋮ THE MOUFANG LAWS, GLOBAL AND LOCAL ⋮ Rectangular quasigroups and rectangular loops. ⋮ On the structure of the automorphism group of certain automorphic loop

Uses Software

• OTTER

Cites Work

• Unnamed Item
• Unnamed Item
• Loops whose inner mappings are automorphisms
• Quasigroups, loops, and associative laws
• \(G\)-loops and permutation groups
• Single axioms for odd exponent groups
• Automated deduction in equational logic and cubic curves
• Moufang quasigroups
• A Theorem on A-Loops
• Alternative loop rings
• The structure of conjugacy closed loops
• A Fascinating Country in the World of Computing
• A Special Class of Moufang Loops

This page was built for publication: Every diassociative A-loop is Moufang