Commutative Moufang loops with finite conjugacy classes of subloops (Q1810306): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 05:46, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Commutative Moufang loops with finite conjugacy classes of subloops |
scientific article |
Statements
Commutative Moufang loops with finite conjugacy classes of subloops (English)
0 references
15 June 2003
0 references
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.
0 references
finiteness conditions
0 references
commutative Moufang loops
0 references
left translations
0 references
inner permutations
0 references
automorphisms
0 references
inner permutation groups
0 references
conjugacy classes
0 references
normal subloops
0 references
centres
0 references
descending chain condition
0 references