Aufgaben:Exercise 2.3: Reducible and Irreducible Polynomials: Difference between revisions

From LNTwww
No edit summary
Noah (talk | contribs)
No edit summary
Line 1: Line 1:
{{quiz-Header|Buchseite=Kanalcodierung/Erweiterungskörper}}
{{quiz-Header|Buchseite=Channel_Coding/Extension_Field}}


[[File:P_ID2503__KC_A_2_3.png|right|frame|Polynome von Grad  $m = 2$,  $m = 3$  und  $m = 4$]]
[[File:P_ID2503__KC_A_2_3.png|right|frame|Polynomials of degree  $m = 2$,  $m = 3$  and  $m = 4$]]
Wichtige Voraussetzungen für das Verständnis der Kanalcodierung sind Kenntnisse der Polynomeigenschaften. Wir betrachten in dieser Aufgabe Polynome der Form
Important prerequisites for understanding channel coding are knowledge of polynomial properties. In this exercise we consider polynomials of the form
:$$a(x) =  a_0 + a_1 \cdot x + a_2 \cdot x^2 + \hspace{0.1cm}... \hspace{0.1cm} + a_m \cdot x^{m}
:$$a(x) =  a_0 + a_1 \cdot x + a_2 \cdot x^2 + \hspace{0.1cm}... \hspace{0.1cm} + a_m \cdot x^{m}
\hspace{0.05cm},$$
\hspace{0.05cm},$$


wobei für die Koeffizienten  $a_i ∈ {\rm GF}(2) = \{0, \, 1\}$  gilt  $(0 ≤ i ≤ m)$ und der höchste Koeffizient stets zu  $a_m = 1$  vorausgesetzt wird. Man bezeichnet  $m$  als den ''Grad''  des Polynoms. Nebenstehend sind zehn Polynome angegeben, wobei der Polynomgrad entweder  $m = 2$  (rote Schrift),  $m = 3$  (blaue Schrift) oder  $m = 4$  (grüne Schrift) ist.
where for the coefficients  $a_i ∈ {\rm GF}(2) = \{0, \, 1\}$  holds  $(0 ≤ i ≤ m)$ and the highest coefficient is always assumed to  $a_m = 1$ . One refers to  $m$  as the ''degree''  of the polynomial. Adjacent are ten polynomials where the polynomial degree is either  $m = 2$  (red font),  $m = 3$  (blue font) or  $m = 4$  (green font).


Ein Polynom&nbsp; $a(x)$&nbsp; bezeichnet man als <b>reduzibel</b>, wenn es als Produkt zweier Polynome&nbsp; $p(x)$&nbsp; und&nbsp; $q(x)$&nbsp; mit jeweils niedrigerem Grad dargestellt werden kann:
A polynomial&nbsp; $a(x)$&nbsp; is called <b>reducible</b> if it can be represented as the product of two polynomials&nbsp; $p(x)$&nbsp; and&nbsp; $q(x)$&nbsp; each of lower degree:
:$$a(x) = p(x) \cdot q(x)$$
:$$a(x) = p(x) \cdot q(x)$$


Ist dies nicht möglich, das heißt, wenn für das Polynom
If this is not possible, that is, if for the polynomial
:$$a(x) = p(x) \cdot q(x) + r(x)$$
:$$a(x) = p(x) \cdot q(x) + r(x)$$


mit einem Restpolynom&nbsp; $r(x) &ne; 0$&nbsp; gilt, so nennt an das Polynom <b>irreduzibel</b>. Solche irreduziblen Polynome sind für die Beschreibung von Fehlerkorrekturverfahren von besonderer Bedeutung.
with a residual polynomial&nbsp; $r(x) &ne; 0$&nbsp; holds, then the polynomial is called irreducible. Such irreducible polynomials are of special importance for the description of error correction methods.


