Difference between revisions of "Aufgaben:Exercise 2.3: Reducible and Irreducible Polynomials"
(14 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
− | {{quiz-Header|Buchseite= | + | {{quiz-Header|Buchseite=Channel_Coding/Extension_Field}} |
− | [[File:P_ID2503__KC_A_2_3.png|right|frame| | + | [[File:P_ID2503__KC_A_2_3.png|right|frame|Polynomials of degree m=2, m=3, 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} | :$$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},$$ | ||
− | + | *where for the coefficients a_i ∈ {\rm GF}(2) = \{0, \, 1\} holds (0 ≤ i ≤ m) | |
+ | |||
+ | *and the highest coefficient is always assumed to am=1. | ||
− | + | ||
+ | One refers to m as the "degree" of the polynomial. | ||
+ | |||
+ | Adjacent ten polynomials are given 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 <b>reducible</b> if it can be represented as the product of two polynomials p(x) and q(x) of lower degree: | ||
:a(x)=p(x)⋅q(x) | :a(x)=p(x)⋅q(x) | ||
− | + | If this splitting is not possible, that is, if for the polynomial | |
:a(x)=p(x)⋅q(x)+r(x) | :a(x)=p(x)⋅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 divisions (modulo $2)$ always yield a remainder r(x) ≠ 0 it is 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=0)=1, | ||
+ | |||
* a(x=1)=1. | * a(x=1)=1. | ||
− | + | Otherwise, one could write for the polynomial under investigation: | |
− | :$$a(x) = q(x) \cdot x \hspace{0.5cm}{\rm | + | :$$a(x) = q(x) \cdot x \hspace{0.5cm}{\rm resp.}\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 | :$$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}.$$ | ||
− | + | Nevertheless, this polynomial is reducible: | |
:a(x)=(x3+x+1)(x2+x+1). | :a(x)=(x3+x+1)(x2+x+1). | ||
− | + | Hint: This exercise belongs to the chapter [[Channel_Coding/Extension_Field| "Extension field"]]. | |
− | |||
− | |||
− | |||
− | === | + | ===Questions=== |
<quiz display=simple> | <quiz display=simple> | ||
− | { | + | {How many polynomial divisions (ND) are required to prove exactly that a GF(2) polynomial a(x) of degree m is irreducible? |
|type="{}"} | |type="{}"} | ||
m=2:ND = { 2 3% } | m=2:ND = { 2 3% } | ||
Line 50: | Line 61: | ||
m=4:ND = { 14 3% } | m=4:ND = { 14 3% } | ||
− | { | + | {Which of the degree–2 polynomials are irreducible? |
|type="[]"} | |type="[]"} | ||
- a1(x)=x2+x, | - a1(x)=x2+x, | ||
+ a2(x)=x2+x+1. | + a2(x)=x2+x+1. | ||
− | { | + | {Which of the degree–3 polynomials are irreducible? |
|type="[]"} | |type="[]"} | ||
- a3(x)=x3, | - a3(x)=x3, | ||
Line 63: | Line 74: | ||
+ a7(x)=x3+x2+1. | + a7(x)=x3+x2+1. | ||
− | { | + | {Which of the degree–4 polynomials are irreducible? |
|type="[]"} | |type="[]"} | ||
- a8(x)=x4+1, | - a8(x)=x4+1, | ||
Line 70: | Line 81: | ||
</quiz> | </quiz> | ||
− | === | + | ===Solution=== |
{{ML-Kopf}} | {{ML-Kopf}} | ||
− | '''(1)''' | + | '''(1)''' The polynomial a(x)=a0+a1⋅x+a2⋅x2+...+am⋅xm |
− | * | + | *with am=1 |
− | * | + | |
+ | *and given coefficients $a_0, \ a_1, \hspace{0.05cm}\text{ ...} \hspace{0.1cm} , \ a_{m-1}$ (0 or $1$ in each case$)$ | ||
− | + | is irreducible if there is no single polynomial q(x) such that the modulo 2 division a(x)/q(x) yields no remainder. The degree of all divisor polynomials q(x) to be considered is at least 1 and at most m−1. | |
− | * | + | * For m=2 two polynomial divisions a(x)/qi(x) are necessary, namely with |
− | :$$q_1(x) = x \hspace{0.5cm}{\rm | + | :$$q_1(x) = x \hspace{0.5cm}{\rm and}\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.3cm} \Rightarrow\hspace{0.3cm}N_{\rm D}\hspace{0.15cm}\underline{= 2} | ||
\hspace{0.05cm}.$$ | \hspace{0.05cm}.$$ | ||
− | * | + | * For m=3 there are already ND =6_ divisor polynomials, namely besides q1(x)=x and q2(x)=x+1 also |
:$$q_3(x) = x^2\hspace{0.05cm},\hspace{0.2cm}q_4(x) = x^2+1\hspace{0.05cm},\hspace{0.2cm} | :$$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}.$$ | q_5(x) = x^2 + x\hspace{0.05cm},\hspace{0.2cm}q_6(x) = x^2+x+1\hspace{0.05cm}.$$ | ||
− | * | + | * For m=4, besides q1(x), ..., q6(x) all possible divisor polynomials with degree m=3 must also be considered, thus: |
:$$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\} | :$$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}.$$ | \hspace{0.05cm}.$$ | ||
− | : | + | :For the index, 7 ≤ i ≤ 14 \ \Rightarrow \ N_{\rm D} \ \underline{= 14}. |
− | '''(2)''' | + | '''(2)''' For the first polynomial holds: a1(x=0)=0. Therefore this polynomial is reducible: |
+ | :$$a_1(x) = x \cdot (x + 1).$$ | ||
− | + | On the other hand, the following is true for the second polynomial: | |
:$$a_2(x = 0) = 1\hspace{0.05cm},\hspace{0.2cm}a_2(x = 1) = 1 | :$$a_2(x = 0) = 1\hspace{0.05cm},\hspace{0.2cm}a_2(x = 1) = 1 | ||
\hspace{0.05cm}.$$ | \hspace{0.05cm}.$$ | ||
− | + | This necessary but not sufficient property shows that a2(x) could be irreducible. The final proof is obtained only by two modulo-2 divisions: | |
− | * a2(x) | + | * a2(x) divided by x yields x+1, remainder r(x)=1, |
− | * a2(x) | + | |
+ | * a2(x) divided by x+1 yields x, remainder r(x)=1. | ||
− | + | The correct solution is therefore the <u>proposed solution 2</u>. | |
− | '''(3)''' | + | '''(3)''' The first three polynomials are reducible, as the following calculation results show: |
:$$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 | :$$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}.$$ | \hspace{0.05cm}.$$ | ||
− | + | This could have been found out by thinking: | |
:a3(x) = x⋅x⋅x, | :a3(x) = x⋅x⋅x, | ||
:a4(x) = (x2+x+1)⋅(x+1), | :a4(x) = (x2+x+1)⋅(x+1), | ||
:a5(x) = x⋅(x+1)⋅(x+1). | :a5(x) = x⋅(x+1)⋅(x+1). | ||
− | + | The polynomial a6(x) is not equal to 0 for both x=0 and x=1 . This means that | |
− | * & | + | * "nothing speaks against" a6(x) being irreducible, |
− | * | + | * division by the irreducible degree-1 polynomials x and x+1, respectively, is not possible without remainder. |
− | + | However, since division by the single irreducible degree-2 polynomial also yields a remainder, it is proved that a6(x) is an irreducible polynomial: | |
:(x3+x+1)/(x2+x+1)=x+1,Restr(x)=x, | :(x3+x+1)/(x2+x+1)=x+1,Restr(x)=x, | ||
− | + | Using the same computational procedure, it can also be shown that a7(x) is also irreducible ⇒ <u>Solutions 4 and 5</u>. | |
− | '''(4)''' | + | '''(4)''' From a8(x+1)=0 follows the reducibility of a8(x). For the other two polynomials, however, holds: |
:a9(x=0) = 1,a9(x=1)=1, | :a9(x=0) = 1,a9(x=1)=1, | ||
:a10(x=0) = 1,a10(x=1)=1. | :a10(x=0) = 1,a10(x=1)=1. | ||
− | + | So both could be irreducible. The exact proof of irreducibility is more complicated: | |
− | * | + | *It is not necessary to use all four divisor polynomials with degree m=2, namely x2, x2+1, x2+x+1, but it is sufficient to divide by the only irreducible degree-2 polynomial. One obtains with respect to the polynomial a9(x): |
− | :$$(x^4 + x^3+1)/(x^2 + x+1) = x^2 + 1 \hspace{0.05cm},\hspace{0.4cm}{\rm | + | :$$(x^4 + x^3+1)/(x^2 + x+1) = x^2 + 1 \hspace{0.05cm},\hspace{0.4cm}{\rm remainder}\hspace{0.15cm} r(x) = x\hspace{0.05cm}.$$ |
− | + | Also the division by the two irreducible degree-3 polynomials yields a remainder in each case: | |
− | :$$(x^4 + x^3+1)/(x^3 + x+1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} x + 1 \hspace{0.05cm},\hspace{0.4cm}{\rm | + | :$$(x^4 + x^3+1)/(x^3 + x+1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} x + 1 \hspace{0.05cm},\hspace{0.4cm}{\rm remainder}\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 | + | :$$(x^4 + x^3+1)/(x^3 + x^2+1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} x \hspace{0.05cm},\hspace{0.95cm}{\rm remainder}\hspace{0.15cm} r(x) = x +1\hspace{0.05cm}.$$ |
− | + | Finally, let us consider the polynomial a10(x)=x4+x2+1. Here holds | |
− | :$$(x^4 + x^2+1)/(x^2 + x+1) = x^2 + x+1 \hspace{0.05cm},\hspace{0.4cm}{\rm | + | :$$(x^4 + x^2+1)/(x^2 + x+1) = x^2 + x+1 \hspace{0.05cm},\hspace{0.4cm}{\rm remainder}\hspace{0.15cm} r(x) = 0\hspace{0.05cm}.$$ |
− | + | It follows: Only the polynomial a9(x) is irreducible ⇒ <u>proposed solution 2</u>. | |
{{ML-Fuß}} | {{ML-Fuß}} | ||
− | [[Category: | + | [[Category:Channel Coding: Exercises|^2.2 Extension Field^]] |
Latest revision as of 17:14, 29 September 2022
Important prerequisites for understanding channel coding are knowledge of polynomial properties.
In this exercise we consider polynomials of the form
- a(x)=a0+a1⋅x+a2⋅x2+...+am⋅xm,
- where for the coefficients ai∈GF(2)={0,1} holds (0≤i≤m)
- and the highest coefficient is always assumed to am=1.
One refers to m as the "degree" of the polynomial.
Adjacent ten polynomials are given 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) of lower degree:
- a(x)=p(x)⋅q(x)
If this splitting is not possible, that is, if for the polynomial
- a(x)=p(x)⋅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 divisions (modulo 2) always yield a remainder r(x)≠0 it is 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)⋅xresp.a(x)=q(x)⋅(x+1).
The above conditions are necessary, but not sufficient, as the following example shows:
- a(x)=x5+x4+1⇒a(x=0)=1,a(x=1)=1.
Nevertheless, this polynomial is reducible:
- a(x)=(x3+x+1)(x2+x+1).
Hint: This exercise belongs to the chapter "Extension field".
Questions
Solution
- with am=1
- and given coefficients a0, a1, ..., am−1 (0 or 1 in each case)
is irreducible if there is no single polynomial q(x) such that the modulo 2 division a(x)/q(x) yields no remainder. The degree of all divisor polynomials q(x) to be considered is at least 1 and at most m−1.
- For m=2 two polynomial divisions a(x)/qi(x) are necessary, namely with
- q1(x)=xandq2(x)=x+1⇒ND=2_.
- For m=3 there are already ND =6_ divisor polynomials, namely besides q1(x)=x and q2(x)=x+1 also
- q3(x)=x2,q4(x)=x2+1,q5(x)=x2+x,q6(x)=x2+x+1.
- For m=4, besides q1(x), ..., q6(x) all possible divisor polynomials with degree m=3 must also be considered, thus:
- qi(x)=a0+a1⋅x+a2⋅x2+x3,a0,a1,a2∈{0,1}.
- For the index, 7≤i≤14 ⇒ ND =14_.
(2) For the first polynomial holds: a1(x=0)=0. Therefore this polynomial is reducible:
- a1(x)=x⋅(x+1).
On the other hand, the following is true for the second polynomial:
- a2(x=0)=1,a2(x=1)=1.
This necessary but not sufficient property shows that a2(x) could be irreducible. The final proof is obtained only by two modulo-2 divisions:
- a2(x) divided by x yields x+1, remainder r(x)=1,
- a2(x) divided by x+1 yields x, remainder r(x)=1.
The correct solution is therefore the proposed solution 2.
(3) The first three polynomials are reducible, as the following calculation results show:
- a3(x=0)=0,a4(x=1)=0,a5(x=0)=0,a5(x=1)=0.
This could have been found out by thinking:
- a3(x) = x⋅x⋅x,
- a4(x) = (x2+x+1)⋅(x+1),
- a5(x) = x⋅(x+1)⋅(x+1).
The polynomial a6(x) is not equal to 0 for both x=0 and x=1 . This means that
- "nothing speaks against" a6(x) being irreducible,
- division by the irreducible degree-1 polynomials x and x+1, respectively, is not possible without remainder.
However, since division by the single irreducible degree-2 polynomial also yields a remainder, it is proved that a6(x) is an irreducible polynomial:
- (x3+x+1)/(x2+x+1)=x+1,Restr(x)=x,
Using the same computational procedure, it can also be shown that a7(x) is also irreducible ⇒ Solutions 4 and 5.
(4) From a8(x+1)=0 follows the reducibility of a8(x). For the other two polynomials, however, holds:
- a9(x=0) = 1,a9(x=1)=1,
- a10(x=0) = 1,a10(x=1)=1.
So both could be irreducible. The exact proof of irreducibility is more complicated:
- It is not necessary to use all four divisor polynomials with degree m=2, namely x2, x2+1, x2+x+1, but it is sufficient to divide by the only irreducible degree-2 polynomial. One obtains with respect to the polynomial a9(x):
- (x4+x3+1)/(x2+x+1)=x2+1,remainderr(x)=x.
Also the division by the two irreducible degree-3 polynomials yields a remainder in each case:
- (x4+x3+1)/(x3+x+1) = x+1,remainderr(x)=x2,
- (x4+x3+1)/(x3+x2+1) = x,remainderr(x)=x+1.
Finally, let us consider the polynomial a10(x)=x4+x2+1. Here holds
- (x4+x2+1)/(x2+x+1)=x2+x+1,remainderr(x)=0.
It follows: Only the polynomial a9(x) is irreducible ⇒ proposed solution 2.