arXiv subjects
Publications and source records attributed to Dylene Agda Souza de Barros.
For any code loop $L$, we prove that the half-automorphism group of $L$ is the product of the automorphism group of $L$ by an elementary abelian $2-$group consisting of all half-automorphisms that acts as the identity on a fixed basis. Also, we prove that elementary mappings only can be a half-automorphism on code loops of rank at most $3$.
A Bol loop is a loop that satisfies the Bol identity $(xy.z)y=x(yz.y)$. If $L$ is a loop and $f:L\to L$ is a bijection such that $f(xy)\in\{f(x)f(y),f(y)f(x)\}$, for every $x$, $y\in L$, then $f$ is called a half-automorphism of $L$. In this paper, we describe the half-automorphism group of a class of Bol loops of order $4m$.
A loop is said to be automorphic if its inner mappings are automorphisms. For a prime $p$, denote by $\mathcal A_p$ the class of all $2$-generated commutative automorphic loops $Q$ possessing a central subloop $Z\cong \mathbb Z_p$ such that $Q/Z\cong\mathbb Z_p\times\mathbb Z_p$. Upon describing the free $2$-generated nilpotent class two commutative automorphic loop and the free $2$-generated nilpotent class two commutative automorphic $p$-loop $F_p$ in the variety of loops whose elements have order dividing $p^2$ and whose associators have order dividing $p$, we show that every loop of $\mathcal A_p$ is a quotient of $F_p$ by a central subloop of order $p^3$. The automorphism group of $F_p$ induces an action of $GL_2(p)$ on the three-dimensional subspaces of $Z(F_p)\cong (\mathbb Z_p)^4$. The orbits of this action are in one-to-one correspondence with the isomorphism classes of loops from $\mathcal A_p$. We describe the orbits, and hence we classify the loops of $\mathcal A_p$ up to isomorphism. It is known that every commutative automorphic $p$-loop is nilpotent when $p$ is odd, and that there is a unique commutative automorphic loop of order $8$ with trivial center. Knowing $\mathcal A_p$ up to isomorphism, we easily obtain a classification of commutative automorphic loops of order $p^3$. There are precisely $7$ commutative automorphic loops of order $p^3$ for every prime $p$, including the $3$ abelian groups of order $p^3$.
A loop is automorphic if all its inner mappings are automorphisms. We construct the free commutative automorphic $2$-generated loop of nilpotency class $3$. It has dimension $8$ over the integers.