1
$\begingroup$

How do you show that the only nontrivial normal subgroup of $A_4$, which is also not the whole group is the Klein 4 group, denoted by $V$ (or isomorphic to the Klein 4 group)?

I've shown before that $V$ is a normal subgroup of $S_4$, and that $V \subset A_4$. Is there a way to use those facts?

  • 0
    If $A$ is normal in $B$ and is contained in $C$ which is a subgroup of $B$, then $A$ is normal in $C$. Can you prove this?2012-12-03
  • 0
    Yes, that's pretty clear to me. But how would that force $V$ to be the *only* normal subgroup that's nontrivial and not the whole group?2012-12-03
  • 0
    It doesn't. It just shows $V$ is normal in $A_4$. Other methods are needed to show it's the only such. See the answers.2012-12-03

2 Answers 2

2

The following may help you:

1) A subgroup of a group is normal in it iff it is a union of conjugacy classes

2) Two permutations in $\,S_n\,$ are conjugate iff they have the same cycle decomposition (i.e., the same lengths of cycles and the same ammount of cycles of each length)

3) A conjugacy class of an even permutation in $\,S_n\,$ remains exactly the same class in $\,A_n\,$ unless all the disjoint cycles in the cyclic decomposition of the permutation are of odd and different lengths, in which case the equivalence class splits in two classes in $\,A_n\,$

  • 0
    It's possible that the question has arisen before conjugacy classes have been discussed.2012-12-03
  • 0
    Perhaps, but it is my personal experience, both as student and lecturer, that permutation groups usually appear after conjugacy is learnt.2012-12-03
  • 0
    I'm not too familiar with applications of conjugacy classes, but would the Sylow theorems help here? We do know that the order of $A_4$ = 12 = 3*2^2, and the order of $V$ = 2^2.2012-12-03
  • 0
    Well, yes: if you do what Gerry suggested and write down all the subgroups, then you'll realize $\,V\,$ is the only Sylow 2-subgroup of $\,A_4\,$. Checking the other subgroups will be easy to realize that is the only non-trivial one. One more hint, which follows from this of course: $\,A_4\,$ has no subgroup of order $\,6\,$2012-12-03
  • 0
    Thanks, really helped to know that $A_4$ doesn't have a subgroup of order 6.2012-12-03
  • 0
    @YACP , I think that "thus" in your second line above is a huge leap in logic. First, I didn't say permutation groups cannot be taught without first knowing conjugation; second even if *you* personally do perm. groups without conjugacy that does not mean at all that the results here were asked to be proved without conjugation: how can you know?! Third, of course you don't need at all conjugacy to prove $\,A_4\,$ has no subgroup of order $\,6\,$: what made you think I, or anyone else, said or even hinted such a thing?2012-12-03
  • 0
    @ DonAntonio, I know that all elements of Klein 4 group except identity are conjugate. Because They are same cycle. I can't understand why conjugates class of each of those elemens don't contain of the form $(123)$.2018-01-09
  • 1
    @1ENİGMA1 Among other reasons, because conjugate elements in a group have the same **order**, and the order of $\;(123)\;$ is three, whereas the order of all the non-unit elements in the Klein's group is \two...2018-01-09
1

First, you find all the subgroups of $A_4$. It's not that hard --- there aren't all that many of them. Then you look at each in turn and work out whether or not it is normal. If you have any trouble along the way, write back.

  • 0
    I actually haven't been taught how to find all subgroups of a given group. Is there a method for doing it, or do you just have to brute force it?2012-12-03
  • 1
    In this case it is worth to brutal force it.2012-12-03
  • 0
    Well, it's an educated brute force. Show that if a subgroup contains two $3$-cycles $a$ and $b$ with $a\ne b^2$ (for example, $a=(1\ 2\ 3),b=(1\ 2\ 4)$) then it's the whole group; show that if a subgroup contains a $3$-cycle and a product of transpositions (for example, $a=(1\ 2\ 3),b=(1\ 2)(3\ 4)$) then it's the whole group; since every group element is of the type $(1\ 2\ 3)$ or $(1\ 2)(3\ 4)$ (or is the identity), that doesn't leave much else to try, as far as subgroups go.2012-12-03