Code loops

DOI10.1016/0021-8693(86)90075-XMaRDI QIDQ1073922zbMATH OpenOpenAlexFDO

Authors Robert L. jun. Griess

Publication date 1986

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

Full work available at URL https://doi.org/10.1016/0021-8693(86)90075-x

zbMATH Keywords

code loopsdoubly even binary codesfactor setsMoufang loops

Mathematics Subject Classification ID

Finite simple groups and their classification (20D05) Loops, quasigroups (20N05) Combinatorial codes (94B25)

Review text

Recall the definitions: 1) Let \(V\) be a subspace of \(P(\Omega)\), the power set of a finite set \(\Omega\) regarded as a vector space over \(F_ 2\). We say that \(V\) is doubly even if \(A\in V\) implies \(| A| \equiv 0\pmod 4\). 2) Given a doubly even binary code of order \(2^ n\), we define a code loop as a certain Moufang loop of order \(2^{n+1}\). 3) Let \(V\leq P(\Omega)\) be doubly even. A factor set is a function \(\phi\colon V\times V\to F_ 2\) such that (S) \(\phi(x,x)=1/4| x|\); (C) \(\phi(x,y)+\phi(y,x)=1/2| x\cap y|\); (A) \(\phi(x,y)+\phi(y,z)+\phi(x+y,z)+\phi(x,y+z)=| x\cap y\cap z|\), for all \(x,y,z\in V\). The main result of this paper is the theorem: Given a doubly even subspace \(V\leq P(\Omega)\), a factor set exists. In fact, if \(n=\dim V\), there are \(2^{2^ n-n-1}\) of them. Any two are equivalent.

Recommendations

• Code loops and even codes over \({\mathbb{F}}_ 4\)
• Code loops in dimension at most \(8\)
• Direct construction of code loops.
• scientific article; zbMATH DE number 5994924
• Explicit constructions of code loops as centrally twisted products

Cites work

• A construction of F ₁ as automorphisms of a 196,883-dimensional algebra
• Combinatorial polarization
• scientific article; zbMATH DE number 3227065 (Why is no real title available?)
• Sporadic groups, code loops and nonvanishing cohomology
• The friendly giant

Cited in

(37)

• Sporadic groups, code loops and nonvanishing cohomology
• Code loops and even codes over \({\mathbb{F}}_ 4\)
• The octonions as a twisted group algebra
• Oriented Steiner loops.
• The Moufang loops of order 64 and 81.
• Moufang loops that share associator and three quarters of their multiplication tables.
• A Moufang loop, the exceptional Jordan algebra, and a cubic form in 27 variables
• Half-isomorphisms of Finite Automorphic Moufang Loops
• On two cryptographic identities in universal Osborn loops
• Autotopisms and isotopisms of trilinear alternating forms
• On three cryptographic identities in left universal Osborn loops.
• scientific article; zbMATH DE number 5994924 (Why is no real title available?)
• Buchsteiner loops and conjugacy closedness.
• scientific article; zbMATH DE number 2061611 (Why is no real title available?)
• Orthogonal decompositions and canonical embeddings of multilinear alternating forms
• Variety of loops generated by code loops
• Half-Automorphisms of Cayley–Dickson Loops
• scientific article; zbMATH DE number 1863274 (Why is no real title available?)
• Loop codes
• Local Subgroups of the Monster and Odd Code Loops
• Loop algebras of code loops
• Code loops in dimension at most \(8\)
• (Re)constructing code loops
• Extensions of groups by weighted Steiner loops.
• A family of double loops
• On abelian-by-cyclic Moufang loops
• A series of algebras generalizing the octonions and Hurwitz-Radon identity
• New solutions to the Hurwitz problem on square identities
• Supernilpotent groups and 3-supernilpotent loops
• An extension formula for right Bol loops arising from Bol reflections
• Half-automorphisms of some code loops
• The half-automorphism group of code loops
• On extraspecial left conjugacy closed loops.
• Moufang loops with a unique nonidentity commutator (associator, square)
• Code loops are RA2 loops
• Code loops in both parities
• Direct construction of code loops.

This page was built for publication: Code loops

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