= Gordan lemma
{c}
The lattice points of a rational polyhedral cone form a finitely generated additive monoid. Choose lattice generators for the cone. Subtracting integer parts of nonnegative coefficients leaves a lattice point in their bounded fundamental parallelepiped; its finitely many lattice points, together with the chosen generators, generate the monoid. This supplies finite generation of the <coordinate ring of an affine toric variety>.
// Target: geometry-and-topology.bigb
Back to article page
