MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


I have a finite field Fp with p = 11 mod(12) and I am trying to get the third nontrivial root of unity in Fp^2 = Fp^2[x]/(x^2+1). So, i need x where x^3=1.

Somehow I came into a source saying that it would be: (p-1)/2 + (3^((p+1)/4)) mod(p))*i where i^2=-1. But it seems not to be correct: Any idea?

share|cite|improve this question

closed as off topic by Franz Lemmermeyer, Zev Chonoles, Mariano Suárez-Alvarez, Daniel Litt, Felipe Voloch Mar 25 '11 at 20:19

Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here.If this question can be reworded to fit the rules in the help center, please edit the question.

Presumably you mean $F_{p^2}[x]/(x^2+1)$? – Zev Chonoles Mar 25 '11 at 19:17
Yes. I meant that! – Niti Mar 25 '11 at 19:19
You can edit your question - the "edit" button is right underneath the tags. Also, you mean "nontrivial cube root of unity", not "third nontrivial root of unity", because every element of a finite field other than 0 and 1 is a nontrivial root of unity. – Zev Chonoles Mar 25 '11 at 19:22
Also, I'm afraid that your question is not at the right level for MO, but there are many other sites where your question would be better suited. See – Zev Chonoles Mar 25 '11 at 19:23
Right. However, the polynomial $x^2+1$ already has its roots in $F_{p^2}$, so $F_{p^2}[x]/(x^2+1)$ cannot be a finite field. – Zev Chonoles Mar 25 '11 at 19:27
up vote 0 down vote accepted

OK, this is about imitating the formula for a complex cube root of unity. Write p as 12k - 1. The real issue is only why 3 to the power 3k should act as square root of 3 in this field. Square it and apply Fermat's little theorem to see why. (There is a missing factor 2 in the formula you gave.)

share|cite|improve this answer
Hi Charles, where exactly do you think the 2 is missing? – Niti Mar 26 '11 at 10:52
Please write down the formula for a complex cube root of unity. – Charles Matthews Mar 26 '11 at 11:14
lets say z^3=1. Then z in complex (Re{z} + i* Im{z}): Re{z} = (p-1)/2, Im{z} = 3^((p+1)/4) mod(p) – Niti Mar 26 '11 at 12:49
Sigh. Like in The formula you are proposing mimics that formula, but it is all over the factor 2. Anyway I guess I gave the wrong reason about the square root of 3, since quadratic reciprocity should enter. But like everyone said, MO is the wrong forum; and your statement had a couple of errors also. – Charles Matthews Mar 26 '11 at 13:34
Thank you very much! I got it now. You are my hero. Anyway I am surprised why all of you get so uppset. I made some errors but... I am just trying to learn. – Niti Mar 26 '11 at 16:48

Not the answer you're looking for? Browse other questions tagged or ask your own question.