Re: Generator of a group
From: Marcel Martin (mm_at_nowhere.net)
Date: 01/05/05
- Next message: Alex Vinokur: "Re: Help needed for a sorting code in the literature"
- Previous message: David A. Scott: "Re: C vs. fortran or C++ vs. Ada"
- In reply to: Mok-Kong Shen: "Re: Generator of a group"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Date: Wed, 05 Jan 2005 15:38:33 +0100
Mok-Kong Shen a écrit :
>
> Marcel Martin wrote:
> > Tobias Ruske a écrit :
> >
>
> >>I've been looking for an algorithm, to find a generator g of the group
> >>of quadratic residues modulo p (p is a prime). Can anyone help me?
> >
> > Assuming p is odd, suppose x is a primitive root modulo p and
> > consider the p-1 terms of the sequence:
> >
> > 1, x, x^2, x^3, x^4, ..., x^(p-2)
> >
> > Since this sequence is a permutation of 1,2,3,...,p-1, it contains
> > all the quadratic residues modulo p and these ones are given by the
> > sub-sequence:
> >
> > 1, x^2, x^4, ..., x^(p-3)
> >
> > If a power of x can generate this sub-sequence then it is the
> > generator you want.
> > Yes, now, your problem is "how to find a primitive root modulo p and
> > to square it?" :-)
>
> Wouldn't the way as indicated in HAC 4.80 be better than
> via finding a primitive root? Thanks.
As Phil answered, HAC 4.80 _is_ "how to find a primitive root".
What I wanted was to show to the OP the link between a generator
of the multiplicative group of Z/p (a primitive root) and a
generator of the quadratic residue sub-group. But I wanted to
do that without using formulas (beginners can make use of formulas
but does it make that they really understand what they are doing?)
-- mm http://www.ellipsa.net/
- Next message: Alex Vinokur: "Re: Help needed for a sorting code in the literature"
- Previous message: David A. Scott: "Re: C vs. fortran or C++ vs. Ada"
- In reply to: Mok-Kong Shen: "Re: Generator of a group"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Relevant Pages
|