There is a result in group theory that says that if then there is a normal subgroup of contained in such that divides and divides (I don't know what this result is called but I've found it useful. ) Thus for or so if then either (since is contained in and showing that is not simple.

If then and is not simple if

If then itself is a normal subgroup of and so is not simple if