Code loops are RA2 loops (Q909804)

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.