A External Direct Sum of Groups Problem

e(ho0n3
Messages
1,349
Reaction score
0
Homework Statement
Find a subgroup of Z_4 \oplus Z_2 that is not of the form H \oplus K where H is a subgroup of Z_4 and K is a subgroup of Z_2.

The attempt at a solution
I'm guessing I need to find an H \oplus K where either H or K is not a subgroup. But this seems impossible. Obviously (0, 0) will be in H \oplus K so 0 is in H and 0 is in K. If (a, b) and (c, d) are elements of H \oplus K, (a, b) + (c, d) = (a + c, b + d) is in H \oplus K so a, c, and a + b must be in H and b, d, and b + d must be in K. Since these are finite groups, H and K must be subgroups by closure. What's going on?
 
Physics news on Phys.org
You want to find a subgroup that's NOT of the form H+K. Don't assume it's of the form H+K to begin with. Consider the subgroup generated by (2,1)? It has order two. What subgroups of the form H+K have order two. Is this one of them?
 
I understand now. Thanks for the tip.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top