Code loops are RA2 loops
The authors prove that a nonassociative Moufang loop with a unique nonidentity square must, in fact, have an alternative loop ring over any ring of characteristic two. So, the main result of the paper is the Theorem: If L is a nonassociative Moufang loop with a unique nonidentity square, e, then L is an RA2 loop. An RA2 loop is a nonassociative loop whose loop ring over some ring of characteristic two is alternative.
scientific article; zbMATH DE number 4138057