S3 in S5

From Groupprops

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);

See also