可解群
有限単純群の外部自己同型群は可解群である。