BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Dylene Agda Souza de Barros contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.