Ask Your Question
0

residocity of elements in an extension of $\mathbb{F}_p$

asked 2016-09-14 16:06:29 +0100

vishb gravatar image

updated 2016-09-15 02:49:06 +0100

Consider the following code :-

p=10010113
F=GF(p)
R=PolynomialRing(F,'x')
f=x^5 + 3212480*x^4 + 5943978*x^3 + 1041193*x^2 + 3212605*x + 4505026
F1.<a>=F.extension(f)
R1=PolynomialRing(F1,'x')
f1=derivative(f(x),x)
b=R1(f1(a))
b=F1(b)

Now since b $in $ F1 . Therefore F1(b**p^5-1) should output 1, but I am getting this output

sage: F1(b**(((p^5)-1)))
/usr/lib/sagemath/local/bin/sage-ipython:1: RuntimeWarning: invalid value encountered in power
  #!/usr/bin/env python
9745575*a^4 + 8100949*a^3 + 6855548*a^2 + 351457*a + 548263

Which is absurd !

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
0

answered 2016-09-19 22:13:20 +0100

tmonteil gravatar image

updated 2016-09-19 22:14:56 +0100

First, i guess that you write

sage: R.inject_variables()
Defining x

to let the Python name x point to the indeterminate x after defining R. Then, indeed, since $(F1\setminus \{0\},\times)$ is a group of order p^5-1, you should have $b^{p^5-1}=1$, but it is not what you are writing, some parentheses are missing, you should write:

sage: b^(p^5-1)
1

which works !

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-09-14 16:06:29 +0100

Seen: 254 times

Last updated: Sep 19 '16