Der Nachweis, dass ein Polynom&nbsp; $a(x)$&nbsp; vom Grad&nbsp; $m$&nbsp; irreduzibel ist, erfordert mehrere Polynomdivisionen&nbsp; $a(x)/q(x)$, wobei der Grad des jeweiligen Divisorpolynoms&nbsp; $q(x)$&nbsp; stets kleiner ist als&nbsp; $m$. Nur wenn alle diese Modulo&ndash;$2$&ndash;Divisionen stets einen Rest&nbsp; $r(x) &ne; 0$&nbsp; liefern, ist nachgewiesen, dass&nbsp; $a(x)$&nbsp; tatsächlich ein irreduzibles Polynom ist.
The proof that a polynomial&nbsp; $a(x)$&nbsp; of degree&nbsp; $m$&nbsp; is irreducible requires several polynomial divisions&nbsp; $a(x)/q(x)$, where the degree of the respective divisor polynomial&nbsp; $q(x)$&nbsp; is always smaller than&nbsp; $m$. Only if all these modulo $2$ divisions always yield a remainder&nbsp; $r(x) &ne; 0$&nbsp; is it proved that&nbsp; $a(x)$&nbsp; is indeed an irreducible polynomial.


Dieser exakte Nachweis ist sehr aufwändig. Notwendige Voraussetzungen dafür, dass&nbsp; $a(x)$&nbsp; überhaupt ein irreduzibles Polynom sein könnte, sind die beiden Bedingungen (bei nichtbinärer Betrachtungsweise wäre "$x=1$" durch "$x&ne;0$" zu ersetzen):
This exact proof is very complex. Necessary conditions for&nbsp; $a(x)$&nbsp; to be an irreducible polynomial at all are the two conditions (in nonbinary approach "$x=1$" would have to be replaced by "$x&ne;0$"):
* $a(x = 0) = 1$,
* $a(x = 0) = 1$,
* $a(x = 1) = 1$.
* $a(x = 1) = 1$.




Ansonsten könnte man für das zu untersuchende Polynom schreiben:
Otherwise, one could write for the polynomial under investigation:
:$$a(x) = q(x) \cdot x \hspace{0.5cm}{\rm bzw.}\hspace{0.5cm}a(x) = q(x) \cdot (x+1)\hspace{0.05cm}.$$
:$$a(x) = q(x) \cdot x \hspace{0.5cm}{\rm bzw.}\hspace{0.5cm}a(x) = q(x) \cdot (x+1)\hspace{0.05cm}.$$


Die oben genannten Voraussetzungen sind zwar notwendig, jedoch nicht hinreichend, wie das folgende Beispiel zeigt:
The above conditions are necessary, but not sufficient, as the following example shows:
:$$a(x) = x^5 + x^4 +1 \hspace{0.3cm} \Rightarrow\hspace{0.3cm}a(x = 0) = 1\hspace{0.05cm},\hspace{0.2cm}a(x = 1) = 1
:$$a(x) = x^5 + x^4 +1 \hspace{0.3cm} \Rightarrow\hspace{0.3cm}a(x = 0) = 1\hspace{0.05cm},\hspace{0.2cm}a(x = 1) = 1
\hspace{0.05cm}.$$
\hspace{0.05cm}.$$


Trotzdem ist dieses Polynom reduzibel:
Nevertheless, this polynomial is reducible:
:$$a(x) = (x^3 + x +1)(x^2 + x +1) \hspace{0.05cm}.$$
:$$a(x) = (x^3 + x +1)(x^2 + x +1) \hspace{0.05cm}.$$


Line 37: Line 37:




''Hinweis:''
Hints:
* Die Aufgabe gehört zum Kapitel&nbsp; [[Channel_Coding/Erweiterungsk%C3%B6rper| Erweiterungskörper]].
* This exercise belongs to the chapter&nbsp; [[Channel_Coding/Extension_Field| Extension field]].






