Classical lattice

Covolume of a classical lattice

Let be a complete classical lattice. The covolume of is the measure of the Fundamental domain, #m/def/geo or equivalently

where is an induced measure.

Properties

  1. Suppose is a complete sublattice. Then .
Proof

#missing/proof

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