Normales torisches Monoid/Rational-polyedrisch/Fakt
Lemma von Gordan
- Es sei ein normales endlich erzeugtes Monoid und der zugehörige rationale Kegel. Dann ist , wobei das Differenzengitter zu ist.
- Wenn umgekehrt eine endlich erzeugte Untergruppe und ein endlich erzeugter rationaler Kegel ist, so ist der Durchschnitt ein normales endlich erzeugtes Monoid.