Every diassociative A-loop is Moufang

dc.creatorKinyon, Michael K.
dc.creatorKunen, Kenneth
dc.creatorPhillips, J. D.
dc.date2000-07-31
dc.date2000-08-30
dc.date.accessioned2026-07-07T04:36:36Z
dc.date.available2026-07-07T04:36:36Z
dc.descriptionAn 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.
dc.description7 pages, to appear in Proc. Amer. Math. Soc. Version 2 includes additional remarks about the automated theorem prover OTTER
dc.identifierhttps://arxiv.org/abs/math/0007195
dc.identifierhttp://arxiv.org/abs/math/0007195
dc.identifierProc. Amer. Math. Soc. 130 (2002) 619-624
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/59653
dc.subjectGroup Theory
dc.subject20N05; 68T15
dc.titleEvery diassociative A-loop is Moufang
dc.typetext

Files

Collections