MHB Irreducible Polynomial g = X^4 + X + 1 over F2

  • Thread starter Thread starter aadams
  • Start date Start date
  • Tags Tags
    Polynomial
Click For Summary
The discussion centers on the irreducible polynomial g = X^4 + X + 1 over the field F2, focusing on its extension E. It is established that E contains 16 elements, confirming that E = F[X]/gF[X]. Participants explore whether every non-zero element of E can be expressed in the form α^n, concluding that the multiplicative group of E is cyclic, thus supporting this claim. The conversation also touches on finding roots of g and X^2 + X + 1 in E, as well as identifying subfields of specific orders. Overall, the thread provides insights into the structure and properties of the field extension E.
aadams
Messages
2
Reaction score
0
I am really struggling on the following Algebra question:

Consider the Irreducible Polynomial g = X^4 + X + 1 over 𝔽2 and let E be the extension of 𝔽2 = {0,1} with root α of g.

(a) How many elements does E have?

(b) Is every non-zero element of E of the form α^n with n ϵ N (natural numbers)?

(c) Find all roots of g in E expressed in the form ν + µα + λα^2 + γα^3.

(d) Find the roots of X^2 + X + 1 in E.

(e) Find a subfield of order 4 in E.

(f) Could E have a subfield of order 8.

(g) Could X^3 + X + 1 have a root in E?

I have tried part (a) and I think there are 16 elements in E, as I think that E = 𝔽[X]/g𝔽[X] = 𝔽[X]/I where I is the ideal of 𝔽[X]. and so E = {f + I | f ϵ 𝔽[X]}

I then proceeded to carry out long division of f by g and ended up with: E = {ν + µα + λα^2 + γα^3 |γ,λ,µ,ν ϵ {0,1}}

by substituting in 0 and 1 for the values above, I end up with 16 elements of E. I am not sure if this is correct as it seems a bit long winded for part (a) as it is only worth 2 marks.

I would appreciate help with any of the question! Thanks!
 
Physics news on Phys.org
Welcome, aadams! (Wave)

Your answer to (a) looks fine. To answer part (b), you can compute the powers $\alpha^n$ for $n = 1,2,\ldots, 15$ using the relation $\alpha^4 = \alpha + 1$. Note that more generally, the multiplicative group of a finite field is cyclic. For part (c), consider $\alpha, \alpha^2, 1 + \alpha$, and $1 + \alpha^2$. In (d), you want to find two elements $y$ such that $y^2 = y + 1$; look at the powers of $\alpha$ that are of the form $\beta + 1$. Try these out first, then we can discuss (e), (f), and (g).
 
Thank you very much for your help!

I'm still a bit confused on part (b) - I can see that α^4=α+1 and how this helps to write elements as α^n.
I'm not sure how I could write elements such as α^2 + 1 and α^2+α+1 as α^n?? Also with other elements α^3+α, α^3+1, α^3+α^2+α, α^3+α+1 and α^3+α^2+α+1.

Thanks again!
 
aadams said:
Thank you very much for your help!

I'm still a bit confused on part (b) - I can see that α^4=α+1 and how this helps to write elements as α^n.
I'm not sure how I could write elements such as α^2 + 1 and α^2+α+1 as α^n?? Also with other elements α^3+α, α^3+1, α^3+α^2+α, α^3+α+1 and α^3+α^2+α+1.

Thanks again!

You can start with $\alpha^4 = \alpha + 1$, multiply by $\alpha$ and reduce (if necessary). Then repeat the procedure. If in case you don't want to list them all out, the following argument can be used. The multiplicative group of $E$ is cyclic of order $15$, so the multiplicative order of $\alpha$ has to divide $15$. Since neither $\alpha^3$ nor $\alpha^5$ is the identity, $\alpha$ must generate the group. Hence, every nonzero element of $E$ is of the form $\alpha^n$ for some natural number $n$.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

Replies
48
Views
4K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 26 ·
Replies
26
Views
741
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K