Group Theory: Proving Subgroup of Elements of Order 2 and e

Click For Summary

Homework Help Overview

The problem involves proving that the elements of order 2 and the identity element e in a commutative group G form a subgroup. The discussion centers around the properties and requirements for a subset to qualify as a subgroup.

Discussion Character

  • Exploratory, Conceptual clarification, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the necessary properties to verify for a subset to be a subgroup, including associativity, identity, and inverses, while expressing uncertainty about closure. There is a specific focus on proving that the product of two elements of order 2 also has order 2.

Discussion Status

The discussion is ongoing, with participants exploring different properties that need to be verified for the subgroup proof. Some guidance has been offered regarding the evaluation of the product of elements of order 2, but no consensus has been reached.

Contextual Notes

Participants are considering the implications of commutativity in their proofs and are questioning how to demonstrate closure within the subset of elements of order 2 and the identity element.

HuaYongLi
Messages
16
Reaction score
0

Homework Statement


G is a commutative group, prove that the elements of order 2 and the identity element e form a subgroup.


Homework Equations





The Attempt at a Solution


I don't know where to even begin.
 
Physics news on Phys.org
Given any subset [tex]H \subset G[/tex], how would you attempt to prove that it is a subgroup of [tex]G[/tex]? What properties of [tex]H[/tex] would you attempt to verify?
 
Well I guess associativity, unique inverse and identity element are all trivial.
What I'm having trouble with is closure, proving that for any elements a and b in the group, ab is also in the group.
 
You need to prove that if a and b are elements of order 2 (i.e. [itex]a^{2} = b^{2} = e[/itex]), then so is [itex]c = a b[/itex]. You need to evaluate [itex]c^{2}[/itex] and use the commutativity of the group.
 
Thank You
 

Similar threads

Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K