近世代数

群

半群定义

  • 群和半群是特殊的代数，都只含一个非空集合和一个二元运算，因此元素运算时可省略运算符号 给定代数<S,∘><S,\circ>：
  • 半群：若∘\circ可结合，称该代数为半群
  • 可交换半群：在半群基础上，∘\circ可交换
  • 独异点/含幺半群/拟半群：在半群基础上，∘\circ有幺元
  • 子半群：半群的所有子代数都是半群，称为前者的子半群
  • 循环半群：给定半群M,∘M,\circ，元素a∈Ma\in M，由aa自身进行nn次运算得到的集合为S:{ak∣k∈Z}S:\{a^k|k\in Z\}，称：
    • aa生成了循环半群<S,∘><S,\circ>，aa为生成元
    • <S,∘><S,\circ>为<M,∘><M,\circ>的循环子半群
  • 生成集：给定集合G⊆SG\subseteq S，若所有SS的元素可由GG中元素及其相互运算后得到，则称GG为生成集
  • 积半群：两个半群的积代数为积半群

群的性质

  • 群：若独异点中的每个元素都有逆元，称该独异点为群
  • 基本性质：
    • 封闭性：群作为一个代数拥有的性质
    • 结合律：群作为一个半群拥有的性质
    • 存在单位元：群作为一个独异点拥有的性质
    • 所有元素作为逆元：群拥有的性质
  • 幂运算规则：
    • an={e,n=0aan−1,n>0(a−1)−n,n<0a^n=\begin{cases}e,&n=0\\aa^{n-1},&n>0\\(a^{-1})^{-n},&n<0\end{cases}
    • (ab)−1=b−1a−1(ab)^{-1}=b^{-1}a^{-1}，利用可约律证
  • 每个非零元素都是可约元，因此方程有唯一解
  • 元素的阶：
    • 使ar=ea^r=e的最小的正整数rr，记为∣a∣=r|a|=r
    • 若存在ak=ea^k=e，则必有k≡0(mod r)k\equiv0(\rm{mod}\ r)
    • ∣a−1∣=∣a∣|a^{-1}|=|a|
  • Abel\rm Abel群：即可交换群，满足(ab)n=anbn(ab)^n=a^nb^n；证明一个群为可交换群最简单的方法为证明abab=a2b2abab=a^2b^2

子群

  • 若群GG的非空子集HH关于GG的运算构成群，称其为子群，根据集合关系有真子群之分，通过≤\le、<<说明其关系

  • 判定方法：

    • ∀a∀b(a,b∈H→ab∈H∧a−1∈H)\forall a\forall b(a,b\in H\rightarrow ab\in H\wedge a^{-1}\in H)，即同时满足子代数、所有元素有逆元的性质
      • 只需证明含幺元，aa−1=e∈Haa^{-1}=e\in H
    • ∀a∀b(a,b∈H→ab−1∈H)\forall a\forall b(a,b\in H\rightarrow ab^{-1}\in H)
      • (a,b∈H→ab−1∈H)⇒(a,a)→e∈H⇒(e,a)→a−1⇒(a,b−1)→ab∈H\begin{align}(a,b\in H\rightarrow ab^{-1}\in H)\Rightarrow(a,a)\rightarrow e\in H\Rightarrow (e,a)\rightarrow a^{-1}\Rightarrow(a,b^{-1})\rightarrow ab\in H\end{align}
    • HH有穷，且∀a∀b(a,b∈H→ab∈H)\forall a\forall b(a,b\in H\rightarrow ab\in H)
      • 有穷⇒(∃k)ak=e∈H∧aak−1=e∈H⇒a−1=ak−1∈H\begin{align}有穷\Rightarrow(\exist k)a^k=e\in H\wedge aa^{k-1}=e\in H\Rightarrow a^{-1}=a^{k-1}\in H\end{align}

  • 生成的子群：设a∈Ga\in G，则由aa生成的群{ak∣k∈Z}\{a^k|k\in Z\}是GG的子群，记作<a><a>

  • 中心子群：称{a∈G ∣ ∀x(x∈G∧ax=xa)}\{a\in G\ |\ \forall x(x\in G\wedge ax=xa)\}为GG的中心

  • 子群的并和交：若H,K≤GH,K\le G

    • H∩K≤GH\cap K\le G
    • H∪K⇔(H⊆K)∨(K⊆H)H\cup K\Leftrightarrow (H\subseteq K)\vee (K\subseteq H)

  • 子群格：偏序集<{H ∣ H≤G},⊆><\{H\ |\ H\le G\},\subseteq>为GG的子群格

  • 陪集：HH为GG的子群，左陪集定义为aH={a∘h ∣ h∈H}aH=\{a\circ h\ |\ h\in H\}，其中a∈Ga\in G

    • 陪集相当于HH在GG中的扩充，陪集通常不一定是GG的子群
    • 存在陪集eH=HeH=H
    • 所有陪集的阶相等，等于∣H∣|H|
    • 若左陪集和右陪集总相等，称该子群为正规子群

  • 左陪集关系：CH={<a,b> ∣ a,b∈G∧b−1a∈H}C_H=\{<a,b>\ |\ a,b\in G\wedge b^{-1}a\in H\}

    • 陪集关系是一种等价关系

    • aH=[a]CHaH=[a]_{C_H}，即GG中任意元素在HH上的陪集等于该元素所属的等价类

      • 充分性:∀h∈H,a、ah∈aH;令b=ah,即h=ba−1⇒a,b∈G∧ba−1∈H必要性:a,b∈G∧ba−1=h∈H⇒b=ah∈aH\begin{align}&充分性:\forall h\in H,a、ah\in aH;令b=ah,即h=ba^{-1}\Rightarrow a,b\in G\wedge ba^{-1}\in H\\&必要性:a,b\in G\wedge ba^{-1}=h\in H\Rightarrow b=ah\in aH\end{align}

    • 意义：在找出任意一个子群后，可通过陪集(扩充)来找到其余的所有陪集，而由陪集关系导出的等价类和陪集的对应关系，可得**HH的不相同陪集个数等于总等价类个数**

    • 所有陪集的并集等于GG，任意两个不相等陪集完全不相交

  • 拉格朗日定理：有限群的阶一定能被任意子群HH的阶整除，且商等于等价类的个数

    • 存在a是k阶元⇔k整除∣G∣存在a是k阶元\Leftrightarrow k整除|G|

循环群

  • 若GG中任意元素能由a∈Ga\in G的任意次幂表示，则称G=<a>G=<a>，aa为生成元
  • 找出循环群GG的生成元：
    • 若GG为无限循环群，则只有a,a−1a,a^{-1}是生成元
    • 若GG为nn阶循环群，则aka^k是生成元，其中kk小于nn且与nn互素，因此共有φ(n)\varphi(n)个生成元
  • 循环群的子群仍是循环群，无限循环群的子群除平凡群外都是无限循环群
  • nn阶循环群G=<a>G=<a>的子群：若nn有kk个正因子，则恰有kk个子群，每个正因子dd唯一对应一个dd阶子群，且 a∣G∣d\begin{align}a^{\large\frac{|G|}{d}}\end{align}为该子群的生成元

环、域、格

环

  • 具有两个二元运算的群，通常定义为<R,+,×><R,+,\times>，其中：
    • <R,+><R,+>构成Abel\rm Abel群
    • <R,×><R,\times>构成乘法半群
    • ×\times对++满足分配律
    • 称加法幺元为环的零元
  • 可交换环、含幺环、无零因子环：乘法半群满足交换律、含幺元、若两数乘积为零元则必有一项为零元
  • 布尔环：乘法半群满足等幂律
  • 整环：同时满足可交换环、含幺环、无零因子环的性质

域

  • 域的定义：
    • RR是整环的基础上，乘法群中任意元素有其逆元
    • RR是环的基础上，乘法群是Able\rm Able群

格

  • 偏序格：任意有两元素的子集都在整个集合中存在最小上界和最大下界的偏序集
  • 代数格：代数<L,∘,×><L,\circ,\times>，且∘,×\circ,\times满足交换律、结合律、等幂律、吸收律
    • 其中，定义每个元素的∘\circ运算为其最大下界，×\times运算为其最小上界
  • 偏序格和代数格等价
  • 完全格：每个非空子集均有上下确界
  • 有界格：有上下确界，完全格一定是有界格
  • 分配格：两运算满足分配律
  • 有补格(有余格)：对任意两元素的最小上界等于整个格的上确界，最大下界等于整个格的下确界

离散数学（格与布尔代数） - gonghr - 博客园 (cnblogs.com)