#Number theory

1 messages · Page 1 of 1 (latest)

echo sedge
#

prove that for all character $\chi \neq 1$ of $\mathbb F_p$ for any prime q it holds that:

$g(\chi)^q \equiv \chi(q)^{-q}g(\chi^q)$ mod p

also I need to prove that assuming:

$g(\chi_\pi)^2 = -1(-1)^{\frac{p-1}{4}} \sqrt p (a+bi)$ it holds that: $\chi_{a+bi}(q) \equiv p^{\frac{q-1}{4}}(a+bi)^{\frac{q-1}{2}}$ mod q

and also that assuming $(a+bi)^{(q-1)/2} \equiv (-1)^{(q-1)/4} (\frac{ad-bc}{q})$ mod p i get that q is a quadratic residue mod p iff $-(ad-bc)^2p$ is a quadratic residue mod q

I have that $q = c^2+d^2$ and $p=a^2+b^2$ primes such that b,d are even

crude condorBOT
#
  1. Do not ping the Moderators, unless someone is breaking the rules.
  2. Do not ping the Helper Moderators, unless there is a conflict between helpers.
  3. Do not ping other members randomly for help.
  4. Ask your question and show the work you've done so far. If you've posted a screenshot of a question, specify which part you need help with.
  5. Wait patiently for a helper to come along.
  6. If the Helper has answered your question, remember to thank them with the Mathematics Ranks bot and close the thread with:

+close
Feel free to nominate the person for helper of the week in #helper-nominations
If you're happy with the help you got here, and the server overall, you can contribute financially as well:

hexed knotBOT
#

mtr123

echo sedge
#

anyone?

magic egret
#

does the first one hold for all primes or just powers of p?

#

hmmm

#

cuz like

#

when q=p you just apply frobenius and get it trivially

#

okay well I might see it

echo sedge
#

i figured the first one actually, so let me edit that @magic egret

magic egret
#

do you have these problems written somewhere?

#

or like

echo sedge
#

what I'm trying to show now is:
assuming we have $g(\chi_\pi)^2 = -1(-1)^{\frac{p-1}{4}}\sqrt p (a+bi)$ we conclude that

$\chi_{a+bi} (q) \equiv p^{\frac{q-1}{4}}(a+bi)^{\frac{q-1}{2}}$ mod q

hexed knotBOT
#

mtr123

echo sedge
#

assuming that

#

conclude that 🙂

#

also not 100% sure about the transitions here

magic egret
#

is this from ireland and rosen lol

echo sedge
#

think so, why?

echo sedge
#

+close

quiet sphinxBOT
# echo sedge +close
Do you still want to close your help request?

No eligible helpers were found in this thread. You can still close this post if you don't require helper any longer.