Charaktergruppe/Exponentbedingung/Charakter-Korrespondenz mit Kernen/Fakt

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

Dann sind die Zuordnungen

und

(zwischen den Untergruppen von und den Untergruppen von ) zueinander invers.

Man nennt diesen Zusammenhang Charakter-Korrespondenz.