Difference between revisions of "Aufgaben:Exercise 2.4Z: Finite and Infinite Fields"

From LNTwww
Line 10: Line 10:
  
  
Eine solche Menge (englisch: <i>Set</i>) bezeichnet man dann (und nur dann) als einen <font color="#cc0000"><span style="font-weight: bold;">Körper</span></font> (englisch: <i>Field</i>) im algebraischen Sinne, wenn in ihr die vier Rechenoperationen Addition, Subtraktion, Multiplikation und Division erlaubt und die Ergebnisse im gleichen Körper darstellbar sind. Einige diesbezügliche Definitionen finden Sie im [[Theorieteil]]. Soviel vorneweg: Nicht alle der oben aufgelisteten Mengen sind Körper.
+
Eine solche Menge (englisch: <i>Set</i>) bezeichnet man dann (und nur dann) als einen <font color="#cc0000"><span style="font-weight: bold;">Körper</span></font> (englisch: <i>Field</i>) im algebraischen Sinne, wenn in ihr die vier Rechenoperationen Addition, Subtraktion, Multiplikation und Division erlaubt und die Ergebnisse im gleichen Körper darstellbar sind. Einige diesbezügliche Definitionen finden Sie im [[Kanalcodierung/Einige_Grundlagen_der_Algebra#Gruppe.2C_Ring.2C_K.C3.B6rper_.E2.80.93_algebraische_Grundbegriffe|Theorieteil]]. Soviel vorneweg: Nicht alle der oben aufgelisteten Mengen sind Körper.
  
Daneben gibt es auch noch [[endliche Körper]] (englisch: <i>Finite Fields</i>), die in unserem Lerntutorial als <span style="color: rgb(204, 0, 0);"><b>Galoisfeld</b></span> ${\rm GF}(P^m)$ bezeichnet werden, wobei
+
Daneben gibt es auch noch [[Kanalcodierung/Einige_Grundlagen_der_Algebra#Definition_eines_Galoisfeldes|endliche Körper]] (englisch: <i>Finite Fields</i>), die in unserem Lerntutorial als <span style="color: rgb(204, 0, 0);"><b>Galoisfeld</b></span> ${\rm GF}(P^m)$ bezeichnet werden, wobei
 
* $P &#8712; N$ eine Primzahl angibt,
 
* $P &#8712; N$ eine Primzahl angibt,
 
* und $m &#8712; N$ eine natürliche Zahl bezeichnet.
 
* und $m &#8712; N$ eine natürliche Zahl bezeichnet.
  
  
Ist der Exponent $m &#8805; 2$, so spricht man von einem [[Erweiterungskörper]] (englisch: <i>Extension Field</i>). In dieser Aufgabe beschränken wir uns auf Erweiterungskörper zur Basis $P = 2$.
+
Ist der Exponent $m &#8805; 2$, so spricht man von einem [[Kanalcodierung/Erweiterungsk%C3%B6rper|Erweiterungskörper]] (englisch: <i>Extension Field</i>). In dieser Aufgabe beschränken wir uns auf Erweiterungskörper zur Basis $P = 2$.
  
 
Die beiden ersten Teilaufgaben beziehen sich auf die Klassifizierung von Polynomen. Ein Grad&ndash;$m$&ndash;Polynom nennt man reduzibel im Körper $K$, wenn es in der Form
 
Die beiden ersten Teilaufgaben beziehen sich auf die Klassifizierung von Polynomen. Ein Grad&ndash;$m$&ndash;Polynom nennt man reduzibel im Körper $K$, wenn es in der Form
Line 25: Line 25:
  
 
''Hinweis:''
 
''Hinweis:''
* Die Aufgabe bezieht sich auf die Thematik des Kapitels [[...]].
+
* Die Aufgabe bezieht sich auf die Thematik des Kapitels [[Kanalcodierung/Erweiterungsk%C3%B6rper|Erweiterungskörper]].
* Oben sehen Sie Abbildungen der italienischen Mathematiker [[Gerolamo Cardano]] sowie [[Rafael Bombelli]], die erstmals imaginäre Zahlen zur Lösung algebraischer Gleichungen einführten, sowie von [[Évariste Galois]], der schon in sehr jungen Jahren die Grundlagen der endlichen Körper geschaffen hat.
+
* Oben sehen Sie Abbildungen der italienischen Mathematiker [https://de.wikipedia.org/wiki/Gerolamo_Cardano Gerolamo Cardano] sowie [https://de.wikipedia.org/wiki/Rafael_Bombelli Rafael Bombelli], die erstmals imaginäre Zahlen zur Lösung algebraischer Gleichungen einführten, sowie von [https://de.wikipedia.org/wiki/%C3%89variste_Galois Évariste Galois], der schon in sehr jungen Jahren die Grundlagen der endlichen Körper geschaffen hat.
  
  

Revision as of 20:16, 15 December 2017

Einige Pioniere der Mathematik

In der Mathematik unterscheidet man verschiedene Zahlenmengen:

  • die Menge der natürlichen Zahlen: $N = \{0, \, 1, \, 2, \, ...\}$,
  • die Menge der ganzen Zahlen: $Z = \{..., \, -1, \, 0, \, +1, \, ...\}$,
  • die Menge der rationalen Zahlen: $Q = \{m/n\}$ mit $m ∈ Z, \ n ∈ Z \ \{0\}$,
  • die Menge $R$ der reellen Zahlen,
  • die Menge der komplexen Zahlen: $C = \{a + {\rm j} \cdot b\}$ mit $a ∈ R, \ b ∈ R$ und der imaginären Einheit $\rm j$.


Eine solche Menge (englisch: Set) bezeichnet man dann (und nur dann) als einen Körper (englisch: Field) im algebraischen Sinne, wenn in ihr die vier Rechenoperationen Addition, Subtraktion, Multiplikation und Division erlaubt und die Ergebnisse im gleichen Körper darstellbar sind. Einige diesbezügliche Definitionen finden Sie im Theorieteil. Soviel vorneweg: Nicht alle der oben aufgelisteten Mengen sind Körper.

Daneben gibt es auch noch endliche Körper (englisch: Finite Fields), die in unserem Lerntutorial als Galoisfeld ${\rm GF}(P^m)$ bezeichnet werden, wobei

  • $P ∈ N$ eine Primzahl angibt,
  • und $m ∈ N$ eine natürliche Zahl bezeichnet.


Ist der Exponent $m ≥ 2$, so spricht man von einem Erweiterungskörper (englisch: Extension Field). In dieser Aufgabe beschränken wir uns auf Erweiterungskörper zur Basis $P = 2$.

Die beiden ersten Teilaufgaben beziehen sich auf die Klassifizierung von Polynomen. Ein Grad–$m$–Polynom nennt man reduzibel im Körper $K$, wenn es in der Form

$$p(x)= \prod_{i = 1}^m (x-x_i) = (x - x_1) \cdot (x - x_2) \cdot ... \cdot (x - x_m) $$

darstellbar ist und für alle Nullstellen $x_i ∈ K$ gilt. Ist dies nicht möglich, so spricht man von einem irreduziblen Polynom.

Hinweis:

  • Die Aufgabe bezieht sich auf die Thematik des Kapitels Erweiterungskörper.
  • Oben sehen Sie Abbildungen der italienischen Mathematiker Gerolamo Cardano sowie Rafael Bombelli, die erstmals imaginäre Zahlen zur Lösung algebraischer Gleichungen einführten, sowie von Évariste Galois, der schon in sehr jungen Jahren die Grundlagen der endlichen Körper geschaffen hat.


Fragebogen

1

Multiple-Choice

correct
false

2

Input-Box Frage

$xyz \ = \ $

$ab$


Musterlösung

(1)  (2)  (3)  (4)  (5)