• Support PF! Buy your school textbooks, materials and every day products Here!

A External Direct Sum of Groups Problem

  • Thread starter e(ho0n3
  • Start date
  • #1
1,357
0
Homework Statement
Find a subgroup of [itex]Z_4 \oplus Z_2[/itex] that is not of the form [itex]H \oplus K[/itex] where H is a subgroup of [itex]Z_4[/itex] and K is a subgroup of [itex]Z_2[/itex].

The attempt at a solution
I'm guessing I need to find an [itex]H \oplus K[/itex] where either H or K is not a subgroup. But this seems impossible. Obviously (0, 0) will be in [itex]H \oplus K[/itex] so 0 is in H and 0 is in K. If (a, b) and (c, d) are elements of [itex]H \oplus K[/itex], (a, b) + (c, d) = (a + c, b + d) is in [itex]H \oplus K[/itex] 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?
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,258
618
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?
 
  • #3
1,357
0
I understand now. Thanks for the tip.
 

Related Threads for: A External Direct Sum of Groups Problem

Replies
3
Views
2K
Replies
7
Views
469
Replies
2
Views
9K
  • Last Post
Replies
2
Views
10K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
11
Views
636
Replies
1
Views
905
Replies
3
Views
2K
Top