S3 in S5
This article is about a particular subgroup in a group, up to equivalence of subgroups (i.e., an isomorphism of groups that induces the corresponding isomorphism of subgroups). The subgroup is (up to isomorphism) symmetric group:S3 and the group is (up to isomorphism) symmetric group:S5 (see subgroup structure of symmetric group:S5).
VIEW: Group-subgroup pairs with the same subgroup part | Group-subgroup pairs with the same group part | All pages on particular subgroups in groups
Definition
The group is taken as symmetric group:S5: the symmetric group of degree five. For concreteness, we take as the symmetric group on the set .
We take as the subgroup fixing , so is symmetric group:S3 acting on the set .
has nine other conjugate subgroups, each corresponding to a different pair of fixed points:
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
- is the subgroup fixing , and is the symmetric group on the set .
Arithmetic functions
| Function | Value | Explanation |
|---|---|---|
| order of group | 120 | |
| order of subgroup | 6 | |
| index of subgroup | 20 | |
| size of conjugacy class of subgroup | 10 | conjugacy class is made of those listed above |
Subgroup properties
Other properties
| Property | Meaning | Satisfied? | Explanation | Comment |
|---|---|---|---|---|
| Hall subgroup | order and index are relatively prime | No | Order (6) and index (20) are not relatively prime | |
| normal subgroup | No |
GAP implementation
The group-subgroup pair can be constructed as follows:
G := SymmetricGroup(5); H := SymmetricGroup(3);