Abstract

We combine techniques used by Lyndon [4] in showing that the identities of a nilpotent group are finitely based with some related ideas of Higman [3] and the results of Bruck [I] on the structure of commutative Moufang loops to prove the following properties of a finitely generated commutative Moufang loop: (i) its identities are finitely based, (ii) it can be finitely presented, (iii) it is residually finite, and (iv) it has a solvable word problem.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call