(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

Let [tex] p [/tex] be prime and let [tex] b_1 ,...,b_k [/tex] be non-negative integers. Show that if :

[tex] G \simeq (\mathbb{Z} / p )^{b_1} \oplus ... \oplus (\mathbb{Z} / p^k ) ^ {b_k} [/tex]

then the integers [tex] b_i [/tex] are uniquely determined by G . (Hint: consider the kernel of the homomorphism [tex] f_i :G \to G [/tex] that is multiplication by [tex] p^i [/tex] . Show that [tex] f_1 , f_2 [/tex] determine [tex] b_1[/tex].

Proceed similarly )

2. Relevant equations

The question, together with the theorem it should help me prove is attached (this question should help me prove the uniqueness part of the theorem)

3. The attempt at a solution

I've tried using the hint, and considering the homomorphism [tex] f_1 : G \to G [/tex] that is defined by [tex]f_1 (x ) = px [/tex] . Its kernel is [tex] ker f_1 = (\mathbb{Z}_p ) ^{b_1} \bigoplus (\mathbb{Z}_p) ^ {b_2} ... [/tex].

But how does it help me? Am I right in my calculation of the kernel?

Hope someone will be able to help me

Thanks in advance !

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Finitely Generated Abelian Groups

**Physics Forums | Science Articles, Homework Help, Discussion**