Every diassociative A-loop is Moufang
群论
2007-05-23 v2
摘要
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.
引用
@article{arxiv.math/0007195,
title = {Every diassociative A-loop is Moufang},
author = {Michael K. Kinyon and Kenneth Kunen and J. D. Phillips},
journal= {arXiv preprint arXiv:math/0007195},
year = {2007}
}
备注
7 pages, to appear in Proc. Amer. Math. Soc. Version 2 includes additional remarks about the automated theorem prover OTTER