以施行“除法运算”，即“乘法”的逆运算．因此，群的‘方程定义法”直接体现了在群中可以施行“乘法与除法”运算．于是简言之，可以施行乘法与除法运算的半群就是群．
为了开阔视野，再给出以下群的另一定义．
定义 一个半群G如果满足以下条件则称为一个群：对G中任意元素a，在G中都存在元素a?1，对G中任意元素b都有
a?1(ab)=(ba)a?1=b．
这个定义与前面4种定义的等价性留给读者作为练习．
2．在群的“方程定义法”中，要求方程a x=b与y a=b都有解缺一不可．即其中一个方程有解并不能保证另一个方程也有解．
4．关于结合律
若代数运算不是普通的运算(例如，数的普通加法与乘法，多项式的普通加法与乘法以及矩阵、变换和线性变换的普通加法或乘法)，则在一般情况下，验算结合律是否成立比较麻烦．因此在代数系统有限的情况下，有不少根据乘法表来研究检验结合律是否成立的方法．但无论哪
种方法，一般都不是太简单． 5．关于消去律．
根据教材推论2，对有限半群是否作成群只用看消去律是否成立．而消去律是否成立，从乘法表很容易看出，因为只要乘法表中每行和每列中的元素互异即可．
6．在群定义中是否可要求有“左”单位元而每个元素有“右”逆元呢？
答 不可以，例如上面例2就可以说明这个问题，因为e1是左单位元，而e1与e2都有右逆元且均为e1．但G并不是群． 7．群与对称的关系．
1)世界万物，形态各异．但其中有无数大量事物部具有这样或那样的对称性．而在这些具有对称性的万事万物中，左右对称又是最为常见的．
由群的定义本身可知，从代数运算到结合律，特别是左、右单位元和左、右逆元，均体现出左右对称的本质属性． 2)几何对称．
设有某一几何图形，如果我们已经找到了它的全部对称变换(即平常的反射、旋转、反演和平移变换的统称)，则此对称变换的全体关于变换的乘法作成一个群，称为该图形的完全对称群．这个图形的对称性和它的完全对称群是密切相关的．凡对称图形(即经过对称变换保持不变的图形、亦即完成这种变换前后的图形重合)，总存在若干个非恒等对称变换和恒等变换一起构成该图形的完全对称群．反之，如果一个图形存在着非平凡的对称变换，则该图形就是对称图形．不是对称的图形，就不能有非恒等的对称变换．显然，一个图形的对称程度越高，则该图形的对称变换就越多．也就是说它的完全对称群的阶数就越高，即图形对称程度的高低与其对称群的阶数密切相关．因此；这就启发人们用群去刽面对称图形及其性质，用群的理论去研究对称．所以人们就把群论说成是研究对称的数学理论．
显然，每个n元多项式都有一个确定的n次置换群：例如n元多项式
例6 任何n元对称多项式的置换群都是n次对称群．
很显然，一个多元多项式的置换群的阶数越高，这个多元多项式的对称性越强．反之亦然．因此，我们通常所熟知的多元对称多项式是对称性最强的多项式． 三、习题2．1解答 1.略 2.
3.
4.
5.
6.
相关推荐：
loading