All Subgroups of S3: Lagrange's Theorem Explained

  • Thread starter Thread starter e179285
  • Start date Start date
  • Tags Tags
    Subgroup
Click For Summary

Homework Help Overview

The discussion revolves around identifying all subgroups of the symmetric group S3, utilizing Lagrange's Theorem. Participants explore the possible orders of subgroups and their corresponding elements.

Discussion Character

  • Conceptual clarification, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the requirements for subgroups, including the necessity of containing the identity element. They identify specific subgroups of various orders and question the meaning of "H5" in this context.

Discussion Status

The conversation is active, with participants providing examples of subgroups and questioning the terminology used. There is no explicit consensus on the interpretation of "H5," indicating ongoing exploration of the topic.

Contextual Notes

Participants reference Lagrange's Theorem and the constraints it imposes on subgroup orders, specifically noting that they must be divisors of the group's order, which is 6 in this case.

e179285
Messages
24
Reaction score
0
The question wants all subgroups of S3 . If H≤S 3 , then ; IHI=1,2,3,6 by Lagrance's Theorem.

In other words, order of H can be 1,2,3 and 6.

What ı want to ask is how to write subgroup of S3. For example,is H 1 (1) ?
 
Physics news on Phys.org
For "[itex]H_1[/itex]", yes, any subgroup must contain the identity so if H contains only one member, it must be just the identity permutation, (1).

There are, in fact, 3 different subgroups of order 2: {e, (12)}, {e, (13)}, and {e, (23)}. There is the single subgroup of order 3: {e, (123), (132)}. Of course, the subgroup of order 6 is the entire group.
 
HallsofIvy said:
For "[itex]H_1[/itex]", yes, any subgroup must contain the identity so if H contains only one member, it must be just the identity permutation, (1).

There are, in fact, 3 different subgroups of order 2: {e, (12)}, {e, (13)}, and {e, (23)}. There is the single subgroup of order 3: {e, (123), (132)}. Of course, the subgroup of order 6 is the entire group.

What can H5 be?
 
? You just said that every subgroup of S3 (every subgroup of any group of order 6) must have order 1, 2, 3, or 6 (a divisor of 6). What do you mean by "H5"?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 23 ·
Replies
23
Views
3K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
6K
  • · Replies 23 ·
Replies
23
Views
3K
  • · Replies 14 ·
Replies
14
Views
6K
Replies
6
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K