===Fragebogen===
===Questions===
<quiz display=simple>
<quiz display=simple>
{Wieviele Polynomdivisionen&nbsp; $(N_{\rm D})$&nbsp; sind erforderlich, um exakt nachzuweisen, dass ein&nbsp; ${\rm GF}(2)$&ndash;Polynom&nbsp; $a(x)$&nbsp; vom Grad&nbsp; $m$&nbsp; irreduzibel ist?
{How many polynomial divisions&nbsp; $(N_{\rm D})$&nbsp; are required to prove exactly that a&nbsp; ${\rm GF}(2)$&ndash;polynomial&nbsp; $a(x)$&nbsp; of degree&nbsp; $m$&nbsp; is irreducible?
|type="{}"}
|type="{}"}
$m = 2 \text{:} \hspace{0.35cm} N_{\rm D} \ = \ ${ 2 3% }
$m = 2 \text{:} \hspace{0.35cm} N_{\rm D} \ = \ ${ 2 3% }

Revision as of 14:29, 31 August 2022

Polynomials of degree  $m = 2$,  $m = 3$  and  $m = 4$

Important prerequisites for understanding channel coding are knowledge of polynomial properties. In this exercise we consider polynomials of the form

$$a(x) = a_0 + a_1 \cdot x + a_2 \cdot x^2 + \hspace{0.1cm}... \hspace{0.1cm} + a_m \cdot x^{m}

\hspace{0.05cm},$$

where for the coefficients  $a_i ∈ {\rm GF}(2) = \{0, \, 1\}$  holds  $(0 ≤ i ≤ m)$ and the highest coefficient is always assumed to  $a_m = 1$ . One refers to  $m$  as the degree  of the polynomial. Adjacent are ten polynomials where the polynomial degree is either  $m = 2$  (red font),  $m = 3$  (blue font) or  $m = 4$  (green font).

A polynomial  $a(x)$  is called reducible if it can be represented as the product of two polynomials  $p(x)$  and  $q(x)$  each of lower degree:

$$a(x) = p(x) \cdot q(x)$$

If this is not possible, that is, if for the polynomial

$$a(x) = p(x) \cdot q(x) + r(x)$$

with a residual polynomial  $r(x) ≠ 0$  holds, then the polynomial is called irreducible. Such irreducible polynomials are of special importance for the description of error correction methods.

The proof that a polynomial  $a(x)$  of degree  $m$  is irreducible requires several polynomial divisions  $a(x)/q(x)$, where the degree of the respective divisor polynomial  $q(x)$  is always smaller than  $m$. Only if all these modulo $2$ divisions always yield a remainder  $r(x) ≠ 0$  is it proved that  $a(x)$  is indeed an irreducible polynomial.

This exact proof is very complex. Necessary conditions for  $a(x)$  to be an irreducible polynomial at all are the two conditions (in nonbinary approach "$x=1$" would have to be replaced by "$x≠0$"):

  • $a(x = 0) = 1$,
  • $a(x = 1) = 1$.


Otherwise, one could write for the polynomial under investigation:

$$a(x) = q(x) \cdot x \hspace{0.5cm}{\rm bzw.}\hspace{0.5cm}a(x) = q(x) \cdot (x+1)\hspace{0.05cm}.$$

The above conditions are necessary, but not sufficient, as the following example shows:

$$a(x) = x^5 + x^4 +1 \hspace{0.3cm} \Rightarrow\hspace{0.3cm}a(x = 0) = 1\hspace{0.05cm},\hspace{0.2cm}a(x = 1) = 1

\hspace{0.05cm}.$$

Nevertheless, this polynomial is reducible:

$$a(x) = (x^3 + x +1)(x^2 + x +1) \hspace{0.05cm}.$$



Hints:


Questions

1 How many polynomial divisions  $(N_{\rm D})$  are required to prove exactly that a  ${\rm GF}(2)$–polynomial  $a(x)$  of degree  $m$  is irreducible?

$m = 2 \text{:} \hspace{0.35cm} N_{\rm D} \ = \ $
$m = 3 \text{:} \hspace{0.35cm} N_{\rm D} \ = \ $
$m = 4 \text{:} \hspace{0.35cm} N_{\rm D} \ = \ $

2 Welche der Grad–2–Polynome sind irreduzibel?

$a_1(x) = x^2 + x$,
$a_2(x) = x^2 + x + 1$.

