Code loops in dimension at most 8

E. A. O'Brien, Petr Vojtěchovský

Code loops are certain Moufang $2$-loops constructed from doubly even binary codes that play an important role in the construction of local subgroups of sporadic groups. More preci…