S_5⊃A_5⊃1
S_5/A_5はAbel群
S_5は可解でない