Proof of union of subgroups as a subgroup

In summary, the proof shows that if (H,o) and (K,o) are subgroups of a group (G,o), then (H \cap K,o) is also a subgroup of (G,o). To prove this, it is shown that the identity element of G is also in H and K, making the intersection not empty. Then, using the fact that j and k are in H and K, it is shown that their product is also in H and K, leading to the conclusion that (H \cap K,o) is a subgroup of (G,o). As for the second conversation, the proof relies on the definition of ^2 and the fact that G is an Abelian group,
  • #1
needhelp83
199
0
Prove that if (H,o) and (K,o) are subgroups of a group (G,o), then (H [tex]\cap[/tex] K,o) is a subgroup of (G,o).

Proof:
The identity e of G is in H and K, so e [tex]\in[/tex] H[tex]\cap[/tex]K and H[tex]\cap[/tex]K is not empty. Assume j,k [tex]\in[/tex] H[tex]\cap[/tex]K. Thus jk[tex]^{-1}[/tex] is in H and K, since j and k are in H and K. Therefore, jk[tex]^{-1}[/tex] [tex]\in[/tex] H [tex]\cap[/tex] K making H[tex]\cap[/tex]K a subgroup.

Just trying to check this proof and see if I did a a good job at it.

Let (G,o) be an Abelian group and let a,b [tex]\in[/tex] G, Prove that (a o b)[tex]^{2}[/tex]=a[tex]^{2}[/tex] o b[tex]^{2}[/tex]


Not sure where to begin with this proof. Any help?
 
Physics news on Phys.org
  • #2


The first one is fine
For the second just use definition of ^2
(a*b)^2= (a*b)*(a*b)
and definition of abelian groups i.e cahnging places of elements does not effeect anything
 
  • #3


Thanks for the help matness
 

1. What is the proof of union of subgroups as a subgroup?

The proof of union of subgroups as a subgroup is a mathematical concept that shows that the union of two or more subgroups of a group is also a subgroup of that group. In other words, if we have two or more subgroups of a group, their union will also satisfy the properties of a subgroup.

2. Why is it important to prove the union of subgroups as a subgroup?

Proving the union of subgroups as a subgroup is important because it helps us understand the structure and properties of groups better. It also allows us to make conclusions and solve problems related to subgroups without having to consider each subgroup individually.

3. How is the proof of union of subgroups as a subgroup typically done?

The proof of union of subgroups as a subgroup is typically done using the subgroup criterion. This criterion states that a non-empty subset of a group is a subgroup if and only if it is closed under the group operation and contains the inverse of each of its elements.

4. Can the union of subgroups be a subgroup if the subgroups are not normal?

Yes, the union of subgroups can still be a subgroup even if the subgroups are not normal. However, in this case, the subgroup may not be a normal subgroup of the larger group.

5. Are there any exceptions to the proof of union of subgroups as a subgroup?

The proof of union of subgroups as a subgroup holds true for all groups, except for infinite groups. In some cases, the union of subgroups may not be a subgroup of an infinite group because the union may not satisfy the closure property.

Similar threads

  • Calculus and Beyond Homework Help
Replies
1
Views
904
  • Calculus and Beyond Homework Help
Replies
1
Views
768
  • Calculus and Beyond Homework Help
Replies
4
Views
819
  • Calculus and Beyond Homework Help
Replies
7
Views
950
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
6
Views
810
  • Calculus and Beyond Homework Help
Replies
9
Views
1K
Back
Top