Kommutative Ringtheorie/Charakteristik/Positiv/Frobenius/Algebra/Aufgabe

Aus Wikiversity

Es sei ein kommutativer Ring, der einen Körper der positiven Charakteristik enthalte, und es sei eine -Algebra. Zeige, dass ein kommutatives Diagramm

vorliegt, wobei den Frobeniushomomorphismus

bezeichnet.