Griess algebra
E656676
The Griess algebra is a 196,884-dimensional commutative nonassociative algebra over the real numbers whose automorphism group is the Monster, providing a concrete algebraic realization of this largest sporadic simple group.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Griess algebra canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T7338400 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: Griess algebra Context triple: [Monster group, constructionMethod, Griess algebra]
-
A.
Rota–Baxter algebra
A Rota–Baxter algebra is an associative algebra equipped with a linear operator satisfying a specific integration-like identity that generalizes the properties of integral and summation operators in algebraic form.
-
B.
Eilenberg–Zilber theorem
The Eilenberg–Zilber theorem is a fundamental result in algebraic topology that establishes a chain homotopy equivalence between the singular chain complex of a product space and the tensor product of the singular chain complexes of the factors.
-
C.
Lie algebras
Lie algebras are algebraic structures used to study continuous symmetries, especially those arising from Lie groups, via a linearized, infinitesimal perspective.
-
D.
The Poincaré-Birkhoff-Witt theorem in ring theory
"The Poincaré-Birkhoff-Witt theorem in ring theory" is a mathematical work, attributed here to N. G. de Bruijn, that studies and applies the Poincaré–Birkhoff–Witt theorem in the context of associative and Lie-theoretic ring structures.
-
E.
Weyl algebra
The Weyl algebra is a fundamental noncommutative algebra generated by position and momentum operators satisfying canonical commutation relations, central in quantum mechanics and representation theory.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Griess algebra Target entity description: The Griess algebra is a 196,884-dimensional commutative nonassociative algebra over the real numbers whose automorphism group is the Monster, providing a concrete algebraic realization of this largest sporadic simple group.
-
A.
Rota–Baxter algebra
A Rota–Baxter algebra is an associative algebra equipped with a linear operator satisfying a specific integration-like identity that generalizes the properties of integral and summation operators in algebraic form.
-
B.
Eilenberg–Zilber theorem
The Eilenberg–Zilber theorem is a fundamental result in algebraic topology that establishes a chain homotopy equivalence between the singular chain complex of a product space and the tensor product of the singular chain complexes of the factors.
-
C.
Lie algebras
Lie algebras are algebraic structures used to study continuous symmetries, especially those arising from Lie groups, via a linearized, infinitesimal perspective.
-
D.
The Poincaré-Birkhoff-Witt theorem in ring theory
"The Poincaré-Birkhoff-Witt theorem in ring theory" is a mathematical work, attributed here to N. G. de Bruijn, that studies and applies the Poincaré–Birkhoff–Witt theorem in the context of associative and Lie-theoretic ring structures.
-
E.
Weyl algebra
The Weyl algebra is a fundamental noncommutative algebra generated by position and momentum operators satisfying canonical commutation relations, central in quantum mechanics and representation theory.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
commutative algebra
ⓘ
finite-dimensional algebra ⓘ nonassociative algebra ⓘ real algebra ⓘ |
| alsoKnownAs | Monster algebra NERFINISHED ⓘ |
| arisesFrom | representation theory of the Monster group ⓘ |
| basisDimension | 196884 ⓘ |
| constructedBy | Robert L. Griess Jr. NERFINISHED ⓘ |
| containsSubrepresentation |
196883-dimensional irreducible representation of the Monster group
ⓘ
trivial representation of the Monster group ⓘ |
| decompositionUnderMonster | 1 ⊕ 196883 ⓘ |
| definedOver | real numbers ⓘ |
| dimension | 196884 ⓘ |
| fieldCharacteristic | 0 ⓘ |
| hasAutomorphismGroup | Monster group NERFINISHED ⓘ |
| hasAutomorphismGroupProperty | largest sporadic simple group ⓘ |
| hasIdentityElement | yes ⓘ |
| hasInvariantBilinearForm | yes ⓘ |
| hasProductDefinedBy | Monster-invariant bilinear form and projection rules ⓘ |
| hasProperty |
commutative multiplication
ⓘ
nonassociative multiplication ⓘ nonunital as originally defined (idempotent replaces identity) ⓘ |
| hasRank | 196884 as a real vector space ⓘ |
| hasZeroDivisors | yes ⓘ |
| isExampleOf | commutative nonassociative algebra with simple automorphism group ⓘ |
| isNot |
Jordan algebra
ⓘ
Lie algebra ⓘ associative algebra ⓘ |
| namedAfter | Robert L. Griess Jr. NERFINISHED ⓘ |
| providesConcreteRealizationOf | Monster group NERFINISHED ⓘ |
| realizesAsAutomorphismGroup | Monster group NERFINISHED ⓘ |
| relatedConcept |
Fischer–Griess Monster
NERFINISHED
ⓘ
Monster vertex operator algebra NERFINISHED ⓘ |
| relatedTo |
Monster group
NERFINISHED
ⓘ
Monstrous moonshine NERFINISHED ⓘ finite simple groups ⓘ moonshine module ⓘ sporadic simple groups NERFINISHED ⓘ vertex operator algebras ⓘ |
| studiedIn |
algebra
ⓘ
finite group theory ⓘ moonshine theory NERFINISHED ⓘ representation theory ⓘ |
| usedIn | construction of the Monster group ⓘ |
| usedToShow | existence of the Monster group ⓘ |
| yearOfConstruction | 1980 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: Griess algebra Description of subject: The Griess algebra is a 196,884-dimensional commutative nonassociative algebra over the real numbers whose automorphism group is the Monster, providing a concrete algebraic realization of this largest sporadic simple group.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.