群&有限群

群&有限群

什么是群？

• 群就是一类具有共同性质的运算的集合，是将不同运算的共性提取出来得到的概括性的概念。

• 也就是说，在群中，具体的运算如何并不重要，重要的是研究在既有共性上能够推出什么性质。

群的定义

• 我们在群中主要是研究二元运算，所以先来看看二元运算的定义

• 二元运算

  • 二元运算的定义：

    $S$非空集合，则$S\times S\to S$称为$S$上的一个二元运算。

    可以用$+$或$\cdot$表示（这里只是运算的代表符号，并不一定是真正的加法或乘法）

  • 二元运算性质：

    二元运算有封闭性

    二元运算有顺序性，即不一定满足交换律

• 群

  • 一般定义

    群的运算满足以下性质

    $$\begin{gathered} 1.封闭性 \\ 2.结合律 \\ 3.存在单位元 \\ 4.每个元素都存在逆元 \end{gathered}$$

  • 二元运算下的定义

    G非空集合，G有一个二元运算「$\cdot$」，该运算满足：

    $$\begin{gathered} 1.结合律 \\ 2.存在单位元 \\ 3.每个元素都有逆元 \end{gathered}$$

    则称G在「$\cdot$」下构成群（二元运算定义本身就满足封闭性）

群的特征

• 群阶：群G中的元素个数

群的性质

• 1. 群的单位元唯一
• 2. 群中元素的逆元唯一
• 3. 满足左消去律和右消去律

• 4. 重要性质：

     若非空集合$G$中有运算
     $$\begin{gathered} 1.封闭性 \\ 2.结合律 \\ 3.对任意a,b\in G，方程ax=b,ya=b有解 \end{gathered}$$
     $\iff$ G是群​

     （也就是说上述方程在$G$中有解可以导出存在单位元且对每个元素都有逆元）

     • 证明

       • 1.证明群$\Rightarrow$有解

         很显然$x=a^{-1}b,y=b{a}^{-1}$为方程的解

       • 2.证明有解$\Rightarrow$群

         • （1）单位元存在

           对任意$a,b\in G$，方程$ax=b,ya=b$有解，则当$a$取$c$，$b$取$c$时，有

           $$cx=c,yc=c$$

           将$x$的解记为$e_{right}$，将$y$的解记为$e_{left}$

           下面证明这两个解分别为左右单位元

           对于任意元素$a$，有$cx=a，yc=a$有解

           $$\begin{gathered} e_{left}a=(e_{left}c)x=cx=a \\ a{e}_{right}=y(c{e}_{right})=yc=a \end{gathered}$$

           下面证明左右单位元相等

           $$e_{left}=e_{left}{e}_{right}=e_{right}$$

           综上可得该群的单位元存在

       • （2）每个元素的逆元都存在

         对任意$a,b\in G$，方程$ax=b,ya=b$有解，则当$b$取$e$时

         $$ax=e，ya=e$$

         则x的解为右逆元，y的解为左逆元

         下面证明左右逆元相等

         $$a_{left}^{-1}=a_{left}^{-1}e=a_{left}^{-1}a{a}_{right}^{-1}=e{a}_{right}^{-1}=a_{right}^{-1}$$

         综上对每个元素的逆元都存在

有限群等价定义

