Congruence solvability in finite Moufang loops of order coprime to three

Abstract: We prove that a normal subloop

X

of a Moufang loop

Q

induces an abelian congruence of

Q

if and only if each inner mapping of

Q

restricts to an automorphism of

X

and

u (x y) = (u y) x

for all

x, y i n X

and

u i n Q

. The former condition can be omitted when

X

is

3

-divisible. This characterization is then used to show that classically solvable finite

3

-divisible Moufang loops are congruence solvable.

This page was built for publication: Congruence solvability in finite Moufang loops of order coprime to three