问答题 设G是一个群，H是G的非空子集，证明：H是G的子群的充分必要条件是ab-1∈H，a，b∈H

问答题 存在b，c∈G满足bc=cb，ord（b）=m。ord（c）=n，a=bc。

问答题 设G=GLn（P）是数域P上的n级一般线性群，H是G的由全体n阶可逆的对角矩阵组成的子集，证明：H是G的子群。