Sei ein endlicher Körper.
(a) Dann gibt es eine natürliche Zahl derart, dass
gilt.
(b) Sei die kleinste natürliche Zahl mit
. Zeigen Sie:
ist eine Primzahl.
[Man nennt p die des Körpers
.]
Sei ein endlicher Körper.
(a) Dann gibt es eine natürliche Zahl derart, dass
gilt.
(b) Sei die kleinste natürliche Zahl mit
. Zeigen Sie:
ist eine Primzahl.
[Man nennt p die des Körpers
.]
(a) Da die Addition in
abgeschlossen ist und
eine endliche Anzahl Elemente enthält, gibt es zwei unterschiedliche natürliche Zahlen
mit
, für die gilt
. Dann ist
. Mit
erhält man
.
sei keine Primzahl. Dann existieren zwei natürliche Zahlen
mit
. Da
und
natürliche Zahlen und kleiner als
sind, gilt
. Allerdings ist auch
, was der Nullteilerfreiheit widerspricht. Also war die Annahme falsch und
ist eine Primzahl.
(b) Angenommen,
(a) ist richtig. Bei (b) sind einige Unsauberkeiten. Zunächst schreibst du nirgendwo, dass
gelten soll. Dann schreibst du
, was nicht richtig ist, denn es ist nur
, und
(links steht ein Element des Körpers, rechts eine natürliche Zahl). Daher ist auch das Argument mit der Nullteilerfreiheit so nicht richtig, denn
und
sind keine Elemente des Körpers. Versuche (b) bitte noch einmal und argumentiere dabei etwas sorgfältiger mit den richtigen (Körper-)Elementen, indem du die
mitschleppst. Du meinst natürlich das Richtige, aber es ist zu dem Zeitpunkt deiner mathematischen Entwicklung nicht sinnvoll schon
und
einfach zu identifizieren. In diesem Stadium sollst du ja gerade lernen, ganz gewissenhaft zu arbeiten und (auch formal) sehr genau zu argumentieren.
Angenommen,
sei keine Primzahl. Dann gibt es zwei natürliche Zahlen
mit
und
. Da
die kleinste natürliche Zahl mit
ist und
und
kleiner sind als
, gilt
. Allerdings ist auch
, was der Nullteilerfreiheit widerspricht. Also muss die Annahme falsch und
eine Primzahl sein.
So ist es sehr gut aufgeschrieben, prima!