3 Welche der Grad–3–Polynome sind irreduzibel?

$a_3(x) = x^3$,
$a_4(x) = x^3 + 1$,
$a_5(x) = x^3 + x$,
$a_6(x) = x^3 + x + 1$,
$a_7(x) = x^3 + x^2 + 1$.

4 Welche der Grad–4–Polynome sind irreduzibel?

$a_8(x) = x^4 + 1$,
$a_9(x) = x^4 + x^3 + 1$,
$a_{10}(x) = x^4 + x^2 + 1$.


Musterlösung

(1)  Das Polynom $a(x) = a_0 + a_1 \cdot x + a_2 \cdot x^2 + \hspace{0.1cm}... \hspace{0.1cm} + a_m \cdot x^{m}$

  • mit $a_m = 1$
  • und gegebenen Koeffizienten $a_0, \ a_1, \hspace{0.05cm}\text{ ...} \hspace{0.1cm} , \ a_{m-1}$ (jeweils $0$ oder $1$)


ist dann irreduzibel, wenn es kein einziges Polynom $q(x)$ gibt, so dass die Modulo–$2$–Division $a(x)/q(x)$ keinen Rest ergibt. Der Grad aller zu betrachtenden Teilerpolynome $q(x)$ ist mindestens $1$ und höchstens $m-1$.

  • Für $m = 2$ sind zwei Polynomdivisionen $a(x)/q_i(x)$ erforderlich, nämlich mit
$$q_1(x) = x \hspace{0.5cm}{\rm und}\hspace{0.5cm}q_2(x) = x+1

\hspace{0.3cm} \Rightarrow\hspace{0.3cm}N_{\rm D}\hspace{0.15cm}\underline{= 2} \hspace{0.05cm}.$$

  • Für $m = 3$ gibt es schon $N_{\rm D} \ \underline{= 6}$ Teilerpolynome, nämlich neben $q_1(x) = x$ und $q_2(x) = x + 1$ noch
$$q_3(x) = x^2\hspace{0.05cm},\hspace{0.2cm}q_4(x) = x^2+1\hspace{0.05cm},\hspace{0.2cm}

q_5(x) = x^2 + x\hspace{0.05cm},\hspace{0.2cm}q_6(x) = x^2+x+1\hspace{0.05cm}.$$

  • Für $m = 4$ müssen außer $q_1(x), \hspace{0.05cm}\text{ ...} \hspace{0.1cm} , \ q_6(x)$ auch noch alle möglichen Teilerpolynome mit Grad $m = 3$ berücksichtigt werden, also:
$$q_i(x) = a_0 + a_1 \cdot x + a_2 \cdot x^2 + x^3\hspace{0.05cm},\hspace{0.5cm}a_0, a_1, a_2 \in \{0,1\}

\hspace{0.05cm}.$$

Für den Index gilt dabei $7 ≤ i ≤ 14 \ \Rightarrow \ N_{\rm D} \ \underline{= 14}$.


(2)  Für das erste Polynom gilt: $a_1(x = 0) = 0$. Deshalb ist dieses Polynom reduzibel:   $a_1(x) = x \cdot (x + 1)$.

Dagegen gilt für das zweite Polynom:

$$a_2(x = 0) = 1\hspace{0.05cm},\hspace{0.2cm}a_2(x = 1) = 1

\hspace{0.05cm}.$$

Diese notwendige, aber nicht hinreichende Eigenschaft zeigt, dass $a_2(x)$ irreduzibel sein könnte. Der endgültige Beweis ergibt sich erst durch zwei Modulo–2–Divisionen:

  • $a_2(x)$ geteilt durch $x$ liefert $x + 1$, Rest $r(x) = 1$,
  • $a_2(x)$ geteilt durch $x + 1$ liefert $x$, Rest $r(x) = 1$.


Richtig ist demnach der Lösungsvorschlag 2.


(3)  Die drei ersten Polynome sind reduzibel, wie die folgenden Rechenergebnisse zeigen:

