本文中,我将介绍半群,独异点,群,子群,阿贝尔群,陪集和拉格朗日定理
目录
半群,独异点,群的定义
子群判定定理
阿贝尔群
循环群
陪集与拉格朗日定理
在理解群之前,我们要先清楚什么是代数系统。其实代数系统可以简单理解成使用符号表示的某一种运算。其实和程序设计中算法的定义有点像,总的来说就可以把运算当成一个黑盒子,我们给定一个输入,那么就可以根据黑盒子的运算规则得到相应的输出。
我们举一个生活中的例子。有一台自动售货机,假设售货机只接收五元纸币和十元纸币,我们可以根据接收货币和吐出商品的情况给出这个代数系统的运算结果集,我们用*表示这个运算。
运算符号* | 五元纸币 | 十元纸币 |
五元纸币 | 橘子水 | 可乐 |
十元纸币 | 可乐 | 冰淇淋 |
上面的这个运算比较容易理解,就是你投入两张五元纸币,可以买到橘子水,投入一张十元纸币和一张五元纸币可以买到可乐,以此类推。
那么由于我们投入的是纸币,得到的是饮料或者食物,所以我们这个代数系统是不封闭的。
相对的,假如我们投入的是纸币,得到的也是纸币,那么我们就称这个代数系统是封闭的。
△ | a | b |
a | a | b |
b | b | a |
上图的代数系统就是封闭的,下面我们来给出群的定义。
半群的定义:设
1)在G上的*运算是封闭的
2)G上的*运算是可结合的(如a*b*c=a*(b*c))
则
假设
3)G上的*运算存在幺元(或者说单位元)e
那么
假设
4)对于G中的每一个元素a,都存在元素b使得a*b=e
那么
除了幺元之外,还有一个定义叫零元。在乘法中,幺元乘以任何一个数都是它本身,而零元乘以任何一个数都是零元。
例1: 设集合S={浅色,深色},定义在S上的二元运算*如下表所示
* | 浅色 | 深色 |
浅色 | 浅色 | 浅色 |
深色 | 深色 | 深色 |
其中,浅色就是幺元,深色就是零元。
注:群中不可能有零元。
当代数系统
设
子群判定定理1:设
子群判定定理2:设是
如果群
一个群
设群
例如,60°就是群<{0°,60°,120°,180°,240°,360°},☆>的生成元,该群是一个循环群。
陪集的定义:设
例如:设G=R*R,R为实数集,G上的一个二元运算+定义为
则,
设H={
其中G为笛卡尔坐标系,H为y=2x的的直线,
拉格朗日定理:设群
a)R={| a∈G, b∈G且a^(-1)*b∈H}是G的一个等价关系。对于a∈G,若记[a]R={x | x∈G且∈R},则有[a]R=aH
b)如果G是有限群,|G|=n, |H|=m,则m|n(整除关系)
证明如下:
(a)对于任意a∈G,必有a^(-1)∈G,使得a*a^(-1)=e∈H,所以∈R,满足自反性
若∈R,则a^(-1)*b∈H,因为H是G的子群,所以有(a^(-1)*b)^(-1) = b^(-1)*a∈H,所以∈R,满足对称性
若∈R, ∈R,则有a^(-1)*b∈H并且b^(-1)*c∈H,由于运算的封闭性,有
a^(-1)*b*b^(-1)*c∈H,即a^(-1)*c∈H,即∈H,满足传递性
综上所述,R是G上的一个等价关系,得证。 吧
对于a∈G,我们有:b∈[a]R,当且仅当∈R,即当且仅当a^(-1)*b∈H,即b∈aH。因此[a]R=aH
(b)由于R是G中的一个等价关系,可以将G划分为等价类[a1]R,[a2]R,...[ak]R.
有G=∪[ai]R=∪aiH
对于H中任意两个不相等的h1和h2,a∈G,必有a*h1 ≠ a*h2,所以有|aiH|=|H|=m, i=1,2...k
所以n = |G| = (a1+a2+a3+...+ak)H = mk , 得证