Mathematics – Group Theory
Scientific paper
2007-02-28
Comm. Algebra 37 (2009), no. 4, 1428-1444
Mathematics
Group Theory
13 pages, amsart
Scientific paper
The decomposition theorem for torsion abelian groups holds analogously for torsion commutative diassociative loops. With this theorem in mind, we investigate commutative diassociative loops satisfying the additional condition (trivially satisfied in the abelian group case) that all $n$th powers are central, for a fixed $n$. For $n=2$, we get precisely commutative $C$ loops. For $n=3$, a prominent variety is that of commutative Moufang loops. Many analogies between commutative C and Moufang loops have been noted in the literature, often obtained by interchanging the role of the primes 2 and 3. We show that the correct encompassing variety for these two classes of loops is the variety of commutative RIF loops. In particular, when $Q$ is a commutative RIF loop: all squares in $Q$ are Moufang elements, all cubes are $C$ elements, Moufang elements of $Q$ form a normal subloop $M_0(Q)$ such that $Q/M_0(Q)$ is a C loop of exponent 2 (a Steiner loop), C elements of $L$ form a normal subloop $C_0(Q)$ such that $Q/C_0(Q)$ is a Moufang loop of exponent 3. Since squares (resp. cubes) are central in commutative C (resp. Moufang) loops, it follows that $Q$ modulo its center is of exponent 6. Returning to the decomposition theorem, we find that every torsion, commutative RIF loop is a direct product of a C 2-loop, a Moufang 3-loop, and an abelian group with each element of order prime to 6. We also discuss Moufang elements, and a class of quasigroups associated with commutative RIF loops.
Kinyon Michael K.
Vojtěchovský Petr
No associations
LandOfFree
Primary decompositions in varieties of commutative diassociative loops does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Primary decompositions in varieties of commutative diassociative loops, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Primary decompositions in varieties of commutative diassociative loops will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-524938