Results 1 to 6 of 6

Math Help - Abstract Math Group

  1. #1
    Junior Member
    Joined
    Sep 2008
    Posts
    53

    Abstract Math Group

    1) Find all the distinct generators of the group \mathbb{Z}_{11} w.r.t. multiplication.

    2) Find all the subgroups of group \mathbb{Z}_{11}


    Is there a way to find all the distinct generators without computing every element in \mathbb{Z}_{11}?
    Last edited by TitaniumX; March 18th 2009 at 02:30 PM. Reason: fix latex
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Hi

    Of course there is a way: let n be an integer, the generators of \mathbb{Z}_n are the classes of integers which are relatively prime with n, i.e. \{[x]\in\mathbb{Z}_n;\ gcd(x,n)=1\}

    That comes from Bezout relation: gcd(x,n)=1\Rightarrow \exists u,v\in\mathbb{Z},\ ux+vn=1 \Rightarrow [u][x]=[1] so [x] is a generator.

    Conversely, [x] generator \Rightarrow \exists u\in\mathbb{N},\ [u][x]=1\Rightarrow \exists u,v\in \mathbb{Z},\ ux=1-vn
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Sep 2008
    Posts
    53
    Quote Originally Posted by clic-clac View Post
    Hi

    Of course there is a way: let n be an integer, the generators of \mathbb{Z}_n are the classes of integers which are relatively prime with n, i.e. \{[x]\in\mathbb{Z}_n;\ gcd(x,n)=1\}

    That comes from Bezout relation: gcd(x,n)=1\Rightarrow \exists u,v\in\mathbb{Z},\ ux+vn=1 \Rightarrow [u][x]=[1] so [x] is a generator.

    Conversely, [x] generator \Rightarrow \exists u\in\mathbb{N},\ [u][x]=1\Rightarrow \exists u,v\in \mathbb{Z},\ ux=1-vn
    Does the GCD=1 work for the group {Z}_{11} with respect to multiplication?

    Because since 11 is prime, every number less than 11 must also be relatively prime, but not all those numbers are distinct generators. Those are [2],[6],[7],[8]. Can you use some trick to figure those out without testing all the elements in {Z}_{11}?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Multiplication? I don't understand, \mathbb{Z}_{11} is an additive group, and since 11 is a prime, every non-zero class is a generator.
    Last edited by clic-clac; March 18th 2009 at 12:33 PM. Reason: cor
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Sep 2008
    Posts
    53
    Quote Originally Posted by clic-clac View Post
    Multiplication? I don't understand, \mathbb{Z}_{11} is an additive group, and since 11 is a prime, every non-zero class is a generator.
    {Z}_{11} can be a multiplicative group also. All the non-zero elements of {Z}_{11} ([1],[2],[3],[4].....[11]) also form a group under multiplication. This can be verified using a Cayley table. In fact, for any {Z}_{n} when n is prime, it forms a group w.r.t. multiplication.

    It can easily be verified that [2],[6],[7],[8] are distinct generators for the group under multiplication. But I was wondering if there's an easier way to get those answers, like the ones for the additive group just by knowing which element is relatively prime to n?


    EDIT:
    For multiplication, for example [10] only generate the set {[1],[10} and [3] generates the set {[1],[3],[9],[5],[4]} and etc. But the classes I mentioned above will generate the whole group. I got those values by doing it manually, but if n is large like {Z}_{97}, it will be a very laborious process.
    Last edited by TitaniumX; March 18th 2009 at 02:26 PM.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Quote Originally Posted by TitaniumX View Post
    ([1],[2],[3],[4].....[11])
    Is the last [10]?

    If yes ok, I see that's what I call \mathbb{Z}_{11}^*
    This group is isomorphic to (\mathbb{Z}_{\phi(11)},+)=(\mathbb{Z}_{10},+)

    So it's a cyclic group, and since only 1,3,7,9 are relative primes with 10, it has 4 distinct generators.

    To easily find the generators, maybe there are formulas but I don't see one now.
    What can be done is, if you know a generator of \mathbb{Z}_{11}^*, for instance [2], then the group isomomorphism \mathbb{Z}_{10},+)\rightarrow (\mathbb{Z}_{11}^*,.)" alt="\psi\mathbb{Z}_{10},+)\rightarrow (\mathbb{Z}_{11}^*,.)" /> such that [1]\mapsto [2] gives you the others generators: \psi([3]),\ \psi([7]),\ \psi([9])
    Indeed, \psi([3])=[2]^3=[8],\ \psi([7])=[8]^2[2]=[-3]^2[2]=[7] and \psi([9])=[8]^3=[-3]^3=[-27]=[6]
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: February 16th 2011, 03:58 PM
  2. abstract algebra (group)
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: February 10th 2010, 10:07 AM
  3. group theory abstract algebra
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: October 26th 2009, 04:54 PM
  4. Abstract Algebra- order of a group
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: July 1st 2009, 06:23 PM
  5. abstract group and field
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 13th 2009, 09:05 AM

Search Tags


/mathhelpforum @mathhelpforum