Re: Ref for a proof?

On Feb 25, 4:08 am, Peter Fairbrother <zenadsl6...@xxxxxxxxx> wrote:
Does anyone know a reference for a proof for this: that every member (except
1) of the group of quadratic residues modulo a "safe" prime p = 2q + 1,
where q is also prime, is a generator of that group?

more generally, if p = rq+1 for primes p,q then if z = x^r mod p > 1,
it's a generator of the subgroup of order q

more generally, if x is a group element of order n, x^r is an element
of order n/gcd(r,n)

- xmath

.

Relevant Pages

  • Re: Generator of a group
    ... >>hitting at a generator has a higer chance of success when dealing ... > But in both cases, before applying HAC 4.80, the first thing to do ... "Dealing with QR_p directly" means randomly choosing a candidate ... group element x of QR_p and test it with HAC 4.80 to find ...
    (sci.crypt)
  • Re: Generator of a group
    ... > group element x of QR_p and test it with HAC 4.80 to find ... > a generator of QR_p, in contrast to employing the same procedure ...
    (sci.crypt)
  • Re: generators be bound
    ... >> definition a generator of that subgroup. ... According to the folk here that's not a generator. ... Generator of a proper subgroup. ... "the multiplicative group of maximal order" is ...
    (sci.crypt)
  • Re: normalizer of Q8 in SL(2,q)
    ... Edwin Clark wrote: ... This commutes with the first generator, ... automorphism group by the inner automorphisms is isomorphic to S_3. ... Hence N/Q_8 is isomorphic to a subgroup of S_3. ...
    (sci.math)
  • Re: Parameters for Diffie-Hellman-Merkle
    ... Richard Heathfield wrote: ... >Paul Crowley wrote: ... then it's a generator of the order Q subgroup. ...
    (sci.crypt)