Chapter 4. Finite field algebra wrong formula

[hebasto]

• w² = w² ⋅ 1 = w² ⋅ w^p–1 = w^(p+1)

Since p is odd (recall p is prime), we know we can divide (p+1) by 2 and still get an integer, implying:

• w = w^(p+1)/2

Correct conclusion is:

• ±w = w^(p+1)/2