$$a_3(x = 0) = 0\hspace{0.05cm},\hspace{0.2cm}a_4(x = 1) = 0\hspace{0.05cm},\hspace{0.2cm}a_5(x = 0) = 0\hspace{0.05cm},\hspace{0.2cm}a_5(x = 1) = 0

\hspace{0.05cm}.$$

Das hätte man auch durch Nachdenken herausfinden können:

$$a_3(x) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} x \cdot x \cdot x \hspace{0.05cm},$$
$$a_4(x) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} (x^2 + x + 1)\cdot(x + 1) \hspace{0.05cm},$$
$$a_5(x) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} x \cdot (x + 1)\cdot(x + 1) \hspace{0.05cm}.$$

Das Polynom $a_6(x)$ ist sowohl für $x = 0$ als auch für $x = 1$ ungleich $0$. Das heißt, dass

  • "nichts dagegen spricht", dass $a_6(x)$ irreduzibel ist,
  • die Division durch die irreduziblen Grad–1–Polynome $x$ bzw. $x + 1$ nicht ohne Rest möglich ist.


Da aber auch die Division durch das einzige irreduzible Grad–2–Polynom einen Rest liefert, ist bewiesen, dass $a_6(x)$ ein irreduzibles Polynom ist:

$$(x^3 + x+1)/(x^2 + x+1) = x + 1 \hspace{0.05cm},\hspace{0.4cm}{\rm Rest}\hspace{0.15cm} r(x) = x\hspace{0.05cm},$$

Mit gleichem Rechengang kann auch gezeigt werden, dass $a_7(x)$ ebenfalls irreduzibel ist   ⇒   Lösungsvorschläge 4 und 5.


(4)  Aus $a_8(x + 1) = 0$ folgt die Reduzibilität von $a_8(x)$. Für die beiden anderen Polynome gilt dagegen:

$$a_9(x = 0) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} 1\hspace{0.05cm},\hspace{0.35cm}a_9(x = 1) = 1 \hspace{0.05cm},$$
$$a_{10}(x = 0) \hspace{-0.15cm} \ = \ \hspace{-0.15cm}1\hspace{0.05cm},\hspace{0.2cm}a_{10}(x = 1) = 1 \hspace{0.05cm}.$$

Beide könnten also irreduzibel sein. Der exakte Nachweis der Irreduzibilität ist aufwändiger:

  • Man muss zur Überprüfung zwar nicht alle vier Divisorpolynome mit Grad $m = 2$ heranziehen, nämlich $x^2, \ x^2 + 1, \ x^2 + x + 1$, sondern es genügt die Division durch das einzige irreduzible Grad–2–Polynom. Man erhält hinsichtlich des Polynoms $a_9(x)$:
$$(x^4 + x^3+1)/(x^2 + x+1) = x^2 + 1 \hspace{0.05cm},\hspace{0.4cm}{\rm Rest}\hspace{0.15cm} r(x) = x\hspace{0.05cm}.$$

Auch die Division durch die beiden irreduziblen Grad–3–Polynome liefert jeweils einen Rest:

$$(x^4 + x^3+1)/(x^3 + x+1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} x + 1 \hspace{0.05cm},\hspace{0.4cm}{\rm Rest}\hspace{0.15cm} r(x) = x^2\hspace{0.05cm},$$
$$(x^4 + x^3+1)/(x^3 + x^2+1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} x \hspace{0.05cm},\hspace{0.95cm}{\rm Rest}\hspace{0.15cm} r(x) = x +1\hspace{0.05cm}.$$

Betrachten wir schließlich noch das Polynom $a_{10}(x) = x^4 + x^2 + 1$. Hier gilt

$$(x^4 + x^2+1)/(x^2 + x+1) = x^2 + x+1 \hspace{0.05cm},\hspace{0.4cm}{\rm Rest}\hspace{0.15cm} r(x) = 0\hspace{0.05cm}.$$

Daraus folgt: Nur das Polynom $a_9(x)$ ist irreduzibel  ⇒  Lösungsvorschlag 2.