Construction of groups with triality and their corresponding code loops

Abstract: We generalize the global construction of code loops introduced by Nagy, which is based on the connection between Moufang loops and groups with triality. This follows from the construction of a nilpotent group $G_n$ of class 3 with triality and $2n$ generators, based on embeddings of $G_n$ into direct products of copies of $G_3$. In the finite case, where $G_n$ is a group such that $|G_n| = 2^{4n+m}$ with $n \ge 3$ and $m = 3 {n \choose 2} + 2 {n \choose 3}$, we prove that the corresponding Moufang loop is the free loop $F_n$ with $n$ generators in the variety generated by code loops. The result depends on a construction similar to that of $G_n$, namely, embedding $F_n$ into direct products of copies of $F_3$, the free code loop associated with $G_3$.