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

Groups. I am stumped again.

  1. May 17, 2004 #1
    Okay, I'm really scratching my head here.

    If an Abelian group A has three generators x,y,z and they are subject to three defining relations, say something like


    then I can solve for x,y,z and find A as a direct sum of cyclic groups, Z_x + Z_y + Z_z.

    But what do I do if the three equations are not linearly independent? I get left with everything in terms of x and I can't just plug in the numbers.

  2. jcsd
  3. May 17, 2004 #2


    User Avatar
    Science Advisor
    Homework Helper

    I don't understand

    There's some context missing:

    Let's say you've got generators [tex]\{x,y,z\}[/tex] and the relations:
    Which are equivalent to the claim that the group is abelian.

    Now we add the following relations:

    So at this point, this group is equivalent to [tex]\mathbb{Z} \times \mathbb{Z} \times \mathbb{Z}[/tex] and the system of defining relations is clearly not linearly independant.
  4. May 17, 2004 #3

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    you probably oughtn't to confuse additive and multiplicative notation in the same thread
  5. Sep 17, 2004 #4


    User Avatar
    Science Advisor
    Homework Helper

    nexus, you are talking about a representation of your abelian group as a cokernel of a map which is not necessarily injective.

    by the way your example is non sense as your groupo as described is zero.

    i.e. you gave so many relations that everything was trivial.

    In general if you have n generators, that emans you map a direct sum of n copies of Z onto the group. then telling what say r relations are, is giving a generating set for the kernel of that map, hence it lets you map another direct sum of r copies of Z onto the kernel.

    So now you have a linear map from r copies of Z, to n copies of Z, given by a matrix of integers. and your group is the cokernel of this map.

    To get the explicit structure of the group, you just diagonalize the matrix using row and column operations. Then you can easily see the group structure, as the quotient of the direct sums then becoems the direct sum of the quotients of the diagonal maps, i.e. one dimensional maps.

    this is the usual proof of the structure theorem for finitely generated abelian groups.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook