Endlicher Körper/Charakteristik nicht 2/Isomorphiesätze/Hälfte ist Quadrat/Aufgabe/Lösung


Wir betrachten die Abbildung

der Einheitengruppe in sich. Diese schickt auf und wegen handelt es sich um einen Gruppenhomomorphismus. Der Kern dieser Abbildung besteht aus den mit , also aus den Nullstellen des Polynoms . Dessen Nullstellen sind gerade und , weitere Nullstellen kann es nicht geben, da die Anzahl der Nullstellen durch den Grad des Polynoms beschränkt ist. Bei wäre

, was aufgrund der Charakteristik ausgeschlossen ist. Also besteht der Kern genau aus zwei Elementen. Nach dem Isomorphiesatz ist das Bild isomorph zum Urbild modulo Kern. Das Bild ist genau die Menge der Quadrate in der Einheitengruppe, und diese ist isomorph zu . Jede Nebenklasse besitzt daher zwei Elemente und die Anzahl der Nebenklassen ist daher . Die Hälfte der Einheiten sind also Quadrate.