1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Primitive roots and there negatives

  1. Jun 17, 2011 #1
    1. The problem statement, all variables and given/known data

    if p is a prime of the form p=4k+1 and g is a primitive root of p, show that -g is a primitive root.


    I'm not sure if this is a decent proof or not. My final argument looks suspicious. Any thoughts?
    Thanks
    Tal
    3. The attempt at a solution


    First, notive that [tex] \phi(p)=4k [/tex]. we wish to show that [tex]ord_{p}(-g)=4k[/tex].

    Assume that [tex] \left(-g\right)^{d}\equiv1(p)[/tex] and [tex] d\neq4k[/tex] then d divides 4k.

    Assume that d=2a then [tex] \left(-g\right)^{2a}=1\cdot g^{2a}[/tex] implies that[tex] ord_{p}(g)=2a[/tex] a contradiction. Thus d must be odd.

    Assume that d is an odd factor of k. then [tex]\left(-1g\right)^{d}=-g^{d}\equiv1(p)\iff g^{d}\equiv-1\iff g^{2d}=1 thus ord_{p}(g)=2d [/tex]a contradiction.

    Thus [tex]ord_{p}(-g)=4k[/tex] and -g is a primitive root.
    1. The problem statement, all variables and given/known data
    1. The problem statement, all variables and given/known data



    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
  3. Jun 17, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Hi talolard! :smile:

    That looks like a decent proof to me! You may want to explain why [itex]ord_p(g)=2d[/itex] is a contradiction.
     
  4. Jun 17, 2011 #3
    Great!
    Thanks
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Primitive roots and there negatives
  1. Primitive roots? (Replies: 9)

  2. Primitive roots (Replies: 1)

  3. Primitive root (Replies: 1)

Loading...