Ein Satz über Einbettungen und Automorphismen einfacher und zentral einfacher Algebren über einem Körper: Jeder k-Algebrenhomomorphismus einer einfachen Algebra in eine zentralsimple Algebra ist gegeben durch Konjugation mit einem invertierbaren Element der zentralsimplen Algebra; äquivalent ist jeder Automorphismus einer zentralsimplen Algebra innerlich.

Prinzip

Zentralsimple Algebren verhalten sich bis auf innere Konjugation wie Matrizenalgebren; die ordnende Idee ist, dass Einbettungen in eine zentralsimple Algebra wegen Einfachheit und Zentralität eindeutig bis auf innere Automorphismen sind.

Demonstration

Ist A eine zentralsimple Algebra über einem Körper k und B ≅ M_n(k) mit zwei k-Algebrenabbildungen φ und ψ in A eingebettet, liefert Skolem–Noether ein u ∈ A^× mit ψ(b)=u φ(b) u^{-1} für alle b∈B; konkret sind zwei Einbettungen einer Matrixunteralgebra durch ein invertierbares Element in A konjugiert.

Fehlanwendung

Die Schlussfolgerung auf nicht-zentrale oder nicht-einfache Algebren anwenden (z. B. Ringe mit nichttrivialen beidseitigen Idealen oder Algebren mit größerem Zentrum), oder die Aussage auf beliebige Ringhomomorphismen ausdehnen ohne die algebraischen Voraussetzungen zu prüfen.

Konsequenz

Gibt Kontrolle über Automorphismengruppen zentralsimpler Algebren (sie sind innerlich modulo des Zentrums) und stützt Klassifikationsresultate (z. B. Identifikation mit Matrizenalgebren nach Basiserweiterung und Aussagen zum Brauergruppenkontext).

Umkehrung

Die Umkehrung gilt nicht in nicht-zentralen oder nicht-einfachen Kontexten: Es können äußere Automorphismen oder nicht-konjugierte Einbettungen auftreten, wenn die Algebra ein nichttriviales Zentrum oder echte beidseitige Ideale hat.

Abgrenzung

Gilt für zentralsimple Algebren über einem Körper (endliche-dimensionale zentralsimple k-Algebren); nicht anwendbar auf allgemeine assoziative Algebren, Algebren über Ringe mit nichttrivialem Zentrum oder nichtassoziative Strukturen ohne zusätzliche Voraussetzungen.

Semantische Spannung

Steht nahe an der Unterscheidung zwischen inneren und äußeren Automorphismen: Skolem–Noether macht diese Unterscheidung im zentral-simplen Fall zunichte, muss aber von allgemeineren Automorphismenklassifikationen außerhalb dieses Rahmens unterschieden werden.

Synthese

Der Skolem–Noether-Satz besagt, dass Einbettungen und Automorphismen zentralsimpler Algebren durch Konjugation innerhalb der Algebra realisiert werden: Zentralität und Einfachheit erzwingen die Einzigkeit von Einbettungen bis auf innere Konjugation und identifizieren Automorphismengruppen mit inneren Konjugationen.