IT-Sicherheitsmanagement. Teil 4: Einführung in algebraische Strukturen

Ähnliche Dokumente
Literatur und Videos. ISM WS 2017/18 Teil 4/Algebren

IT-Security. Teil 9: Einführung in algebraische Strukturen

SS 2017 Torsten Schreiber

Eine Menge K, auf der eine Addition. + und eine Multiplikation definiert sind, nennt man einen Körper, wenn folgende Eigenschaften gelten: Körper 1-1

30 Ringe und Körper Motivation Definition: Ring. Addition und eine. Häufig gibt es auf einer Menge zwei Verknüpfungen: eine

5. Gruppen, Ringe, Körper

Mathematische Strukturen

1 Algebraische Strukturen

01. Gruppen, Ringe, Körper

Diskrete Strukturen Kapitel 5: Algebraische Strukturen (Grundlagen)

Lineare Algebra I. Christian Ebert & Fritz Hamm. Gruppen & Körper. Vektorraum, Basis & Dimension. Lineare Algebra I. 18.

Algebraische Strukturen. Idee. Gruppen, Ringe, Körper... (Teschl/Teschl Abschnitt 3.2, siehe auch Kap. 4)

Diskrete Strukturen 5.9 Permutationsgruppen 168/558 c Ernst W. Mayr

Diskrete Mathematik. Sebastian Iwanowski FH Wedel. Kap. 4: Zahlentheorie

3.4 Algebraische Strukturen

Seminar zum Thema Kryptographie

Algebraische Strukturen

Tutorium: Diskrete Mathematik

WS 2009/10. Diskrete Strukturen

Teilbarkeitslehre und Restklassenarithmetik

Mathematik II (BW27)

WS 2009/10. Diskrete Strukturen

Axiomatische Beschreibung der ganzen Zahlen

Thema: Die Einheitengruppe des Restklassenrings /n

1 Der Ring der ganzen Zahlen

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16

WS 2008/09. Diskrete Strukturen

Die reellen Zahlen als Dedekindsche Schnitte. Iwan Otschkowski

2. Gruppen und Körper

1 Der Ring der ganzen Zahlen

3 Allgemeine Algebren

Galoiskörper GF(2 n ) (Teschl/Teschl 4)

Die natürlichen Zahlen

Galoiskörper GF(2 n ) (Teschl/Teschl 4)

Operationen. auch durch. ausgedrückt. ist die Trägermenge der Operation. Mathematik I für Informatiker Algebren p.1/21

2 Grundstrukturen. 2.1 Gruppen. Prof. Dr. Peter Schneider. Vorlesung WS Lineare Algebra 1 2 GRUNDSTRUKTUREN

Polynome und endliche Körper

Kapitel III Ringe und Körper

Lineare Algebra und analytische Geometrie I

Mathematische Methoden für Informatiker

Kapitel II. Algebraische Grundbegriffe

Die natürlichen Zahlen

2 Aufbau des Zahlensystems

Neben der Addition tritt nun die Multiplikation als weitere Struktureigenschaft

Kongruenzen und Restklassenringe. 2. Kongruenzen und Restklassenringe

1.4 Gruppen, Ringe, Körper

Tutorium: Diskrete Mathematik. Vorbereitung der ersten Abschlussklausur Teil 1

1 Algebraische Strukturen

Mathematische Grundlagen der Computerlinguistik Algebren

Diskrete Strukturen. Sebastian Thomas RWTH Aachen Algebraische Strukturen

3.5 Ringe und Körper. Diese Eigenschaften kann man nun auch. 1. (R, +) ist eine kommutative Gruppe. 2. Es gilt das Assoziativgesetz bezüglich.

Formale Grundlagen 2008W. Vorlesung im 2008S Institut für Algebra Johannes Kepler Universität Linz

Bemerkungen. Gilt m [l] n, so schreibt man auch m l mod n oder m = l mod n und spricht. m kongruent l modulo n.

Allgemeine Algebren. Bernhard Ganter. Institut für Algebra TU Dresden D Dresden

