问答题 证明：有限群G必有一个最大的正规p-子群H．即H是G的正规p-子群，又若K也是G的正规p-子群，则必KH.

问答题 一个主理想环I的每一个非零最大理想都是由一个素元所生成的。

问答题 设P是有限群G的一个Sy1owp-子群.证明：若G有子群H包含N〔P），则N（H）=H.