Question

有限半群G若满足左、右消去律，则G是群。这个命题对于无限半群成立吗？说明理由

Answer 1

对于无限半群不成立。例如非零整数的乘法半群，满足消去律，但是不是群。

群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。半群是最简单、最自然的一类代数系统。一个非空集合S连同定义在它上面的一个结合的(即满足结合律的)二元运算“·”的代数系统(S，·)称为一个半群。

满足交换律的群，称为交换群。

群是数学最重要的概念之一，已渗透到现代数学的所有分支及其他学科中。凡是涉及对称，就存在群。例如，可以用研究图形在变换群下保持不变的性质，来定义各种几何学，即利用变换群对几何学进行分类。可以说，不了解群，就不可能理解现代数学。

1770年，拉格朗日在讨论代数方程根之间的置换时，首先引入群的概念，而它的名称，是伽罗华在1830年首先提出的。

Answer 2

对于无限半群不成立。例如非零整数的乘法半群，满足消去律，但是不是群。

Answer 3

不晓得

Answer 4

不知道