有限群，抽象代数，Sylow子群和极大子群的关系