Mathematik für Informatiker I. Musterlösungen zum Hausübungsblatt 5. Aufgabe 1. Christoph Eisinger Wintersemester 2010/11

Definition 153 Sei n eine fest gewählte ganze Zahl 0. Für jedes l Z heißt die Menge

Zahlen. Bernhard Ganter. Institut für Algebra TU Dresden D Dresden

Übung: Teilmengen. Beweis: Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge)

Lineare Algebra I 5. Tutorium Die Restklassenringe /n

a(b + c) = ab + ac und (a, b) (c, d) a + d = b + c definiert. Der Quotientenraum Z := N 2 / ist versehen mit der Addition

Das Buch der Natur ist mit mathematischen Symbolen geschrieben. Galileo Galilei

Überabzählbarkeit der reellen Zahlen

1.4 Gruppen, Ringe, Körper

4. Übung zur Linearen Algebra I -

1 Halbgruppen. 1.1 Definitionen. Übersicht Ein Beispiel einer Halbgruppe

1 Halbgruppen. 1.1 Definitionen. Übersicht Ein Beispiel einer Halbgruppe

Zentralübung zur Vorlesung Diskrete Strukturen

Reelle Zahlen, Gleichungen und Ungleichungen

Kanonische Primfaktorzerlegung

Man kann die natürlichen Zahlen in verschiedenen Klassen einteilen:

Leseprobe. Rolf Socher. Algebra für Informatiker. Mit Anwendungen in der Kryptografie und Codierungstheorie. ISBN (Buch):

Mathematik für Anwender I

Übungen zu Geometrie und Lineare Algebra für das Lehramt

Mathematik für Informatiker I,

Interim. Kapitel Einige formale Definitionen

