Charaktergruppe/Exponentbedingung/Charakter-Korrespondenz mit Kernen/Fakt

Es sei ${}D$ eine endliche kommutative Gruppe mit dem Exponenten ${}m$, und es sei ${}K$ ein Körper, der eine primitive ${}m$-te Einheitswurzel besitzt.

Dann sind die Zuordnungen

$E\longmapsto E^{\perp }={\left\{\chi \in D^{\vee }\mid \chi (d)=1{\text{ für alle }}d\in E\right\}}$

und

$H\longmapsto H^{\perp }={\left\{d\in D\mid \chi (d)=1{\text{ für alle }}\chi \in H\right\}}$

(zwischen den Untergruppen von ${}D$ und den Untergruppen von ${}D^{\vee }$) zueinander invers.

Man nennt diesen Zusammenhang Charakter-Korrespondenz.

Einen Beweis erstellen