if is generator of a cyclic group, show that is also the generator of that group.

Results 1 to 6 of 6

- Oct 21st 2009, 11:03 AM #1

- Joined
- Oct 2009
- Posts
- 44

- Oct 21st 2009, 11:51 AM #2

- Oct 21st 2009, 12:01 PM #3
I believe you forgot the word "Finite"...

So, assuming we are in finite groups:

The question is essentially asking you "does hold?", where is the order of the element . Can you see why these two things are equivalent?

If you can, then the proof becomes much easier. Assume they have different orders, and w.l.o.g. let . Then plug this in and if you can't find a contradiction just say and someone will give more help.

I should point out that*by definition*, where . That is to say, when we talk about generating elements of a group then the inverse of the elements are also taken to be in the generating set. For instance, , however clearly no sum of 1's will give you the element .

Also, try to post fewer new threads in such a short space of time. It make people think you just haven't tried. At the very least, put them all into one thread...

- Oct 21st 2009, 04:48 PM #4

- Joined
- Apr 2009
- Posts
- 678
- Thanks
- 1

- Oct 21st 2009, 05:56 PM #5

- Joined
- Apr 2009
- From
- México
- Posts
- 721

- Oct 22nd 2009, 12:10 AM #6
In reply to aman_cc and Jose27, essentially it comes down to how we define where .

Technically, it is defined to be,

.

Basically, what Jose27 said is what I mean - you take powers of integers not natural numbers. Although this is correct it is, perhaps, less correct than saying . For instance, when you construct the free group over the alphabet you would say it in this way (as in, you take an element of your alphabet and you have to place it's inverse in by hand).

Also, when working in a finite group you would just use powers of natural numbers, as you get the inverses for free. Thus, people don't think about the inverses.

Finally, if we talk about the generator of a group as a semigroup then you*cannot*take integer powers, you have to use the natural numbers. So, for instance, as semigroups a finite cyclic group is just for some , but

In short, , and answering the question the way I did it stops it becoming a non-question and is probably because I play to much with semigroups...