【离散数学配套西安电大教材】代数

第6章 代数

一、代数结构

构成

载体

一个非空集合$S$.

封闭性

设*是集合$S$上的二元运算，$S^{\prime }$是$S$的子集，如果
$$\forall a,b\in S^{\prime }\to a\ast b\in S^{\prime }$$
那么$S^{\prime }$对*是封闭的.

定义在载体上的运算

从$S^m$到$S$的一个映射.（满足封闭性）

代数常数

载体的幺元或零元.

代数三要素：载体，运算，代数常数.

---

同种类代数

• 有相同的构成成分：两个代数包含同样个数的运算（对应元数相同）和常数.
• 有一组相同的公理（用载体元素和代数运算的符号写成的方程）.

---

幺元与零元

幺元

与载体中任一元素x进行二元运算后，载体元素x不变的载体元素.
$$1\ast x=x\ast 1=x$$

零元

与载体中任一元素x进行二元运算后，载体元素x变成零元的载体元素.
$$0\ast x=x\ast 0=0$$

• 一个二元运算幺元与零元存在则唯一.

---

逆元

定义

设*是$S$上的二元运算，若它存在幺元且$x\ast y=1$，那么关于运算*，$x$是$y$的左逆元，$y$是$x$的右逆元. 若$x\ast y=y\ast x=1$成立，则关于运算*，$x$和$y$互为逆元.（$x$的逆元和记作$x^{-1}$）.

性质

1. 幺元的逆元是自身.

2. 设*是$S$上的二元运算，$a\in S$，若$\forall x,y\in S$​，有
   $$(a\ast x=a\ast y)\vee (x\ast a=y\ast a)\Rightarrow (x=y)$$

   则称$a$是可约的.

3. 存在逆元的元素$a$称为可逆的，对于可结合运算，此逆元唯一，且$a$可约.

二、子代数

定义

设$A=<S,\ast ,\Delta ,k>$是一代数，如果

1. $S^{\prime }\subseteq S$
2. $S^{\prime }$对$S$上的运算*和$\Delta$封闭
3. $k\in S^{\prime }$

那么$A^{\prime }=<S^{\prime },\ast ,\Delta ,k>$是$A$的子代数.

---

性质

如果$A^{\prime }$是$A$的子代数，那么$A^{\prime }$和$A$有相同的构成成分和服从相同的公理.

---

平凡子代数

$A$自己以及由$A$的常数集合组成的最小子代数.

---

真子代数

除平凡子代数以外其余子代数.

三、同态

定义

