Exercise 2.08Z: Addition and Multiplication in GF(2 power 3)
From LNTwww
The graph shows the addition and multiplication table for the finite field GF(23). The tables are not complete. Some fields (highlighted in color) should be completed.
The elements are given both
- in the exponent representation (with red lettering, left and above) and
- in the coefficient representation (gray lettering, right and below).
From this assignment one can already recognize the underlying irreducible polynomial p(α).
- Additions (and subtractions) are best done in the coefficient representation (or with polynomials firmly linked to it).
- For multiplications, however, the exponential representation is more convenient.
Hints:
- This exercise belongs to the chapter "Definition and Properties of Reed-Solomon Codes".
- However, reference is also made to the chapter "Extension Field".
Questions
Solution
(1) Adding any element of an extension field based on GF(2) to itself always yields 0, as can be easily seen from the coefficient representation, for example:
- α3+α3=(011)+(011)=(000)=0.
- That is: A stands for the zero element ⇒ Solution 1.
(2) B is the result of adding α5 and α6 ⇒ Solution 3:
- α5+α6=(111)+(101)=(010)=α1.
- One could have found this result more simply, since in each row and column each element occurs exactly once.
- After A=0 is fixed, exactly only the element α1 is missing in the last row and the last column.
(3) C is the result of the sum α1+α2 ⇒ Solution 3:
- α1+α2=(010)+(100)=(110)=α4.
(4) D is the result of α3 and α5 ⇒ Solution 1:
- α3+α5=(011)+(111)=(100)=α2.
(5) All proposed solutions are correct, as can be seen from row 2 (multiplication with the "identity element"):
- The complete tables for addition and multiplication are shown opposite.
- Because of the validity of αi⋅αj=α(i+j)mod7, multiplication yields a symmetry that could be used to solve.
(6) Correct here is the proposed solution 3:
- All polynomials are indeed irreducible. However, one needs a degree-3 polynomial for GF(23).
- The third proposed solution results from the relation
- α3=α+1⇒p(α)=α3+α+1=0.