离散数学2 抽象代数 近世代数 群环域格布尔代数 笔记

最近笔记同步更新

代数系统

代数常元相等

1. 左幺元，右幺元存在
2. 左零元，右零元存在
3. 运算可结合，左逆元，右逆元存在

子代数

1. 子集
2. 封闭
3. 代数常元保持

同态

映射前后运算保持，常元保持

证明同态：

1. 映射类型
2. 每个运算都验证同态
3. 常元也保持

构造同态

特殊常元对应，剩下的自己试试吧

同态性质

1. 运算可结合性，交换性，分配性，吸收性 保持
2. 保持幺元，零元，逆元

群

定义

可结合，封闭，幺元，逆元

性质

1. 群中无零元
2. 每个元素逆元唯一
3. 存在唯一x使得 $a\ast x=b$
4. 满足消去律
5. 幺元是唯一的等幂元 $x\ast e=x\ast x\to x=e$
6. G中元素在每一行，每一列都出现一次
7. 逆元的幂=幂的逆元 $(a^n{)}^{-1}=(a^{-1}{)}^n$
8. $(a\ast b{)}^{-1}=a^{-1}\ast b^{-1}$

低阶群

• 1阶群：1

*	e
e	e

• 2阶群：1

*	e	a
e	e	a
a	a	e

• 3阶群：1

*	e	a	b
e	e	a	b
a	a	b	e
b	b	e	a

• 4阶群：2

循环左移

*	e	a	b	c
e	e	a	b	c
a	a	b	c	e
b	b	c	e	a
c	c	e	a	b

对角线是e

*	e	a	b	c
e	e	a	b	c
a	a	e	c	b
b	b	c	e	a
c	c	b	a	e

• 5阶群：1 循环左移

*	e	a	b	c	d
e	e	a	b	c	d
a	a	b	c	d	e
b	b	c	d	e	a
c	c	d	e	a	b
d	d	e	a	b	c

群中元素的阶

使 $a^n=e$成立的最小正整数n，n为元素的阶

定理

1. $(a^{-1}{)}^k=(a^k{)}^{-1}$
2. $|a|=n$，存在k使得 $a^k=e$ 当且仅当k是n的倍数
3. 元素的阶小于等于群的阶

---

循环群

1. 任何一个循环群必定是阿贝尔群

3. 循环群的子群必是循环群 生成元为$g^m$ ，m是最小正整数。

子群的判定

1. 非空，封闭，逆元
2. 非空，封闭，有限
3. 非空，$\ast \ast a\ast b^{-1}\in S\ast \ast$

群同态

---

陪集和拉格朗日定理

陪集性质

1. $aH=bH$ 或 $aH\cap bH=\varnothing$
2. $|aH|=|bH|=|H|$
3. $b\in aH\leftrightarrow a^{-1}\ast b\in H$la

拉格朗日定理

1. 子群的阶是群阶的因子
2. 群元素的阶是群阶的因子

推论

1. 质数阶的群只有平凡子群
2. 质数阶的群是循环群，任何不为幺元的元素均可作为生成元

环和域

环

$<A,+,\ast >$ 是代数系统，满足

1. $<A,+>$是阿贝尔群
2. $<A,\ast >$是半群
3. *对+可分配

环的性质

1. 加法幺元是乘法零元、
2. $a\ast (-b)=(-a)\ast b=-(a\ast b)$

---

1. $(-a)\ast (-b)=a\ast b$
2. $a\ast (b-c)=a\ast b-a\ast c$ (分配律)

整环

$<A,+,\ast >$ 是代数系统，满足

1. $<A,+>$是阿贝尔群
2. $<A,\ast >$是 可交换 独异点 无零因子
3. *对+可分配

域

$<A,+,\ast >$ 是代数系统，满足

1. $<A,+>$是阿贝尔群
2. < A − { 0 } , ∗ > <A-\{0\},*> <A−{0},∗>是阿贝尔群
3. *对+可分配

性质！！

1. 域是整环
2. 有限整环是域

---

格

偏序集中，任意两个元素都有最小上界和最大下界

五个元素以内互补同构的格

• 1个元素 1
• 2个元素 1
• 3个元素 1

---

以上全是链

• 4个元素 2
• 4个元素 5

格的性质(我猜不会考)

分配不等式： (对偶也成立)

$$a\vee (b\wedge c)\le (a\vee b)\wedge (a\vee c)$$

模不等式：

$$a\le c\leftrightarrow a\vee (b\wedge c)\le (a\vee b)\wedge c$$

子格

1. 子集
2. $\vee \wedge 封闭$

分配格

分配格的判定

1. 链
2. 元素个数
3. 子格不与五角格，钻石格同构

分配格性质

$\left\{\begin{array}{c}a\vee b=a\vee c\\ a\wedge b=a\wedge c\end{array}\right\}\to b=c$

💡 ** b=c!!! **

有界格

既有全上界也有全下界

💡 **有限格都是有界格**

有补格

$对于a,\exists b使得a\wedge b=0,a\vee b=1$ b为a 的补元

每个元素都有补元的格是有补格

链不是有补格

布尔格和布尔代数

布尔格：

有补分配格

布尔代数 → 与$<\rho (A),\subseteq >同构$

有限布尔代数性质

1. 元素个数是$2^n$
2. 元素个数相同的布尔代数是同构的

有限布尔代数的原子表示

原子： 覆盖0的元素 → 集合A的元素

有限布尔代数性质

1. $\forall b\ne 0,\exists 原子a使得a\le b$
2. a,b是两个原子 ，$a\wedge b=0$
3. $b\wedge c^{\prime }=0\leftrightarrow b\le c$
4. $a_i\le b{a}_i$是原子，则b可以由 $b=a_1\vee a_2......ak$ 唯一表示
5. $\left\{\begin{array}{c}a\le b\\ a\le b^{\prime }\end{array}\right\}$ 有且仅有一式成立，其中a为原子，b不是0

主析取范式主合取范式

如果元素取值不只是0，1 则两个范式不互补，需要分开求

有系数也不能分开求