Re: Easy question in algebra



On Sun, 21 Aug 2005 02:19:26 +0200, Anna Jansen
<ajansen77_spamfree@xxxxxx> wrote:

>Hi,
>
>I suppose this is an easy question in algebra:
>Let p,q be prime. Let further p=2q+1. Let g be an element of order q of
>the multiplicative group Z_p^*. So g is a generator of the order-q
>subgroup of Z_p^*. Every element h=g^x, for x \in {1, ..., q-1} is a
>generator of G. Is this correct? I suppose yes. Why is it not correct
>for x= q? Is the reason for that, that g^q =1 and 1 is not a generator of G?
>
>Thanks for your help

Yes and yes.

Your reasoning is correct.

In any group, 1 has order 1 no other element can have order 1.

In this subgroup, since q is prime and since the order of an element
must divide the order of any containing group, all elements other than
1 must have order exactly q, hence they generate the subgroup.

quasi
.



Relevant Pages

  • 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)
  • Re: Running Generator
    ... I judge generator use by context and by who was there first. ... the primo camping spots near me is worth the noise. ... The reason why I asked the question is because I wanted to make sure ... observe all rules with regards to quiet time. ...
    (rec.outdoors.rv-travel)
  • Re: generators be bound
    ... > Tom St Denis wrote: ... if you have a subgroup of a cyclic ... According to the folk here that's not a generator. ... be a sub-group of it as well. ...
    (sci.crypt)