首页 > 代码库 > 【群论】群

【群论】群

    群是一个非常厉害的数学理论,解决了5次方程问题,在几何学、拓扑学、函数论等方面都有巨大的作用

   

    群的定义:

        ①封闭性:对任意a和b属于集合G,存在唯一确定的c属于集合G,使得a*b=c

                      (任意a,b∈G,存在唯一确定的c∈G,a*b=c)

     

        ②结合律:对任意a,b,c属于集合G,那么(a*b)*c=a*(b*c)

                      (任意a,b,c∈G,(a*b)*c=a*(b*c))

  

        ③单位元:存在e属于集合G和任意a属于集合G,a*e=e*a=a,这时我们把e称作单位元(也成幺元)

                      (存在e∈G,任意a∈G,a*e=e*a=a)

 

        ⑤逆元:对任意a属于集合G,存在b属于集合G,使得a*b=b*a=e(单位元),记b=a^(-1)

                     (对任意a∈G,存在b∈G,使得a*b=b*a=e(单位元),记b=a^(-1))

 

    如果满足以上条件,那么则称集合G在运算“*”的意义之下是一个群,简称G是群,a*b一般写为ab。

    如果是具体乘法“*”,那么G为乘法群。具体运算为加法“+”,则称为加法群。

    若G的元素是有限的,则称为有限群。无限则称之为无限群。

 

群的运算:

    对于g∈G,对于G的子集H,定义g*H={gh|h∈H},简写为gH:H*g={hg|h∈G},可以简写为Hg。

    对于G的子集A、B,定义A*B={ab|a∈A,b∈B},简写为AB

    对于G的子集H,记H^(-1)={h^(-1)|h∈H}。

 

    定理1:若(G,*)是群,那么对于任意g∈G,gG=Gg=G

    定理2:若(G,*)是群,H是G的非空子集,那么(H,*)也是群,H为G的子群。

 

【群论】群