环与域

一：定义

环：+，-，*
$R上加法群的幺元（单位元）称为零元，记为0，且对\forall a\in R有a\ast 0=0\ast a=0$

$$\begin{gathered} 满足前三条称为环，满足1，2，3，4为交换环，满足1，2，3，5为幺环， \\ 1,2,3,6为无零因子环,1-6为整环,1-7为域 \\ 整数环是整环： \\ 对于整数的普通加法和乘法构成环，对于乘法满足交换律，乘法的的单位元为1和-1，无零因子 \end{gathered}$$

$$\begin{gathered} <p(A),\oplus ,\cap >是环 \\ <p(A),\oplus ,\cup >不是环,因为\cup 对\oplus 不分配 \\ <p(A),\cap ,\cup >不是环,因为<p(A),\cap >不是群 \end{gathered}$$

域：

$$\begin{gathered} \ast 设<R，+，\ast >；是环，如果<R，+>和<R-0,\ast >都是交换群 \\ （“0”为<R,+>的幺元）且满足分配律，则称<R，+，\ast >是域。 \\ \ast 设F是一个含有0和1的数集。如果F对于数的四则运算都封闭，那么称系统（F；+，－，\times ，÷）为一个数域。 \end{gathered}$$
无 零 因 子 ： 环 中 ∃ a ≠ 0 , b ≠ 0 , s . t . a ∗ b = 0 < p ( A ) , ⊕ , ∩ > 是 环 ， ∅ 是 零 元 ， A = { a , b } , 满 足 { a } ∩ { b } = 0 无零因子：环中\exists a\neq0,b\neq0,s.t. a*b=0\\ <p(A),⊕,\cap>是环，\varnothing 是零元，A=\{a,b\},满足\{a\} \cap \{b\}=0 无零因子：环中∃a​=0,b​=0,s.t.a∗b=0<p(A),⊕,∩>是环，∅是零元，A={a,b},满足{a}∩{b}=0

$$\begin{gathered} 域必是整环；有限整环必是域 \\ 有限整环必是域的证明（也就时证明有限整环R中的元素a_i\ne 0可逆）： \\ 构造类似左配集a_i\ast R,则a_i\ast R\subset R,整环无零因子满足消去律，没有相同的元素, \\ 元素个数也与R相同为n则a_i\ast R=R(整数环就没有这个性质), \\ e\in R=a_i\ast R,a_i可逆 \end{gathered}$$

---

二.结构部分

理想子环（简称为理想）ideal

$$\begin{gathered} 与群的正规子群需要“交换性”成立不同的是理想需要“吸收性”，“乘”运算后吸收到理想 \\ 例子整数环集合Z中的mZ部分，m为任意整数，比如0，1，2 \end{gathered}$$

$$\begin{gathered} 环中合同关系 \\ 设R是一个环，N是一理想。对于a,b\in R,如果a-b=n\in N,或a=btn,n\in N, \\ 则称a和b模N合同，记为a=b(modN)。 \\ 这不过是加法群R中模加法子群N的合同关系。所以可将R分为N的陪集，N的一个陪集叫N的一个剩余 \\ 类。若a是R的任意元素，则包含a的剩余类可以写成a+N的形式，a和b在同一剩余类，当且仅当a和b模N合同 \end{gathered}$$

同态=同构部分+核部分（对应过去是单位元）的定义仍然和加法十分类似

线性方程组解的结构

$$\begin{gathered} 同态：\sigma :R\to R^{\prime }，\forall a,b\in R，有\sigma (a\ast b)=\sigma (a)\cdot \sigma (b) \\ 同态映射的核是R的一个理想,记为N \\ (a+b)+N=(a+N)+(b+N),a\ast b+N=(a+N)\ast (b+N) \end{gathered}$$

$$图：同态与同构$$