设$A=<S,\ast ,\Delta ,k>$和$A^{\prime }=<S^{\prime },{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$是具有相同构成成分的代数，$h$是一个函数，如果

1. $h:S\to S^{\prime }$
2. $h(a\ast b)=h(a){\ast }^{\prime }h(b)$
3. $h(\Delta a)={\Delta }^{\prime }h(a)$
4. $h(k)=k^{\prime }$

这里$a$、$b$是$S$的任意元素，则称$h$是从$A$到$A^{\prime }$的同态，$A^{\prime \prime }=<h(S),{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$称为$A$到在映射$h$下的同态象.若$h$为单射函数，则称$h$为单一同态，若$h$为满射，则称$h$为满同态，若$h$为双射，则称$h$为同构，$A^{\prime }$为同构象.若$A=A^{\prime }$，则称$h$为自同态；若$h$是自同态且是同构，则$h$是自同构.

---

性质

1. $A^{\prime \prime }$是$A^{\prime }$的子代数（不论$h$是否是同构）.
2. 若*是可交换或可结合的，则在$A^{\prime \prime }$中，${\ast }^{\prime }$也是可交换或可结合的.
3. 若对*，$A$有幺（零）元$e$，则对${\ast }^{\prime }$，代数$A^{\prime \prime }$有幺（零）元$h(e)$.
4. 对*，若$\exists x\in S$有逆元$x^{-1}$，则对${\ast }^{\prime }$，在代数$A^{\prime \prime }$中，元素$h(x)$有逆元$h(x^{-1})$.

四、同余关系 商代数 积代数

同余关系

设$\sim$是代数$A=<S,\ast ,\Delta ,k>$的载体$S$上的一个等价关系，若
$$\forall a,b,c\in S,a\sim b\to (a\ast c\sim b\ast c)\wedge (c\ast a\sim c\ast b)$$
则称等价关系$\sim$在运算*下仍能保持，$\sim$是关于运算*的同余关系，同理若
$$\forall a,b\in S,a\sim b\to \Delta a\sim \Delta b$$
则称$\sim$是关于运算$\Delta$的同余关系.

若等价关系$\sim$在运算*和$\Delta$下均能保持，则$\sim$称为代数$A$的同余关系，$\sim$的等价类叫做关系$\sim$的同余类.

同余关系是一种等价关系，同余类是一种等价类.

---

商代数

代数$A/\sim =<S/\sim ,{\ast }^{\prime },{\Delta }^{\prime },[k]>$，其中${\ast }^{\prime }$和${\Delta }^{\prime }$的定义如下
$$\forall [a],[b]\in S/\sim ,[a]{\ast }^{\prime }[b]=[a\ast b],{\Delta }^{\prime }[a]=[\Delta a]$$

---

自然同态

如果$\sim$是代数$A=<S,\ast ,\Delta ,k>$上的同余关系，那么规范映射$h:S\to S/\sim$是从代数$A$到商代数$A/\sim =<S/\sim ,{\ast }^{\prime },{\Delta }^{\prime },[k]>$的同态，称为与$\sim$相关的自然同态.

自然同态是一种规范映射.

P147: 设$R$是一集合$X$上的等价关系，函数
$$g:X\to X/R,g(x)=[x{]}_R$$
叫做从$X$到商集$X/R$的规范映射.

设$f$是从$A=<S,\ast ,\Delta ,k>$到$A^{\prime }=<S^{\prime },{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$的同态，$\sim$是$A$上由$f$诱导的同余关系，那么，从$A/\sim =<S/\sim ,{\ast }^{\prime \prime },{\Delta }^{\prime \prime },[k]>$到$<f(S),{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$存在同构$h$.

商代数到同态象存在同构.

---

积代数

$A^{\prime }=<S^{\prime },{\ast }^{\prime },{\Delta }^{\prime },k^{\prime }>$和$A^{\prime \prime }=<S^{\prime \prime },{\ast }^{\prime \prime },{\Delta }^{\prime \prime },k^{\prime \prime }>$的积代数为
$$A^{\prime }\times A^{\prime \prime }=<S^{\prime }\times S^{\prime \prime },\ast ,\Delta ,<k^{\prime },k^{\prime \prime }>>$$
其中*和$\Delta$的定义如下：
$$\begin{gathered} <a,b>\ast <c,d>=<a{\ast }^{\prime }c,b{\ast }^{\prime \prime }d> \\ \Delta <a,b>=<{\Delta }^{\prime }a,{\Delta }^{\prime \prime }b> \end{gathered}$$

五、半群 独异点

定义

代数$A=<S,\ast >$，*是二元运算且符合结合律：$a\ast (b\ast c)=(a\ast b)\ast c$，则$A$称作半群；若$A=<S,\ast ,e>$，$e$是幺元，则$A$称作独异点.

---

独异点中任意元素的幂

独异点中任意元素$a$的幂定义如下

• 等幂元素

  若$x\ast x=x$，则$x$称为等幂元素.

• 可交换半群中等幂元素集合构成的半群是原半群的子半群.

由于独异点中运算*是可结合的，所以有以下定律

---

子半群 子独异点

$<T,\ast >$是$<S,\ast >$的子半群，当且仅当

1. $T\subseteq S$
2. $T$关于运算$\ast$封闭

$<T,\ast ,1>$是$<S,\ast ,1>$的子独异点，当且仅当

1. $T\subseteq S$
2. $T$关于运算$\ast$封闭
3. $1\in T$

---

循环独异点

定义

设$<S,\ast ,e>$是独异点，若$S$中存在元素$g$，$S$中所有元素$a$都能被表示为$a=g^h,h\in N$，则称此独异点是循环独异点，$g$是此循环独异点的生成元.

性质

循环独异点都是可交换的.

---

生成元概念的扩展

设$<S,\ast >$是半群，$\Sigma \subseteq S$，定义一个集合${\Sigma }^{+}$如下：

1. $a\in \Sigma \to a\in {\Sigma }^{+}$
2. $x,y\in {\Sigma }^{+}\to x\ast y\in {\Sigma }^{+}$
3. 有限次运用1和2生成的元素属于${\Sigma }^{+}$

$<{\Sigma }^{+},\ast >$是$<S,\ast >$的子半群，称为由$\Sigma$生成的子半群，$\Sigma$叫生成元集合.

< Σ + ∪ { e } , ∗ , e > <\Sigma^+\cup\{e\},*,e> <Σ+∪{e},∗,e>是由$\Sigma$生成的独异点.

当$\Sigma$是单元素集合时，生成的独异点就是循环独异点.

设$<S,\ast >$是一给定半群，$<S^S,\circ >$是从$S$到$S$的函数集合在合成运算下构成的半群，则存在半群同态$h:S\to S^S$.

六、群

定义

每个元素都有逆元的独异点$<G,\ast ,-1,e>$，这里$-1$是求逆运算，因为每个元素的逆元唯一，所以可视作一元运算，简记为$<G,\ast >$，有限群的基数$|G|$称为群的阶数.

---

性质

1. 群中任何元素都是可约的.
2. 幺元是群中唯一等幂元素.
3. 群的运算表中的每一行或每一列都是$G$中元素的一个置换.
4. $\forall a,b\in G(a\ast b{)}^{-1}=b^{-1}\ast a^{-1}$
5. 一、二、三、五阶群只有一个，四、六阶群有两个；一到五阶群是可交换群，六阶群不全是.

---

元素的阶

定义

设$G$是一个群，且$a\in G$，若存在$n\in N^{\ast }$使$a^n=e$，则称元素的阶是有限的，最小正整数$n$称为元素$a$的阶，若不存在这样的$n$，则称元素$a$有无限阶.

性质

1. 群中元素$a$有一有限阶$n$，则
   $$n|k\leftrightarrow a^k=e$$

2. 群中任一元素和它的逆元同阶.

3. 有限群中任一元素的阶是有限的，且必是$|G|$的一个因子.

4. 满足定律
   KaTeX parse error: No such environment: align* at position 9: \begin{̲a̲l̲i̲g̲n̲*̲}̲ \begin{split}…

---

置换群

• 集合A的基数为n，则记A上的所有置换的集合为$S_n$.

• 置换可以进行合成运算，$p_1\circ p_2$表示先进行$p_2$置换，再进行$p_1$置换；$p_1◊p_2$表示先进行$p_1$置换，再进行$p_2$置换.

• $<S_2,◊>$定义如下
  $$p_1=\left(\begin{array}{cc}1& 2\\ 1& 2\end{array}\right)p_2=\left(\begin{array}{cc}1& 2\\ 2& 1\end{array}\right)$$

  $◊$	$p_1$	$p_2$
  $p_1$	$p_1$	$p_2$
  $p_2$	$p_2$	$p_1$

• $<S_3,◊>$定义如下
  

  $◊$	$p_1$	$p_2$	$p_3$	$p_4$	$p_5$	$p_6$
  $p_1$	$p_1$	$p_2$	$p_3$	$p_4$	$p_5$	$p_6$
  $p_2$	$p_2$	$p_1$	$p_5$	$p_6$	$p_3$	$p_4$
  $p_3$	$p_3$	$p_6$	$p_1$	$p_5$	$p_4$	$p_2$
  $p_4$	$p_4$	$p_5$	$p_6$	$p_1$	$p_2$	$p_3$
  $p_5$	$p_5$	$p_4$	$p_2$	$p_3$	$p_6$	$p_1$
  $p_6$	$p_6$	$p_3$	$p_4$	$p_2$	$p_1$	$p_5$

• 给定集合A，|A|=n，A上的置换所构成的群称为n次置换群；A上的所有置换所构成的群称为n次对称群.

  n次对称群=n!次置换群

• 两面体群：在合成运算$◊$作用下，n边正多边形的所有旋转和翻转的集合构成一个n次的2n阶的置换群，这类群通称两面体群.

---

循环群

定义

设$<G,\ast >$是一个群，若$G$中存在一个元素$g$，$G$中所有元素$a$都能被表示为$a=g^i,i\in I$，则称$<G,\ast >$是一个循环群.也说循环群是由g生成的，g是$<G,\ast >$的生成元.

类似循环独异点.

性质

1. 每个循环群都是可交换群.

2. 设$<G,\ast >$是由$g\in G$生成的有限循环群，若$|G|=n$，则
   G = { g , g 2 , g 3 , . . . , g n = e } G=\{g,g^2,g^3,...,g^n=e\} G={g,g2,g3,...,gn=e}
   且n是使$g^n=e$的最小正整数.

---

子群

$<S,\ast >$是$<G,\ast >$的子群当且仅当：

1. $a,b\in S\to a\ast b\in S$
2. $a\in S\to a^{-1}\in S$

若G是有限群，则只需满足1即可.

---

群同态

定义

从一个群到另一个群的同态.

性质

1. 从一个群到另一代数系统存在同构，则这一代数系统也是一个群.

2. 设h是从$<G,\ast >$到$<H,{\ast }^{\prime }>$的群同态，h的核定义为G的一个子集，该集合包含所有映入H的幺元的元素，记为ker(h).

   $<ker(h),\ast >$是$<G,\ast >$的子群.

3. h诱导的$G$上的等价关系是$<G,\ast >$的同余关系.

4. $<ker(h),\ast >$是$<G,\ast >$的正规子群，它的陪集是3中同余关系的同余类.

5. $<ker(h),\ast >$同构于$<h(G),{\ast }^{\prime }>$.

凯莱表示定理

一个n阶有限群，同构于n次置换群.

---

拉格朗日定理

内容

任意一个有限群的子群的阶数整除它的阶数.

逆定理只对循环群成立.

推论

1. 质数阶的群没有非平凡子群.

   < { e } , ∗ > , < G , ∗ > <\{e\},*>,<G,*> <{e},∗>,<G,∗>叫$<G,\ast >$的平凡子群

2. 一个质数阶的群必然是循环的，任一与幺元不同的元素都是生成元.

---

陪集

定义

设$<H,\ast >$是$<G,\ast >$的子群，$a\in G$确定的子群$<H,\ast >$的左陪集为集合 a H = { a ∗ h ∣ h ∈ H } aH=\{a*h|h\in H\} aH={a∗h∣h∈H}，右陪集为集合 H a = { h ∗ a ∣ h ∈ H } Ha=\{h*a|h\in H\} Ha={h∗a∣h∈H}，$a$称为这两种陪集的表示元素.

性质

1. H的两个左（右）陪集要么相等，要么不相交.

   类似P123 定理3.5-3

2. H的任意陪集的基数是相等的.

H的左陪集等价关系$\sim$

$\sim$定义如下：
$$a\sim b\iff a^{-1}\ast b\in H\iff b\in aH$$
$a\sim b$习惯上写作$a\equiv b(modH)$.

---

正规子群

定义

左陪集和右陪集相等的子群，它的左陪集和右陪集统一简称为陪集.

所有可交换群的子群、平凡子群都是正规子群.

性质

正规子群的不同陪集都是G的同余类，其诱导出的陪集关系是同余关系.

---

商群

定义

设$<H,\ast >$是$<G,\ast >$的正规子群，H诱导出的陪集关系记为$\sim$，则根据商代数的定义有
KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲ \begin{aligned…
习惯记为$A/H=<G/H,{\ast }^{\prime }>$，称为$G$关于正规子群$H$的商群.

性质

1. 商群的阶数等于$|G|/|H]$.
2. 商群也是一个群.

七、环 域

环

定义

代数$<R,+,\bullet >$满足以下性质被称作环

1. $<R,+>$是阿贝尔群.

2. $<R,\bullet >$是半群

3. $\bullet$在$+$上满足分配律
   $$\begin{gathered} a\cdot (b+c)=a\cdot b+a\cdot c \\ (b+c)\cdot a=b\cdot a+c\cdot a \end{gathered}$$

性质

加法幺元同时是乘法零元，记为0.

---

无零因子环

定义

环$<R,+,\bullet >$中存在非0元素$a,b\in R$，使$a\cdot b=0$，则称此环为含零因子环，a、b称为含零因子，无零因子的环称为无零因子环.

性质

环是无零因子环 $\iff <R,+,\bullet >$满足可约律.

---

整环

如果一个无零因子环是可交换的，且含幺元，则它是整环.

---

域

定义1

整环$<F,+,\bullet >$中 ∣ F ∣ > 1 , < F − { 0 } , ∙ > |F|>1,<F-\{0\},\bullet> ∣F∣>1,<F−{0},∙>是群，则$<F,+,\bullet >$是域.

定义2

代数$<F,+,\bullet >$满足以下性质被称作域

1. $<F,+>$是阿贝尔群.

2. < F − { 0 } , ∙ > <F-\{0\},\bullet> <F−{0},∙>是阿贝尔群.

3. $\bullet$在$+$上满足分配律
   $$\begin{gathered} a\cdot (b+c)=a\cdot b+a\cdot c \\ (b+c)\cdot a=b\cdot a+c\cdot a \end{gathered}$$

---