在上面的示例中，标识和旋转构成子组R={id，r1，r2，r3}，在上面的组表中以红色突出显示：组成的任何两个旋转仍然是旋转，旋转可以通过（即。与互补旋转270°（90°）、180°（180°）和90°（270°）（注意，未定义反向旋转）。子群检验是G的一个子集H成为子群的一个充要条件：对于所有元素G，H∈H，检查G-1h∈H就足够了。知道子群对于理解整个群是很重要的
群的一个子集成为子群必须满足什么基本条件？
子群检验