2

Is S3 maximal subgroup in S4. As, I know if a subgroup is maximal then it should be normal isn't it? then is S3 normal in S4?

student
  • 185
  • 5
    No, maximal subgroups of $G$ do not have to be normal in $G$. Yes, $S_3$ is a maximal subgroup if $S_4$, but it is not a normal subgroup. – Derek Holt Mar 21 '17 at 12:33
  • All of the copies of $S_3$ are conjugate. Why do you think maximal subgroups are normal (they're not)? – Michael Burr Mar 21 '17 at 12:34
  • @student A possible go to example when checking claims like, "maximal subgroups are normal", is to think that there are groups with no nontrivial normal subgroups, but every non-cyclic group has nontrivial maximal subgroup (by finite induction) – Pax Mar 21 '17 at 13:03
  • @PaxKivimae;Is there any type of group, where maximal subgroups are always normal? Or any property to be normal? – student Mar 21 '17 at 15:10
  • There are various conditions of when a subgroup is normal (other than the definition). For example, if it is a unique subgroup of a certain order. Another condition is if $[G:H]$ is the smallest prime dividing $|G|$ (see for example ) – Michael Burr Mar 21 '17 at 15:49
  • thank you, I am expecting some property for maximal to be Normal. Anyway, the attached answer was nice. – student Mar 21 '17 at 15:56
  • If $[G:H]$ is the smallest prime dividing $|G|$ is a special case of being maximal... – Michael Burr Mar 21 '17 at 18:23
  • @MichaelBurr: yes, got it. Thank you – student Mar 21 '17 at 18:37

0 Answers0