群的两种等价定义.doc

群的两种等价定义 今天我开始学习群论了，对此我感到十分的兴奋和激动，因为在我心目中近世代数的学习就是从群论开始的，然后逐步深入到环论、域论，然后更加深入的。 对于群的两种等价定义，在我学习群论之前我曾在网上见到过一种。今天学习的时候，却是学习的另外一种。刚刚开始以为是不是群论的两个不同派别，但这也又令我犯糊涂了，始终认为这是不太可能的。按理说，就目前我所学到的数学知识中，还没有看到针对某一具体理论分为不同派别，即使有不同意见也会形成两种不同的理论分支，例如欧几里德几何和非欧几里德几何。而到我学习群论之前，我所了解到的群论却没有说两种不同的派别的，听到只有一个说法，那就是群。后来，随着学习的深入，才知道，呵呵，原来两种定义是等价的啊。好了，废话不多说了，现在就开始对两种等价定义进行证明了。 1.群的两种定义。 定义1.1 对于非空集合G，在G上定义一种叫做乘法的运算⊙。（⊙书写的时候可以省略，例如⊙可以写作）。如果G和⊙满足以下性质： Ⅰ. （封闭性） Ⅱ. （结合律） Ⅲ.和都有解。 定义1.2 对于非空集合G，在G上定义一种叫做乘法的运算⊙。（⊙书写的时候可以省略，例如⊙可以写作）。如果G和⊙满足以下性质： . （封闭性） . （结合律） .. （左单位元） . （左逆元） 2.等价性的证明 原则上，我们要证明由 ①Ⅰ、Ⅱ和Ⅲ 、、和;②、、和 Ⅰ、Ⅱ和Ⅲ两步。由于定义（1）与定义（2）的前两条都是一样的，因此我们只要证明①Ⅰ、Ⅱ和Ⅲ 和;②、、和 Ⅲ即可。 2.1 证明Ⅰ、Ⅱ和Ⅲ 和 证明：由Ⅲ知，对于，有解，即=.且，有解，即。一方面，；另一方面，.所以，。所以得证，且我们称为G的左单位元。 ， 又有解，我们记它的一个解为 ，则有。所以得证，且我们称为的左逆元。 2.2 证明、、和 Ⅲ 引理2.2.1：，的一个左逆元也是的一个右逆元。 证明：，我们设它的左逆元的左逆元为，即。则 一方面， ； 另一方面， 所以，，即也的右逆元。 引理2.2.2：G的一个左单位元也是G的一个右单位元。 证明：，有和 （和引理2.2.1） 一方面， 另一方面， () 所以=。即引理得证。 证明Ⅲ：有解这是因为 （和引理2.2.1） 且有解。这是因为 （和引理2.2.2） 也即Ⅲ得证。 至此我们也就证明了定义1.1和定义1.2是等价的。 下面来看一下，在我听老师的课之前的证法。 3.我的证法 由定义1.1推出定义1.2证法是没有什么区别的，主要是有定义1.2推出定义1.1的证明。 证明： 3.1 证有解 所以有解 3.2 证有解。 引理3.2.1：，有 证明：由3.1知，，有解，且。这是因为 所以 由于具有任意性，所以引理得证。 引理3.2.2：，由. 证明：由3.1知，，有解，且。这是因为 . 所以 由于具有任意性，所以引理得证。 由上述两个引理，不难知有解，这是因为 所以有解。 综上3.1和3.2知由定义1.2可以推出定义1.1。 在我听课之前，我原本以为我确实是准确无误地证明了两种定义是等价的，可是当我开始听课的时候，我就觉察到我的证明是出现错误的了。下面就让我们看出错在哪里了。 首先，如果看一下我的证法之中，出现最频繁的式子就是 3.1中， 3.2.1中， 3.2.2中， 3.2中 也就是等价式，乍一看起来这些式子好像是等价的，其实我也正是被这”乍一看”给蒙蔽了，其实在四个式子的第一步等价之中我已经犯了一个错误，就拿3.1的证明来说吧，我可以由 得到，但是反过来呢，由得到呢？这就要好好考虑一下了。事实上，我们不