Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A$ be a finite abelian group and $p$ be a prime, $p$ divides the order of $A$. Define: $A^p=\{a^p | a\in{A}\}$ and $A_p=\{x\in{A}|x^p=1\}$, where $1$ is the identity in $A$.

Show that $A/A^p\cong A_p$.

This is a homework problem. I am thinking of applying the First Isomorphism Theorem. I tried to define a surjective homomorphism $A\to A_p$ such that the kernel is $A^p$. But I am having trouble finding such a map.

share|improve this question
1  
I see that you are a new user on MSE. Welcome =) If this is a homework question you should add the homework tag. You get people more interested in your question if you show some of your thoughts on the question ; when you're close enough to the solution we could just give you what you need to finish, instead of giving you a full solution. If you're not finding anything we're still willing to help though. Have fun here! –  Patrick Da Silva Mar 7 '12 at 3:49
    
This is very closely related to this question (which is for $p=2$). In fact, I'm tempted to call it a duplicate. –  Arturo Magidin Mar 7 '12 at 5:18
add comment

2 Answers

Since $A$ is a direct sum of cyclic groups and the operations $(-)^p$ and $(-)_p$ on groups distribute over direct sums, it is enough to prove this for cyclic groups.

This is easy :)

share|improve this answer
    
Another way to see things, but the map from $A$ to $A^p$ doesn't break everything down uselessly... still a good idea though. –  Patrick Da Silva Mar 7 '12 at 3:50
2  
Uselessly breaking things down into «indecomposable» parts is quite not a useless approach... –  Mariano Suárez-Alvarez Mar 7 '12 at 3:53
    
I am not saying that =) I am saying that here the breaking down is not necessary. Perhaps the word useless was rude. =P –  Patrick Da Silva Mar 7 '12 at 4:07
    
@Patrick: As far as I can tell, you do need to break up the group into cyclic factors. The isomorphism $A/A_p\to A^p$ is natural, but the isomorphism $A/A^p\to A_p$ is not. –  Arturo Magidin Mar 7 '12 at 5:41
1  
@PatrickDaSilva: See this question (for which I voted this as a duplicate) and the answers for some comments on it. –  Arturo Magidin Mar 7 '12 at 6:31
show 1 more comment

$\bf Hint:$ Consider the map $f:A\to A^p$ given by $f(a)=a^p$ which is a homomorphism since $A$ is Abelian.

share|improve this answer
    
I am afraid that I do not get your hint, could you please show more details? Thank you. –  John Smith Mar 7 '12 at 4:05
2  
This yields an isomorphism $A/A_p \cong A^p$. The OP might be confused as to how to obtain the desired isomorphism from this. –  Dylan Moreland Mar 7 '12 at 4:15
    
Here is exactly where I am stuck.... –  John Smith Mar 7 '12 at 4:50
    
I don't see a way around using the classification of finite abelian groups as in Mariano's answer, but I'm willing to be surprised. –  Dylan Moreland Mar 7 '12 at 4:56
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.