, 则 是由 生成的子群, 记作 .