Kommutative Algebra/Automorphismen/Elementare Eigenschaften/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring und eine kommutative -Algebra. Dann gelten folgende Aussagen.

  1. Die Identität ist ein -Algebraautomorphismus.
  2. Die Verknüpfung von zwei -Algebraautomorphismen und ist wieder ein Automorphismus.
  3. Die Umkehrabbildung zu einem -Algebraautomorphismus ist wieder ein Automorphismus.
  4. Die Menge der -Algebraautomorphismen bilden mit der Hintereinanderschaltung als Verknüpfung eine Gruppe.
Einen Beweis erstellen