Rational lattice

Dual of a rational lattice

Let be a Rational lattice with basis The dual of is the set geo

which is a rational lattice iff is nondegenerate, in which case the dual basis is defined by

is called self-dual iff .

Properties

  1. Let be a nondegenerate lattice with Gram matrix . The Gram matrix of is .


develop | en | sembr