• 非空有限集合G，运算满足

  $$\begin{gathered} 1.封闭性 \\ 2.结合律 \\ 3.消去律 \end{gathered}$$

  $\iff$G是一个有限群

  • 证明

    • 1.证明有限群$\Rightarrow$消去律

      $$\begin{array}{rlr}ax& =a{x}^{\prime }& \\ a^{-1}ax& =a^{-1}a{x}^{\prime }& \\ x& =x^{\prime }& \end{array}$$

      右消去律同理。

    • 2.证明消去律$\Rightarrow$有限群

      用消去律证明重要定理（对任意$a,b\in G$，方程$ax=b,ya=b$有解）成立即可

      对有限集合$G$，存在$n$个不同元素， G = { a 1 , a 2 ⋯ a n } G=\{a_{1},a_{2}\cdots a_{n}\} G={a1​,a2​⋯an​}，对$G$左乘元素$a$，得到 G ′ = { a a 1 , a a 2 ⋯ a a n } G^\prime=\{aa_{1},aa_{2}\cdots aa_{n}\} G′={aa1​,aa2​⋯aan​}

      下面证明$G^{\prime }=G$

      假设$G^{\prime }\ne G$，因为$G^{\prime }\subseteq G$，则存在

      $$a{a}_i=a{a}_j(i\ne j)$$

      由消去律得到

      $$a_i=a_j(i\ne j)$$

      则矛盾，说明$G^{\prime }=G$

      那么对于任意的$b\in G$，一定有$a{a}_k=b$，则找到了$x$的解

      对于$y$同理

      则通过消去律证明了重要定理，则可以证明这个集合为群

特殊的群

• 交换群（Abel群）：群的二元运算还满足交换律

• 有限群：元素数量有限

• 一般线性群：$GL(n,\mathcal{R})$为实数域$\mathcal{R}$上的n阶可逆方阵构成的集合

• 特殊线性群：$SL(n,\mathcal{R})$为实数域$\mathcal{R}$上的行列式值为1的n阶方针构成的集合

乘法表（群表）

• 乘法表是将集合中二元运算的结果全部列出来得到的表
  • 如下

    $$\cdot$$	$$a_1$$	$$a_2$$	$$a_3$$	$$a_4$$	$$a_5$$
    $$a_1$$	$$a_1^2$$	$$a_1{a}_2$$	$$a_1{a}_3$$	$$a_1{a}_4$$	$$a_1{a}_5$$
    $$a_2$$	$$a_2{a}_1$$	$$a_2^2$$	$$a_2{a}_3$$	$$a_2{a}_4$$	$$a_2{a}_5$$
    $$a_3$$	$$a_3{a}_1$$	$$a_3{a}_2$$	$$a_3^2$$	$$a_3{a}_4$$	$$a_3{a}_5$$
    $$a_4$$	$$a_4{a}_1$$	$$a_4{a}_2$$	$$a_4{a}_3$$	$$a_4^2$$	$$a_4{a}_5$$
    $$a_5$$	$$a_5{a}_1$$	$$a_5{a}_2$$	$$a_5{a}_3$$	$$a_5{a}_4$$	$$a_5^2$$

表的性质

• 1. 每行每列每个元素都出现且仅只出现一次
• 2. 封闭性：元素都在集合内

• 例子：Hamilton群 设复数域上4个二阶矩阵$$I,A=\left(\begin{array}{lc}i& 0\\ 0& -i\end{array}\right),B=\left(\begin{array}{lc}0& 1\\ -1& 0\end{array}\right),C=\left(\begin{array}{lc}0& i\\ i& 0\end{array}\right)$$令 H = { ± I , ± A , ± B ± C } H=\{\pm I,\pm A,\pm B \pm C\} H={±I,±A,±B±C}，$H$对矩阵乘法构成群吗？
• $A^2=B^2=C^2=-I$
• 四元数群，又称 「Hamilton群」
• 非交换群的又一个实例

交换群的群表

• 交换群$\iff$群表是关于主对角线对称
  • 例子：Klein四元群

    $$\ast$$	$$e$$	$$a$$	$$b$$	$$c$$
    $$e$$	$$e$$	$$a$$	$$b$$	$$c$$
    $$a$$	$$a$$	$$e$$	$$c$$	$$b$$
    $$b$$	$$b$$	$$c$$	$$e$$	$$a$$
    $$c$$	$$c$$	$$b$$	$$a$$	$$e$$

    • 封闭性
    • 每行每列每个元素仅出现一次
    • 表格对称$\Rightarrow$群对称
    • $a^2=b^2=c^2=e$