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

Using primary decomposition theorem to examine structurally distinct Abelian groups?

  1. Oct 9, 2012 #1
    I am just in to reviewing abstract algebra and came across a theorem I'd forgotten:

    http://en.wikipedia.org/wiki/Finitely-generated_abelian_group#Primary_decomposition

    (I linked to the theorem instead of writing it here just because I'm not sure how to write all those symbols here)


    Anyway, this seems super useful to me because there are a lot of theorems about the group of integers modulo n and their direct sums, (for example, I know if a is a generator of Zn, then am is a generator of Zn <=> m and n are relatively prime), and these groups are easier to conceptualize. So the primary decomposition theorem seems like a nice way to be able to take any general finite abelian group and put it in terms of a direct sum of these "Easy to deal with groups" of integers modulo m.


    But I have a question. All the questions in my book along the lines of "how many structurally distinct finite abelian groups of order n are there?" make use of the primary decomposition theorem and I don't understand why. For example, say I have a finite abeliian group G of order 12. The prime decompositioin of 12 is just (2)2(3) so using the primary decomposition theorem I know G is isomorphic to Z2 + Z2 + Z3 and it's also isomorphic to Z4 + Z3. But since it's isomorphic to both of these groups, wouldn't that mean these groups are isomorphic to each other as well? I mean, isomorphism preserves all the group structures, subgroups, etc., so all these groups would be pretty much structurally identical right? So how are they mutually non-isomorphic? I'm so confused!
     
  2. jcsd
  3. Oct 9, 2012 #2
    Re: Using primary decomposition theorem to examine structurally distinct Abelian grou

    Nevermind I understand my mistake. The prime decomposition theorem doesn't say a group G will be isomorphic to ALL Of those different groups, just that it's isosmorphic to one of them. I feel really stupid now.


    Ok, another question then, how do we know which one it is isomorphic to? Is there another theorem that tells us? Or do we just kind of use process of elimination by examining the different possibilities and finding which one it's structurally similar to?


    And one other question, why isn't it the case that in the example I gave, Z4 + Z3 and Z2 + Z2 + Z3 are not isomorphic? I mean I know I can go to the groups, maybe see for example that Z4+Z3 is cyclic while Z2+Z2+Z3 is not and so I'd know they aren't isomorphic because of that. But what's the more general reasoning? I imagine it has something to do with the fact that for example, all the elements in {4,3} are not relatively prime to all the elements in {2,3}. is there a theorem that says that Zm + Zn is isomorphic to Zk + Zh if say m is relatively prime with k and h and n is also relatively prime with k and h?
     
    Last edited: Oct 9, 2012
  4. Oct 10, 2012 #3
    Re: Using primary decomposition theorem to examine structurally distinct Abelian grou

    There is a theorem that says [itex]m,m[/itex] are co-prime iff [itex]Z_m \times Z_n \simeq Z_{mn}[/itex]. (Here I am abusing notation and writing the direct product for a direct sum.) So, that is why [itex]Z_2 \times Z_2[/itex] is not isomorphic to [itex]Z_4[/itex]. But, as you said, every finite abelian group can be written as the direct sum of factors like [itex]Z_{p^a}[/itex] where [itex]p[/itex] is prime. For each group, these [itex]p^a[/itex] are called the elementary divisors of G and any two groups are isomorphic iff they have the same elementary divisors.

    For example, if [itex]G_1 = Z_2 \times Z_2 \times Z_3[/itex] then the elementary divisors are [itex](2,2,3)[/itex] and if [itex]G_2 = Z_4 \times Z_3[/itex] then the elementary divisors are [itex](2^2,3)[/itex].
     
  5. Oct 10, 2012 #4
    Re: Using primary decomposition theorem to examine structurally distinct Abelian grou

    Thank you so much this is exactly what I was looking for!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Using primary decomposition theorem to examine structurally distinct Abelian groups?
Loading...