Every diassociative A-loop is Moufang
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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.
7 pages, to appear in Proc. Amer. Math. Soc. Version 2 includes additional remarks about the automated theorem prover OTTER
7 pages, to appear in Proc. Amer. Math. Soc. Version 2 includes additional remarks about the automated theorem prover OTTER