Satz von Skolem-Noether
# Satz von Skolem-Noether

In der Ringtheorie charakterisiert der Satz von Skolem-Noether die Automorphismen einfacher Ringe. Er ist ein grundlegendes Resultat in der Theorie der zentralen einfachen Algebren.

Das Theorem wurde zuerst von Thoralf Skolem im Jahre 1927 in seiner Arbeit Zur Theorie der assoziativen Zahlensysteme veröffentlicht und später von Emmy Noether wiederentdeckt.

## Behauptung

Seien $A$ und $B$ einfache Ringe und $k$ das Zentrum von $B$. Man beachte, dass $k$ ein Körper ist. Weiter wird angenommen, dass die Dimension von $B$ über $k$ endlich ist und dass $A$ eine $k$-Algebra ist.

Sei also $B$ eine zentrale einfache endlichdimensionale Algebra, auch Azumaya-Algebra genannt. Außerdem gebe es $k$-Algebrenhomomorphismen $f,g\colon A\rightarrow B$.

Dann existiert eine Einheit $b\in B$, sodass:

    $\forall a\in A\colon g(a)=bf(a)b^{-1}$

Insbesondere ist jeder Automorphismus einer zentralen einfachen $k$-Algebra ein innerer Automorphismus.

## Beweis

Sei $B=M_{n}(k)=End_{k}(k^{n})$. Dann definieren $f$ und $g$ Aktionen von $A$ auf $k^{n}$. $V_{f},V_{g}$ bezeichnen die hieraus erhaltenen $A$-Moduln. Zwei beliebige einfache $A$-Moduln sind isomorph und $V_{f},V_{g}$ sind direkte Summen von einfachen $A$-Moduln. Da diese dieselbe Dimension haben, folgt, dass es einen Isomorphismus $b\colon V_{g}\rightarrow V_{f}$ von $A$-Moduln gibt. Aber so ein $b$ muss in $M_{n}(k)=B$ liegen. Für den allgemeinen Fall gilt, dass $B\otimes B^{op}$ eine Matrixalgebra ist und daher mit dem ersten Teil diese Algebra ein Element $b$ beinhaltet, sodass:

    $\forall a\in A,~\forall z\in B^{op}\colon (f\otimes 1)(a\otimes z)=b(g\otimes 1)(a\otimes z)b^{-1}$

Mit $a=1$ erhalten wir

    $\forall z\in B^{op}\colon 1\otimes z=b(1\otimes z)b^{-1}$.

Es gilt $b\in Z_{B\otimes B^{op}}(k\otimes B^{op})=B\otimes k$, wobei $Z$ den Zentralisator bezeichne, also können wir $b=b'\otimes 1$ schreiben. Mit $z=1$ ergibt sich

    $f(a)=b'g(a)b'^{-1}$,

was zu zeigen war.