Klassische Algebra. Gesucht sind die Lösungsmengen der folgenden Gleichungen: x n + a n 1 x n a 1 x + a 0 = 0 (a 0,...

σ-algebren, Definition des Maßraums

15. Gruppen, Ringe und Körper

Endliche Körper Seminar: Diskrete Mathematik Leitung: Prof. Dr. Rainer Lang Von: Steffen Lohrke (ii5105) SS2005

Vorlesung. Inhalt. Lineare Algebra und Wahrscheinlichkeitsrechnung für Informatik Gunter Ochs, Nico Rompos Sommersemester 2016

2 Die Körper-Axiome. I. Axiome der Addition (A.1) Assoziativgesetz. Für alle x, y, z R gilt (x + y)+z = x +(y + z).

1.3 Gruppen. Algebra I 9. April 2008 c Rudolf Scharlau,

Stefan Ruzika. 24. April 2016

1 Axiomatische Charakterisierung der reellen. 3 Die natürlichen, die ganzen und die rationalen. 4 Das Vollständigkeitsaxiom und irrationale

Literatur. ITSec SS 2017 Teil 7/Restklassen

Die reellen Zahlen als Äquivalenzklassen rationaler Cauchy-Folgen. Steven Klein

Kapitel 1. Erste algebraische Strukturen. 1.2 Ringe und Körper

Abschnitt 1.2. Rechnen mit reellen Zahlen

4: Algebraische Strukturen / Gruppen

Mathematik für Anwender I

1 Modulare Arithmetik

Gruppentheorie und Symmetrie in der Chemie

0 Mengen und Abbildungen, Gruppen und Körper

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Zahlen und elementares Rechnen

Mathematik III. (für Informatiker) Oliver Ernst. Wintersemester 2014/15. Professur Numerische Mathematik

Literatur. ISM SS 2018 Teil 3/Restklassen

Transkript:

IT-Sicherheitsmanagement Teil 4: Einführung in algebraische Strukturen 19.09.18 1

Literatur und Videos [4-1] http://www.iti.fh-flensburg.de/lang/krypto [4-2] Forster, Otto: Algorithmische Zahlentheorie. 2. Auflage, Springer, 2015 [4-3] Teschl, Gerald; Teschl, Susanne: Mathematik für Informatiker. Band 1: Diskrete Mathematik und Lineare Algebra. 4. Auflage, Springer, 2013, Kapitel 3 [4-4] Socher, Rolf: Algebra für Informatiker. Carl Hanser, 2012 [4-5] Willems, Wolfgang: Codierungstheorie und Kryptographie. Birkhäuser, 2008 [4-6] Kurzweil, Hans: Endliche Körper. Verstehen, Rechnen, Anwenden. 2. Auflage, Springer,2007 [4-7] http://www.mathematische-basteleien.de/koerper.htm [4-8] https://www.youtube.com/watch?v=crufxo2ttgc https://www.youtube.com/watch?v=z7fpgent8u8 https://www.youtube.com/watch?v=4vj_p6x1frs [4-9] https://www.youtube.com/watch?v=cq2m-mgczwu https://www.youtube.com/watch?v=y6ipzyzs3da https://www.youtube.com/watch?v=xgkks4ecyyu https://www.youtube.com/watch?v=lsxqatt4lei 2

Links - Wikipedia [L-1] https://de.wikipedia.org/wiki/abgeschlossenheit_(algebraische_struktur) [L-2] https://de.wikipedia.org/wiki/assoziativgesetz [L-3] https://de.wikipedia.org/wiki/kommutativgesetz [L-4] https://de.wikipedia.org/wiki/distributivgesetz [L-5] https://de.wikipedia.org/wiki/neutrales_element [L-6] https://de.wikipedia.org/wiki/inverses_element [L-7] https://de.wikipedia.org/wiki/gruppe_(mathematik) [L-8] https://de.wikipedia.org/wiki/abelsche_gruppe [L-9] https://de.wikipedia.org/wiki/irreduzibles_polynom [L-10] https://de.wikipedia.org/wiki/restklassenring [L-11] https://de.wikipedia.org/wiki/ring_(algebra) [L-12] https://de.wikipedia.org/wiki/polynomring [L-13] https://de.wikipedia.org/wiki/k%c3%b6rper_(algebra) [L-14] https://de.wikipedia.org/wiki/restklassenk%c3%b6rper 3

Übersicht Gruppen Ringe Körper In der Kryptographie sind mathematische Verfahren interessant, die ähnlich der Arithmetik sind, aber doch vollkommen andere Ergebnisse erzeugen. Die "Gruppentheorie" bzw. die der abstrakten Rechenstrukturen sind daher ein guter Ausgangspunkt. 4

Definitionen und grundlegende Zusammenhänge I Z Menge der ganzen positiven und negativen Zahlen mit 0 N Menge der ganzen positiven Zahlen mit 0 N\{0} N ohne 0 Q Menge der Rationalen Zahlen R Menge der Reellen Zahlen 5

Definitionen und grundlegende Zusammenhänge II Zwei Operatoren Eine dyadische (binäre) Operation auf einer Menge sei. Diese Operation wird Addition genannt. Eine dyadische Operation auf einer Menge sei. Diese Operation wird Multiplikation genannt. Wenn zwischen beiden nicht unterschieden werden soll, also wenn beide gemeint sind, wird dies mit bezeichnet. Etwas mit einem Namen zu versehen (Bezeichnen), heißt aber nicht, dass dieses Etwas auch das ist, was der Name ausdrückt! 6

Definitionen und grundlegende Zusammenhänge III Folgender Zusammenhang heißt Assoziativgesetz: (a b) c = a (b c) Dieses Gesetz bestimmt die beliebige Auswertungsreihenfolge hinsichtlich der Operation. Wenn folgender Zusammenhang besteht, dann gilt das Kommutativgesetz: a b = b a Und folgender Zusammenhang, dann das Distributivgesetz: a (b c) = (a b) (a c) 7

Algebra I Eine Algebra = Rechenstruktur = ist ein Tripel bestehend aus einer Menge G mit endlich oder unendlich vielen Elementen beliebiger Art (hier) einem oder zwei dyadischen Operatoren definiert auf G (hier) einer Menge von Gesetzen (Regeln) Beispiel Menge 6 = {0,1} Assoziativgesetz Kommutativgesetz Operator definiert durch 0 1 0 0 1 1 1 0 8

Algebra II In der Mathematik werden Operatoren Verknüpfungen genannt. Wir betrachten hier nur Algebren mit Operatoren, deren Ergebnis wieder Teil der Menge G ist; diese Operatoren werden abgeschlossen genannt. Eine Algebra erfüllt die Bedingung der Abgeschlossenheit, wenn alle ihre Operatoren abgeschlossen sind. Bei endlichen Mengen kann eine 2-dimensionale Verknüpfungstabelle zur Definition der Operatoren benutzt werden. Bei unendlichen Mengen wird das Ergebnis der Operatoren mit einem Algorithmus definiert. Beispiele für Mengen: G = {9, :, ;, <} G = {2, 3, 5, 7, 11} G = {x 2,2*x 4 +1,3x 3 -x 2,x-5} 9

Halbgruppe Eine Halbgruppe liegt vor, wenn auf der Menge G eine Operation definiert ist, für die das Assoziativgesetz gilt und die abgeschlossen ist, also alle Ergebnisse in G liegen. Die Operation ist eine beliebige Verknüpfung auf G. Die Halbgruppe wird mit (G, ) bezeichnet. Beispiele für Halbgruppen: N mit der arithmetischen Addition: (N,+) N mit der arithmetischen Multiplikation: (N,*) Menge der geraden Zahlen und die Addition Menge der geraden Zahlen und die Multiplikation 10

Monoid Eine Halbgruppe (G, ) wird Monoid genannt, wenn sie bezüglich ein neutrales Element besitzt. Ein neutrales Element e liegt dann vor, wenn für jedes Element aus G bezüglich folgende Bedingung erfüllt ist: Mit a,e G gilt: a e = e a = a Bitte beachten, dass damit nicht das Kommutativgesetz gilt. Beispiele für Monoide: N mit der arithmetischen Addition: (N,+) mit e=0 Menge der geraden Zahlen und die Addition mit e=0 N mit der arithmetischen Multiplikation: (N,*) mit e=1 (6, ) mit e=0 siehe oben 11

Erkennen des neutralen Elementes I Beispiel 1 1 2 3 4 3 3 1 4 2 2 2 4 1 3 1 1 2 3 4 4 4 3 2 1 Beispiel 2 1 2 3 4 3 3 1 4 2 2 2 4 1 3 1 1 2 3 4 4 4 3 2 1 Das neutrale Element ist visuell an der Gleichheit der Werte mit der Beschriftung der Spalte bzw. Reihe erkennbar. 12

Erkennen des neutralen Elementes II Beispiel 1 1 2 3 4 1 1 2 3 4 2 2 4 1 3 3 3 1 4 2 4 4 3 2 1 Beispiel 2 1 2 3 4 1 1 2 3 4 2 2 4 1 3 3 3 1 4 2 4 4 3 2 1 Eine einheitliche (systematische) Beschriftung macht das Erkennen des neutralen Elements leichter. 13

Merkregel für Monoid Der Wortbestandteil "Mono" weist auf Eins hin, Eins ist das neutrale Element bezüglich der Multiplikation. Halbgruppe Abgeschlossenheit Assoziativgesetz Monoid + Neutrales Element 14

Gruppe I Eine Monoid (G, ) wird Gruppe genannt, wenn alle Werte aus G bezüglich ein inverses Element besitzen. Ein inverses Element a -1 bzw. -a existiert, wenn für jedes Element a aus G bezüglich mit e als neutralem Element folgende Bedingung erfüllt ist: Mit a, e G gilt: a -a = e (Addition) mit e=0 Mit a, e G\{0} gilt: a a -1 = e (Multiplikation) mit e=1 Bei der Multiplikation wird die 0 ausgeschlossen, bei der Addition nicht. Beispiele für Gruppen: Z mit der arithmetischen Addition: (Z,+) mit e=0 Das inverse Element zu a wird hier als -a bezeichnet. (6, ) mit e=0 und 0-1 =0 und 1-1 =1 siehe oben Z mit der arithmetischen Multiplikation: (Z,*) mit e=1 ist keine Gruppe. Warum? 15

Bemerkungen I a -1 ist keine Potenz mit dem Wert -1; das -1 kennzeichnet lediglich die Eigenschaft des Inversen von a. Achtung: -a ist das inverse Element bzgl., a -a= 0. Achtung: a -1 ist das inverse Element bzgl., a a -1 = 1. 0 und 1 sind hier Symbole für Elemente der Grundmenge; es sind nicht die Zahlen 0 und 1 aus der normalen Arithmetik. Natürlich können die Zahlen aus der normalen Arithmetik die Grundmenge G ausmachen, dann, aber nur dann sind 0 und 1 die üblichen Zahlen 0 und 1. Wenn die Addition bedeutet, wird das inverse Element von a auch als -a bezeichnet. -a ist aber nicht -1*a. Etwas mit einem Namen zu versehen (Bezeichnen), heißt aber nicht, dass dieses Etwas auch das ist, was der Name ausdrückt! 16

Bemerkungen II Warum wird mit inversen Elementen gearbeitet, anstatt mit der Subtraktion oder Division? Ganz einfach: weil für Subtraktion und Division das Assoziativgesetz nicht gilt. Beispiel 10-5 - 2: (10-5) 2 = 3 10 -(5-2) = 7 Beispiel 16 : 8 : 2: (16 : 8) : 2 = 1 16 :(8 : 2) = 4 17

Kommutative/Abelsche Gruppe I Eine Gruppe (G, ) wird kommutative Gruppe oder abelsche Gruppe genannt, wenn für alle Werte aus G bezüglich das Kommutativgesetz gilt. Benannt zu Ehren des Norwegischen Mathematikers Niels Henrik Abel Wenn die Werte in der Verknüpfungstabelle symmetrisch zur 45 - Achse sind, gilt das Kommutativgesetz (bei der "richtigen" Beschriftung der Reihen und Spalten). Beispiel Menge 6 = {0,1} Assoziativgesetz Kommutativgesetz Operator definiert durch 0 1 0 0 1 1 1 0 18

Kommutative/Abelsche Gruppe II Beispiele für abelsche Gruppen: Z mit der arithmetischen Addition: (Z,+) mit e=0 Das inverse Element zu a wird hier als -a bezeichnet. (6, ) mit e=0 und 0-1 =0 und 1-1 =1 Beispiel Menge 6 = {0,1} Assoziativgesetz Kommutativgesetz Operator definiert durch 0 1 0 0 1 1 1 0 19

Zusammenfassung Halbgruppe Abgeschlossenheit Assoziativgesetz Monoid Gruppe Abelsche Gruppe + Neutrales Element + Inverses Element + Kommutativgesetz 20

Ring I Eine algebraische Struktur mit zwei Operatoren (G,, ) wird Ring genannt, wenn (G, ) eine abelsche Gruppe ist (G, ) eine Halbgruppe ist das Distributivgesetz für alle a,b,c G gilt: a (b c) = (a b) (a c) (a b) c = (a c) (b c) Für gilt nicht die Kommutativität und es gibt auch kein inverses Element, für beides schon. Beispiele für einen Ring: Z mit der arithmetischen Addition: (Z,+,*) mit e=0 für + Das inverse Element zu a wird hier als -a bezeichnet. 21

Ring II Das neutrale Element bzgl. der (Addition) wird Nullelement bezeichnet und als 0 geschrieben. Das in Ringen nicht vorhandene neutrale Element bzgl. der (Multiplikation) wird als Einselement bezeichnet und als 1 geschrieben. Eine Gruppe bezüglich einer Addition wird additive Gruppe genannt, besitzt 0 als neutrales Element und -a (mit a G) als inverses Element. Eine Gruppe bezüglich einer Multiplikation wird multiplikative Gruppe genannt, besitzt 1 als neutrales Element und a -1 (mit a G\{0}) als inverses Element. 22

Ring mit Eins Ein Ring mit zwei Operatoren (G,, ) wird Ring mit Eins genannt, wenn (G, ) ein Monoid ist, also zusätzlich noch ein neutrales Element bzgl. der Multiplikation besitzt. Das neutrale Element bzgl. wird 1 genannt daher der Name Ring mit Eins. Beispiel für einen Ring mit Eins: Z mit der arithmetischen Addition: (Z,+,*) mit e=0 für + und e=1 für * Das additive inverse Element zu a wird hier als -a bezeichnet. 23

Kommutativer Ring Ein Ring mit zwei Operatoren (G,, ) wird kommutativer Ring genannt, wenn neben den Eigenschaften eines Rings das Kommutativgesetz für die Multiplikation gilt. Damit gilt das Kommutativgesetz für die Addition und für die Multiplikation. Beispiel für einen kommutativen Ring: Z mit der arithmetischen Addition: (Z,+,*) Das additive inverse Element zu a wird hier als -a bezeichnet. 24

Körper Ein Ring mit Eins (G,, ) wird Körper genannt, wenn (G\{0}, ) eine abelsche Gruppe ist. Oder anders: Eine algebraische Struktur ist dann ein Körper, wenn beide Operatoren jeweils eine kommutative Gruppe bilden (ohne {0} bei ) und wenn das Distributivgesetz gilt. Wenn mit a,e G a a -1 = e gilt, dann muss {0} aus G für die Definition von entfernt werden, daher (G\{0}, ). Beispiele für Körper: (Q,+,*) mit der "normalen Arithmetik" (R,+,*) mit der "normalen Arithmetik" (6,, ) ist XOR und ist die arithmetische Multiplikation 25

Körper - Beispiel Beispiel Menge 6 = {0,1} Assoziativgesetz Kommutativgesetz Distributivgesetz Operator definiert durch 0 1 0 0 1 1 1 0 e=0 Operator definiert durch Dieser Körper wird auch als (Z 2,+,*) bezeichnet. 0 1 0 0 0 1 0 1 e=1 26

Bemerkung Bezeichnungen der Art (Z 2,+,*) sind so gemeint, dass zur Konstruktion der Struktur für das arithmetische + benutzt wird, für das arithmetische * benutzt wird, und alle Werte mit modulo 2 behandelt werden. Analoges gilt für (Z m,+,*), wobei hier mit modulo m gerechnet wird. 27

Zusammenfassung Halbgruppe Monoid Gruppe + Neutrales Element + Inverses Element Addition Abelsche Gruppe Ring Ring mit Eins Körper + Kommutativgesetz + Distributivgesetz + Neutrales Element + Inverses Element Halbgruppe Monoid Gruppe Abelsche Gruppe + Neutrales Element + Inverses Element Multiplikation + Kommutativgesetz 28

Modulare Arithmetik Vertiefende Wiederholung Mit m N\{0} als Modul sei Z m = {0,1,2,3,,m-1} Dies ist die Menge der ganzzahligen Reste bei der Division durch m. Mit m N\{0} als Modul sei Z m* = {x {1,2,3,,m-1} ggt(x,m)=1} Dies ist eine Teilmenge von Z m, wobei für jedes Element ein bzgl. der Multiplikation ( ) inverses Element existiert. Wenn m eine Primzahl ist, dann ist Z m = Z p = Z m * ohne die 0. 29

Modulare Arithmetik Beispiel I Operator in Z 5 0 1 2 3 4 0 0 1 2 3 4 1 1 2 3 4 0 2 2 3 4 0 1 3 3 4 0 1 2 4 4 0 1 2 3 e=0 Operator in Z 5 0 1 2 3 4 0 0 0 0 0 0 1 0 1 2 3 4 2 0 2 4 1 3 3 0 3 1 4 2 4 0 4 3 2 1 e=1 Ist Z 5 ein Ring? ein Ring mit Eins? ein Körper? 30

Modulare Arithmetik Beispiel II Operator in Z 8 * 1 3 5 7 1 2 4 6 0 3 4 6 0 2 5 6 0 2 4 7 0 2 4 6 Operator in Z 8 * 1 3 5 7 1 1 3 5 7 3 3 1 7 5 5 5 7 1 3 7 7 5 3 1 Und wie kommen diese Zahlen zustande? 1, 3, 5, 7? * Ist Z 8 ein Ring? ein Ring mit Eins? ein Körper? 31

Und was ist das? I Operator in {,,, } Ist das eine Halbgruppe? ein Monoid? eine Gruppe? 32

Und was ist das? II Operator in {,,, } Operator in Z 5 \{0} 1 2 3 4 1 1 2 3 4 2 2 4 1 3 3 3 1 4 2 4 4 3 2 1 e=1 Ist das eine Halbgruppe? ein Monoid? eine Gruppe? 33

Beispiele für Gruppen Additive Gruppe (Z,+) Additive Gruppe (Z m,+) Multiplikative Gruppe (Z p \{0},*) Multiplikative Gruppe (Z m *,*) 34

Beispiele für Ringe Ganze Zahlen (Z,+,*) Restklassenring (Z m,+,*) Gerade Zahlen ({0,2,4,6,..,2*n},+,*) 35

Galois Field (GF) Endlicher Körper = finite field = Galois Field = Körper mit einer Grundmenge aus endlich vielen Elementen Abkürzung: GF(n) oder ^n, wobei n die Anzahl der Elemente ist Diese Körper werden zu Ehren von Evariste Galois so genannt. Es gilt nun folgender Satz: Es gibt zu den Primzahlenpotenzen p m (mit m>0) endliche Körper mit p m Elementen. Also gibt es für alle 2er-Potenzen einen Körper. Ein weiterer Satz: Alle endlichen Körper mit der derselben Anzahl von Elementen sind zueinander isomorph. Also gibt es für alle 2er-Potenzen jeweils nur einen Körper. 36

GF(4) I Es wird mit Hilfe von Z 4 ein Körper konstruiert: Operator in (Z 4,, ) 0 1 2 3 0 0 1 2 3 1 1 2 3 0 2 2 3 0 1 3 3 0 1 2 Operator in (Z 4,, ) 0 1 2 3 0 0 0 0 0 1 0 1 2 3 2 0 2 0 2 3 0 3 2 1 Ist das ein endlicher Körper (Galois Field)? Nein. Warum? 37

GF(4) II Es gibt einen kleinen Test in Form einer Bedingung, die alle Körper erfüllen müssen (Integritätsbereich): Wenn a*b = 0 dann a = 0 oder b = 0. Operator in (Z 4,, ) 0 1 2 3 0 0 0 0 0 1 0 1 2 3 2 0 2 0 2 3 0 3 2 1 2*2 = 0 38

GF(4) III Ein weiterer Test betrifft die Inversen: Ein inverses Element bzgl. der Multiplikation existiert, wenn in jeder Reihe und jeder Spalte eine 1 vorkommt (ohne 0). Ein inverses Element bzgl. der Addition existiert, wenn in jeder Reihe und jeder Spalte eine 0 vorkommt. Operator in (Z 4,, ) 0 1 2 3 0 0 0 0 0 1 0 1 2 3 2 0 2 0 2 3 0 3 2 1 Hier fehlt die 1 39

GF(4) IV Operator in (^4,, ) 0 1 2 3 0 0 1 2 3 1 1 0 3 2 2 2 3 0 1 3 3 2 1 0 Operator in (^4,, ) 0 1 2 3 0 0 0 0 0 1 0 1 2 3 2 0 2 3 1 3 0 3 1 2 Ist das ein endlicher Körper (Galois Field)? Ja, das ist der einzige. Ein Körper muss ja existieren, da 4 eine 2er-Potenz ist. Aber wie dieser konstruiert wird, wird später erklärt. 40

Nach dieser Anstrengung etwas Entspannung... Ja, der Gipfel ist erreicht jedenfalls für heute. 41