Classification Of Moufang Loops Of Odd Order

The Moufang identity (x · y) · (z · x) = [x · (y · z)] · x was first introduced by Ruth Moufang in 1935. Now, a loop that satisfies the Moufang identity is called a Moufang loop. Our interest is to study the question: “For a positive integer n, must every Moufang loop of order n be associativ...

Full description

Saved in:
Bibliographic Details
Main Author: Chee , Wing Loon
Format: Thesis
Language:English
Published: 2010
Subjects:
Online Access:http://eprints.usm.my/42915/1/Chee_Wing_Loon24.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The Moufang identity (x · y) · (z · x) = [x · (y · z)] · x was first introduced by Ruth Moufang in 1935. Now, a loop that satisfies the Moufang identity is called a Moufang loop. Our interest is to study the question: “For a positive integer n, must every Moufang loop of order n be associative?”. If not, can we construct a nonassociative Moufang loop of order n? These questions have been studied by handling Moufang loops of even and odd order separately. For even order, Chein (1974) constructed a class of nonassociative Moufang loop, M(G, 2) of order 2m where G is a nonabelian group of order m. Following that, Chein and Rajah (2000) have proved that all Moufang loops of order 2m are associative if and only if all groups of order m are abelian.