Article
Keywords:
dihedral automorphic loop; automorphic loop; inner mapping group; multiplication group; nucleus; commutant; center; commutator; associator subloop; derived subloop
Summary:
Automorphic loops are loops in which all inner mappings are automorphisms. We study a generalization of the dihedral construction for groups. Namely, if $(G,+)$ is an abelian group, $m\geq 1$ and $\alpha \in \operatorname{Aut}(G)$, let $\operatorname{Dih} (m,G,\alpha )$ be defined on $\mathbb Z_m\times G$ by \begin{equation*} (i,u)(j,v) = (i\oplus j,\,((-1)^{j}u + v)\alpha^{ij}). \end{equation*} The resulting loop is automorphic if and only if $m=2$ or ($\alpha^2=1$ and $m$ is even). The case $m=2$ was introduced by Kinyon, Kunen, Phillips, and Vojtěchovský. We present several structural results about the automorphic dihedral loops in both cases.
References:
[1] Kinyon M.K., Kunen K., Phillips J.D., Vojtěchovský P.:
The structure of automorphic loops. to appear in Transactions of the American Mathematical Society.
MR 2302693
[7] Aboras M.: Dihedral-like constructions of automorphic loops. Thesis, in preparation.