Commutative Moufang loops with finite conjugacy classes of subloops (Q1810306)

Let \((Q,\cdot)\) be a commutative Moufang loop (briefly CML); for all \(x\in Q\) let \(L(x)\colon Q\to Q\) be the left translation by \(x\): \(q\mapsto xq\); then \(L(x)\in\text{Sym }Q\), the permutation group of \(Q\); also, for any \(x,y\in Q\), let \(L(x,y):=L^{-1}(xy)L(x)L(y)\) be the so-called inner permutation. It is known that in a CML the inner permutations are automorphisms of \((Q,\cdot)\) and generate the group \(I(Q)\) called inner permutation group. For any subloop \(H\) of \((Q,\cdot)\), let \(I(Q)(H):=\{\phi(H)\mid\phi\in I(Q)\}\) denote the conjugacy class of \(H\). We shall say that \(H\) is a normal subloop if it is self-conjugate, i.e. \(I(Q)(H)=H\). In a CML \((Q,\cdot)\), the centre \(Z(Q):=\{x\in Q\mid(x,y,z)=1\;\forall y,z\in Q\}\) -- with \((x,y,z)\) denoting the associator of \(x,y\) and \(z\), defined by the equality \((xy)z=(x(yz))(x,y,z)\) -- is always a normal subloop. In this paper, after investigating some interesting properties of a CML satisfying the descending chain condition, the author proves his main theorem stating that, in a CML \((Q,\cdot)\), the following conditions are equivalent: (1) the loop \(Q\) is finite over the centre \(Z(Q)\); (2) every subloop of the CML \(Q\) defines a finite conjugacy class of subloops; (3) every associative subloop of the CML \(Q\) defines a finite conjugacy class of subloops; (4) every infinite associative subloop of the CML \(Q\) defines a finite conjugacy class of subloops. -- As a corollary, he also obtains a characterization of a particular class of CML.