Aim of the talk: Generalize the previous talk by dropping the normality requirement. What does this imply for the cone?
Details: Repeat an example of a normal affine variety from a cone and then remove points from the semigroup such that the semigroup property is preserved. Do an example where the resulting semigroup becomes infinitely generated. This motivates the notion of a saturated semigroup. Explain the example to motivate the notion of semigroups that generate .
Give the examples [Cox, Ex 1.12, 1.13, 1.15]. State [KKMSD73, Theorem 2] (without proof). The contents should cover I,§1 Definitions 1 and 2, Proposition 1, Lemma 1 and Theorem 1 of [KKMSD73]. We want to use the notation of [CLS11] and here we need to cover 1.1, especially Thm 1.1.17.