even unimodular lattice
C22011
concept
An even unimodular lattice is a free abelian group of finite rank equipped with a positive-definite symmetric bilinear form whose Gram matrix has determinant 1 and for which the squared length of every lattice vector is an even integer.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| integral lattice | 1 |
| positive-definite lattice | 1 |
Instances (3)
| Instance | Via concept surface |
|---|---|
| Leech lattice | — |
|
John Leech
surface form:
Leech lattice
|
— |
| E8 lattice | — |