问答题

计算题 设S是一个有单位元的半群,GS是S中所有可逆云组成的集合,证明GS关于S的代数运算作成一个群,特别当S为群时,GS=S。

【参考答案】