On the Derivatives of Central Loops

Jaiyeola, Temitope Gbolahan; Adeniran, John Olushola

On the Derivatives of Central Loops

Authors

Description

The right(left) derivative, $a^{-1},e-$ and $e,a^{-1}-$ isotopes of a C-loop are shown to be C-loops. Furthermore, for a central loop $(L,F)$, it is shown that $\big\{F,F^{a^{-1}},F_{a^{-1},e}\big\}$ and $\big\{F,F_{a^{-1}},F_{e,a^{-1}}\big\}$ are systems of isotopic C-loops that obey a form of generalized distributive law. Quasigroup isotopes $(L,\otimes)$ and $(L,\ominus)$ of a loop $(L,θ)$ and its parastrophe $(L,θ^*)$ respectively are proved to be isotopic if either $(L,\otimes)$ or $(L,\ominus )$ is commutative. If $(L,θ)$ is a C-loop, then it is shown that $\big\{(L,θ),(L,θ^*),(L,\otimes),(L,\oplus)\big\}$ is a system of isotopic C-quasigroup under the above mentioned condition. It is shown that C-loops are isotopic to some finite indecomposable groups of the classes ${\cal D}_i,i=1,2,3,4,5$ and that the center of such C-loops have a rank of 1,2 or 3.