Triple

Target class: positive-definite lattice
Context triple: [E8 lattice, instanceOf, positive-definite lattice]

• A. even unimodular lattice chosen
  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.
• B. 24-dimensional lattice
  A 24-dimensional lattice is a discrete, periodic arrangement of points in 24-dimensional Euclidean space generated by integer linear combinations of 24 independent basis vectors.
• C. invariant under root lattice translations up to sign
  A mathematical object (such as a function, form, or vector) that remains unchanged or changes only by an overall sign when its argument is shifted by any element of a given root lattice.
• D. quadratic form
  A quadratic form is a homogeneous polynomial of degree two in several variables, typically expressed as xᵀAx for a symmetric matrix A, that defines a scalar-valued function capturing curvature and geometric properties such as lengths, angles, and conic sections.
• E. quadratic character
  A quadratic character is a group homomorphism from a multiplicative group (often of a field or modulo n) to {±1} that indicates whether elements are quadratic residues or non-residues.
• F. None of above.