Nächste Seite: Derivationen und Differentiale Aufwärts: DLOGs in der Untergruppe Vorherige Seite: Überblick über das Verfahren Inhalt
Im folgenden werden zuerst weitere notwendige Definitionen gebracht,
um den Monomorphismus 
definieren zu können und wichtige in den
Beweisen verwendete Begriffe in Erinnerung zu rufen, im nächsten Teil
folgen dann Beweise zur Existenz und zur Komplexität der Berechnung.