Rational lattice

Dual of a rational lattice

Let be a Rational lattice with basis The dual of is the set #m/def/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 .

#state/develop | #lang/en | #SemBr