The only nontrivial proper normal subgroups of this direct product of groups are its two factors. Indeed a normal subgroup meeting nontrivially contains it by the simple group property. Otherwise each of its commutators with lies in that trivial intersection. Its first coordinates therefore lie in , so it is contained in . Both factors are simple and each quotient by one factor is isomorphic to the other. Hence precisely two composition series occur, one through each factor. This is compatible with the Jordan–Hölder theorem, since the two series have the same simple factors in opposite orders. For , the group has order .
Articles by others on the same topic
There are currently no matching articles.