Kommutative Hopf-Algebra/L-Punkte/Ist Gruppe/Fakt/Beweis
Beweis
(1) folgt unmittelbar aus der Kommutativität der entsprechenden Diagramme für die Hopf-Algebra. (2) folgt aus (1) und aus
wobei die mittlere Gleichung auf Fakt beruht.
(1) folgt unmittelbar aus der Kommutativität der entsprechenden Diagramme für die Hopf-Algebra. (2) folgt aus (1) und aus
wobei die mittlere Gleichung auf Fakt beruht.