Proof of union of subgroups as a subgroup

Click For Summary
SUMMARY

The discussion centers on proving that the intersection of two subgroups, (H ∩ K, o), is itself a subgroup of a group (G, o). The proof establishes that the identity element e is present in both H and K, confirming that H ∩ K is non-empty. Furthermore, it demonstrates that for any elements j and k in H ∩ K, the product jk⁻¹ also belongs to H ∩ K, thus satisfying the subgroup criteria. Additionally, a secondary proof is requested regarding the property of Abelian groups, specifically proving that (a o b)² = a² o b².

PREREQUISITES
  • Understanding of group theory, specifically subgroup properties.
  • Familiarity with the definition of the identity element in groups.
  • Knowledge of Abelian groups and their properties.
  • Basic proof techniques in abstract algebra.
NEXT STEPS
  • Study the properties of subgroup intersections in group theory.
  • Learn about the identity element and its role in subgroup verification.
  • Explore the characteristics of Abelian groups and their implications on operations.
  • Practice proving algebraic identities within group structures.
USEFUL FOR

This discussion is beneficial for students of abstract algebra, mathematicians focusing on group theory, and anyone interested in understanding subgroup properties and Abelian group characteristics.

needhelp83
Messages
193
Reaction score
0
Prove that if (H,o) and (K,o) are subgroups of a group (G,o), then (H \cap K,o) is a subgroup of (G,o).

Proof:
The identity e of G is in H and K, so e \in H\capK and H\capK is not empty. Assume j,k \in H\capK. Thus jk^{-1} is in H and K, since j and k are in H and K. Therefore, jk^{-1} \in H \cap K making H\capK 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 \in G, Prove that (a o b)^{2}=a^{2} o b^{2}


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


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
 


Thanks for the help matness
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K