Moufang Loops and Groups with Triality are Essentially the Same Thing

Abstract

In 1925 Élie Cartan introduced the principal of triality specifically for the Lie groups of type D 4 D_4 , and in 1935 Ruth Moufang initiated the study of Moufang loops. The observation of the title was made by Stephen Doro in 1978 who was in turn motivated by work of George Glauberman from 1968. Here we make the statement precise in a categorical context. In fact the most obvious categories of Moufang loops and groups with triality are not equivalent, hence the need for the word “essentially.”