Code loops
type: Item
instance of: scholarly article
title: Code loops
zbMATH Open document ID: 0589.20051
DOI: 10.1016/0021-8693(86)90075-X
author: Robert L. jun. Griess
published in: Journal of Algebra
publication date: 1986-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 20N05
Mathematics Subject Classification ID: 94B25
Mathematics Subject Classification ID: 20D05
zbMATH DE Number: 3946473
zbMATH Keywords: doubly even binary codes
zbMATH Keywords: code loops
zbMATH Keywords: Moufang loops
zbMATH Keywords: factor sets
reviewed by: C. Pereira da Silva
MaRDI profile type: Publication
cites work: Q5515384
cites work: A construction of F 1 as automorphisms of a 196,883-dimensional algebra
cites work: The friendly giant
cites work: Combinatorial polarization
cites work: Sporadic groups, code loops and nonvanishing cohomology
full work available at URL: 0021-8693(86)90075-x
OpenAlex ID: W4205534171
description: scientific article; zbMATH DE number 3946473