# Graduierte Algebren/D/Charaktere und ihre homogenen Automorphismen/Textabschnitt
## Lemma

Es sei $K$ ein Körper, $D$ eine kommutative Gruppe und $A$ eine $D$-graduierte kommutative $K$-Algebra.
Dann gibt es einen Gruppenhomomorphismus
der Charaktergruppe von $D$ in die (homogene) $K$-Automorphismengruppe von $A$.
Wenn alle $A_{d}\neq 0$ sind, so ist diese Zuordnung injektiv.

### Beweis

Zu jedem Charakter
    $\chi \colon D\longrightarrow K^{\times }$
$\varphi _{\chi }{\left(\sum _{d\in D}a_{d}\right)}=\sum _{d\in D}\chi (d)\cdot a_{d}$ definierte Abbildung $\varphi _{\chi }$ mit der Addition verträglich. Die Verträglichkeit mit der Multiplikation folgt für homogene Elemente $a_{d}\in A_{d}$ und $a_{e}\in A_{e}$ aus
    $\varphi _{\chi }(a_{d}\cdot a_{e})=\chi (d+e)a_{d}\cdot a_{e}=\chi (d)\cdot \chi (e)a_{d}\cdot a_{e}=\varphi _{\chi }(a_{d})\cdot \varphi _{\chi }(a_{e})\,,$
woraus sich aufgrund des Distributivgesetzes auch der allgemeine Fall ergibt. Für $a\in A_{0}$ (und insbesondere für $a\in K$) ist ferner $\varphi _{\chi }(a)=\chi (0)a=a$, sodass ein $K$-Algebrahomomorphismus vorliegt. Der triviale (konstante) Charakter geht bei dieser Zuordnung auf die Identität. Es seien nun zwei Charaktere $\chi _{1},\chi _{2}\in \operatorname {Char} \,(D,K)$ gegeben. Für ein homogenes Element $a_{d}\in A_{d}$ ist
    ${\begin{aligned}\varphi _{\chi _{1}\cdot \chi _{2}}(a_{d})&={\left(\chi _{1}\cdot \chi _{2}\right)}(d)\cdot a_{d}\\&=\chi _{1}(d)\cdot \chi _{2}(d)\cdot a_{d}\\&=\chi _{1}(d)\cdot \varphi _{\chi _{2}}(a_{d})\\&=\varphi _{\chi _{1}}{\left(\varphi _{\chi _{2}}(a_{d})\right)}\\&={\left(\varphi _{\chi _{1}}\circ \varphi _{\chi _{2}}\right)}(a_{d}),\end{aligned}}$
sodass die Gesamtzuordnung mit den Verknüpfungen verträglich ist. Daher gilt auch
    $\varphi _{\chi }\circ \varphi _{\chi ^{-1}}=\varphi _{\chi \circ \chi ^{-1}}=\varphi _{1}=\operatorname {Id} _{A}\,,$
sodass jedes $\varphi _{\chi }$ ein $K$-Algebraautomorphismus und die Gesamtzuordnung ein Gruppenhomomorphismus ist. Die Injektivität ergibt sich unter Verwendung von Fakt folgendermaßen. Bei $\chi \neq 1$ gibt es ein $d\in D$ mit $\chi (d)\neq 1$. Nach Voraussetzung ist
    $A_{d}\neq 0\,,$
sei also $a\in A_{d}$, $a\neq 0$. Damit ist $\varphi _{\chi }(a)=\chi (d)a\neq a$, da $\chi (d)-1$ eine Einheit ist. Also ist $\varphi _{\chi }\neq \operatorname {Id} _{A}$.
$\Box$

## Beispiel

Es sei $K$ ein Körper, $a\in K$ und $n\in \mathbb {N}$ derart, dass $X^{n}-a$ irreduzibel ist. Dann ist $K\subseteq K[X]/(X^{n}-a)$ nach Fakt und nach Fakt eine $\mathbb {Z} /(n)$-graduierte Körpererweiterung.
Eine notwendige Voraussetzung für die Irreduzibilität von $X^{n}-a$ ist, dass $a$ in $K$ keine $n$-te Wurzel besitzt, da sonst das Polynom sofort einen Linearfaktor besitzt. Bei $n=2$ oder $n=3$ ist diese Bedingung auch hinreichend. Bei $n=2$ und wenn die Charakteristik von $K$ nicht gleich $2$ ist, so ist $1\neq -1$ und der nichttriviale Charakter
    $\chi \colon D=\mathbb {Z} /(2)\longrightarrow K^{\times }$
mit $\chi (0)=1$ und $\chi (1)=-1$ definiert über Fakt den nichttrivialen $K$-Körperautomorphismus mit $x\mapsto -x$ (wobei $x$ die Restklasse von $X$ sei), also die Konjugation in der quadratischen Körpererweiterung $K\subseteq K[X]/(X^{2}-a)$.