Every diassociative A-loop is Moufang

2000/07/31 by Michael K. Kinyon, Kenneth Kunen, J. D. Phillips
Mathematics · #math.GR #msc:20N05 #msc:68T15

paper · pdf

published as Proc. Amer. Math. Soc. 130 (2002) 619-624 · 7 pages, to appear in Proc. Amer. Math. Soc. Version 2 includes additional remarks about the automated theorem prover OTTER

arxiv created 2000/08/30 · arxiv updated 2009/11/30

Abstract

An A-loop is a loop in which every inner mapping is an automorphism. We settle a problem which had been open since 1956 by showing that every diassociative A-loop is Moufang.

Related

• A Generalization of Moufang and Steiner Loops
• Moufang Theorem for a variety of local non-Moufang loops
• Half-isomorphisms of finite automorphic Moufang loops
• Steiner Loops Satisfying the Statement of Moufang's Theorem
• Moufang symmetry VIII. Reconstruction of Moufang loops