Code loops in dimension at most 8

DOI10.1016/J.JALGEBRA.2016.11.006MaRDI QIDQ502738zbMATH OpenOpenAlexFDO

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

Publication date 6 January 2017

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1712.06524

zbMATH Keywords

code loopdoubly even codegeneral linear groupMonster groupMoufang loopsporadic grouptrilinear alternating form

Mathematics Subject Classification ID

Multilinear algebra, tensor calculus (15A69) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Simple groups: sporadic groups (20D08) Loops, quasigroups (20N05) Combinatorial codes (94B25)

Abstract: 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 precisely, code loops are central extensions of the group of order $2$ by an elementary abelian $2$-group $V$ in the variety of loops such that their squaring map, commutator map and associator map are related by combinatorial polarization and the associator map is a trilinear alternating form. Using existing classifications of trilinear alternating forms over the field of $2$ elements, we enumerate code loops of dimension $d=mathrmdim(V)le8$ (equivalently, of order $2^{d+1}le512$) up to isomorphism. There are $767$ code loops of order $128$, and $80826$ of order $256$, and $937791557$ of order $512$.

Recommendations

• Explicit constructions of code loops as centrally twisted products
• Direct construction of code loops.
• (Re)constructing code loops
• scientific article; zbMATH DE number 878927
• Sporadic groups, code loops and nonvanishing cohomology

Cites work

• A MILLENNIUM PROJECT: CONSTRUCTING SMALL GROUPS
• A Moufang loop, the exceptional Jordan algebra, and a cubic form in 27 variables
• A simple construction for the Fischer-Griess monster group
• Classification of 8-dimensional trilinear alternating forms over \(\mathrm{GF}(2)\)
• Code loops
• Code loops in both parities
• Combinatorial polarization
• CONSTRUCTING AUTOMORPHISM GROUPS OF p-GROUPS
• Direct construction of code loops.
• Explicit constructions of code loops as centrally twisted products
• scientific article; zbMATH DE number 3132783 (Why is no real title available?)
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 108350 (Why is no real title available?)
• scientific article; zbMATH DE number 589481 (Why is no real title available?)
• scientific article; zbMATH DE number 2061611 (Why is no real title available?)
• scientific article; zbMATH DE number 1370593 (Why is no real title available?)
• scientific article; zbMATH DE number 1440281 (Why is no real title available?)
• Local Subgroups of the Monster and Odd Code Loops
• Moufang loops of class 2 and cubic forms
• Moufang loops of small order
• Moufang loops that share associator and three quarters of their multiplication tables.
• Moufang loops with a unique nonidentity commutator (associator, square)
• Moufang loops with commuting inner mappings.
• Nilpotence of finite Moufang 2-loops
• On loops of odd order. II
• The Magma algebra system. I: The user language
• The Moufang loops of order 64 and 81.
• Trilinear alternating forms on a vector space of dimension 7
• Zur Struktur von Alternativkörpern

Cited in

(15)

• Code loops
• Sporadic groups, code loops and nonvanishing cohomology
• Relations among certain classes of incidence loops, codes and chain structures.
• Combinatorial polarization, code loops, and codes of high level
• Classification of 9-dimensional trilinear alternating forms over \(\mathrm{GF}(2)\)
• scientific article; zbMATH DE number 1118049 (Why is no real title available?)
• scientific article; zbMATH DE number 2061611 (Why is no real title available?)
• Variety of loops generated by code loops
• scientific article; zbMATH DE number 878927 (Why is no real title available?)
• Explicit constructions of code loops as centrally twisted products
• (Re)constructing code loops
• On abelian-by-cyclic Moufang loops
• Supernilpotent groups and 3-supernilpotent loops
• Code loops in both parities
• Direct construction of code loops.

Describes a project that uses

Uses Software

• GAP
• Magma

This page was built for publication: Code loops in dimension at most \(8\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q502738)