Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Does Z*(n) always have a generator?

  1. Feb 8, 2013 #1
    Hey this question is going to sound really basic and dumb but I'm new to abstract algebra and not very good at this stuff. When I am talking about Z*(n), to be clear, I mean the multiplicative group of integers mod n, or the way I'm always thinking about it, the units of Z(n). (I'm not sure what the actual name for Z(n) is, but it's the equivalence classes of the integers mod n, so for example, Z(3) = {[0],[1],[2]}, Z(4) = {[0],[1],[2],[3]}, etc.)

    Now, it seems like Z*(n) always has some generator. But I don't want to just assume that's the case. I understand that Z*(n) is cyclic, but does every cyclic group have a generator? (or is this just part of the definition of being cyclic - that it's a group built up by some generator) Is there a theorem that says Z*(n) is cyclic? Also, how can I tell how many generators of Z*(n) there are? For example when I'm building up Dirichlet tables for Z*(n) I notice for example Z*(5) has two generators: [2] and [3], while some of the others only have a single generator. Is there any theorem that tells me exactly how many generators there are?
     
  2. jcsd
  3. Feb 8, 2013 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    A cyclic group is by definition a group with a generator.

    No, because it's not true. Take [itex]\mathbb{Z}^*(8)=\{1,3,5,7\}[/itex]. Then we have that [itex]3^2=5^2=7^2=1[/itex]. So there is no generator.

    However, when n is a prime number, then it is true. In general, if you have a field, then every finite, multiplicative subgroup of the field is cyclic. Some proofs can be found here: http://mathoverflow.net/questions/5...multiplicative-subgroups-of-fields-are-cyclic

    If you have a cyclic group of order k, let's say [itex]\{e,g,g^2,...,g^k\}[/itex]. Then one can prove that the order of an element [itex]g^t[/itex]is equal to [itex]\frac{k}{gcd(k,t)}[/itex]. So the number of generators of the group is equal to the number of t such that [itex]gcd(k,t)=1[/itex]. This number is denoted by [itex]\varphi(t)-1[/itex] and is called the Euler totient function.

    In the case of [itex]\mathbb{Z}^*(n)[/itex]. If n is a prime, then this is cyclic with order n-1. So the number of generators is given by [itex]\varphi(n-1)-1[/itex].
    http://en.wikipedia.org/wiki/Euler's_totient_function
     
  4. Feb 9, 2013 #3
    THank you so much. I did not realize that Z^{*}(n) was not cyclic and feel kind of stupid now for thinking it (always) was.

    And wow... thank you more than you know for letting me know about that relationship between the Euler totient function and the number of generators of a cyclic group. This is extremely helpful!
     
  5. Feb 9, 2013 #4
    Wait... I'm confused about one thing. How can the order of every element a in a cyclic group be, t/gcd(k,t) where k is the order of the group and a = g^t for a generator g. The reason I ask is because gcd(k,1) = 1, and so that makes it sound like the order of 1 will be t, which would make it a generator, but it's never a generator. I imagine thats why you're subtracting the 1, but I was just wondering if you could clarify which theorem you were pointing to to get that because again I'm confused why it makes it look like the identity is a generator.
     
  6. Feb 9, 2013 #5

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    OK, but I'm working in the cyclic groups [itex]\{1,g,g^2,...,g^{k-1}\}[/itex]. So I have that [itex]1=g^0[/itex], so t=0. So the order of 1 is [itex]k/gcd(k,0)[/itex]. It might not be very easy to see what gcd(k,0) is though. But we can also write [itex]1=g^k[/itex]. This makes it easier because then t=0 and the order is [itex]k/gcd(k,k)=k/k=1[/itex]. Like expected.

    This actually implies that the right definition of gcd(k,0) would be gcd(k,0)=k.
     
  7. Feb 9, 2013 #6
    oooh ok that makes sense. Let me make sure I understand though. So say we are in Z*(n) and say we have a generator, say [2]. [2] being a generator means that [2][2]= some other element in Z*(n), and [2][2][2] yet another... all the way until we multiply n of them to get [2][2]...[2] (n times) = [1]. So [2]^n = 1, but [n]=[0], so is that why you are referring to using 0 instead?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Does Z*(n) always have a generator?
  1. Does gcd(n, n+1)=1? (Replies: 8)

  2. Generators for Gl(n,R)? (Replies: 15)

Loading...