抽象代数群的定义课件•群的定义及性质•群的基本运算contents•群的同态与同构•群的结构与分类•群的应用与扩展目录01群的定义及性质群的定义集合结合律G的乘法满足结合律,即任意三个元素a,b,c的乘积等于它们的顺序乘积
一个非空集合称为一个群,记作G,其中每个元素称为G中的一个元素或元
映射单位元G中每个元素都可以映射到G上任意一个元素,这种映射称为G的乘法
G中存在一个单位元e,使得任意元素a的乘积等于e与a的乘积
封闭性逆元G的乘法是封闭的,即任意两个元素的乘积仍然属于G
对于任意元素a,存在一个逆元a-1,使得a乘以a-1等于单位元e
群的性质010203交换律恒等元反元素G的乘法满足交换律,即任意两个元素的乘积与它们的顺序无关
G中存在一个恒等元e,使得任意元素a的乘积等于a与e的乘积
对于任意元素a,存在一个反元素a-1,使得a乘以a-1等于单位元e
子群与陪集子群G的一个非空子集H称为G的一个子群,如果H也构成一个群
陪集设H是G的一个子群,g是G的一个元素,记gH={gh|h∈H}为g陪集
02群的基本运算群的乘法运算封闭性结合律群内的元素通过乘法运算相互组合,得到的结果仍然是群内的元素
乘法运算满足结合律,即(ab)c=a(bc)
单位元逆元存在一个元素e,使得对于任何元素a,e*a=a*e=a
对于每个元素a,都存在一个逆元a^-1,使得a*a^-1=a^-1*a=e
群的逆元与单位元逆元每个元素a都有一个逆元a^-1,使得a*a^-1=a^-1*a=e
单位元存在一个元素e,是群中任何元素的单位元,即对于任何元素a,e*a=a*e=a
群的幂运算010203幂运算循环群循环群的性质对于给定的元素a和正整数n,计算a^n
如果存在一个正整数n,使得a^n=e(单位元),则称a是一个循环元
循环群是交换群,即a^k*b^k=(a*b)^k
03群的同态与