能稍稍展开一点么?除法定律?能否证明它总是有逆元呢?可以由已知推出ax=b和xa=b在G中有解,所以G是群.