COMMUTATIVE AUTOMORPHIC LOOPS OF ORDER p³

Abstract: A loop is said to be automorphic if its inner mappings are automorphisms. For a prime

p

, denote by

m a t h c a l A_{p}

the class of all

2

-generated commutative automorphic loops

Q

possessing a central subloop

Z c o n g m a t h b b Z_{p}

such that

Q / Z c o n g m a t h b b Z_{p} i m e s m a t h b b Z_{p}

. Upon describing the free

2

-generated nilpotent class two commutative automorphic loop and the free

2

-generated nilpotent class two commutative automorphic

p

-loop

F_{p}

in the variety of loops whose elements have order dividing

p^{2}

and whose associators have order dividing

p

, we show that every loop of

m a t h c a l A_{p}

is a quotient of

F_{p}

by a central subloop of order

p^{3}

. The automorphism group of

F_{p}

induces an action of

G L_{2} (p)

on the three-dimensional subspaces of

Z (F_{p}) c o n g (m a t h b b Z_{p})^{4}

. The orbits of this action are in one-to-one correspondence with the isomorphism classes of loops from

m a t h c a l A_{p}

. We describe the orbits, and hence we classify the loops of

m a t h c a l A_{p}

up to isomorphism. It is known that every commutative automorphic

p

-loop is nilpotent when

p

is odd, and that there is a unique commutative automorphic loop of order

8

with trivial center. Knowing

m a t h c a l A_{p}

up to isomorphism, we easily obtain a classification of commutative automorphic loops of order

p^{3}

. There are precisely

7

commutative automorphic loops of order

p^{3}

for every prime

p

, including the

3

abelian groups of order

p^{3}

.

Cites Work

Cited In (9)

This page was built for publication: COMMUTATIVE AUTOMORPHIC LOOPS OF ORDER p³

COMMUTATIVE AUTOMORPHIC LOOPS OF ORDER p3