Normales torisches Monoid/Rational-polyedrisch/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Lemma von Gordan
  1. Es sei ein normales endlich erzeugtes Monoid und der zugehörige rationale Kegel. Dann ist , wobei das Differenzengitter zu ist.
  2. Wenn umgekehrt eine endlich erzeugte Untergruppe und ein endlich erzeugter rationaler Kegel ist, so ist der Durchschnitt ein normales endlich erzeugtes Monoid.