近世代数一些知识

集合:…, Z整数集，Q有理数集，R实数集，C复数集

映射: 单射、满射、双射

变换: $f:A\to A$, 单射变换、满射变换、双射变换、恒等变换

代数运算: $f:A\times A\to A$

运算律： 结合律、分配律(左右/第一第二分配律)、交换律

同态映射： 代数系统$(A,\circ )$ 和 $(\bar{A},\bar{\circ })$, 如果映射$f:A\to \bar{A}$，对于任意$a,b\in A$, 都有$f(a\circ b)=f(a)\bar{\circ }f(b)$, 则称该映射为同态映射。
同态隐射的核： kerf = { a ∣ f ( a ) = e A ˉ } \text{kerf}=\{a|f(a)=e_{\bar A}\} kerf={a∣f(a)=eAˉ​}

同态: 如果两个代数系统$(A,\circ )$ 和 $(\bar{A},\bar{\circ })$，存在同态满射$f:A\to \bar{A}$，则称$(A,\circ )$ 和 $(\bar{A},\bar{\circ })$同态。同态具有传递性、运算律也具有传递性。

同构: 存在同态双射$f:A\to \bar{A}$

关系: 等价关系(aRa, aRb=bRa, aRb,bRc–>aRc), 集合分类<–> 等价关系

群(只有一个代数运算)

群： 集合$G\ne \varnothing$，作用于G上二元运算$+$，构成的(G,+)代数系统，满足 1.+封闭，2.结合律，3. 存在零元素、任意元素存在逆元素。
群的阶，群元素的阶： 即集合元素的个数|G|，元素的阶为 ∣ g ∣ = min ⁡ { k ∣ k g = g + g + . . . . g = 0 } |g|=\min\{k| kg=g+g+....g=0\} ∣g∣=min{k∣kg=g+g+....g=0}.
有限群$|G|<\infty ，|g|=n$时, 若$mg=e$, 则m被n整除，即m=kn；|kg|= n/(k,n), 即kg的阶为n除以 k与n的最大公约数。
若${\max }_g|g|=m$，则任意g’，$|g^{\prime }|$是m的因子。

按照群元素阶分类： 周期群、无扭群、混合群

半群: 集合$G\ne \varnothing$，作用于G上二元运算$+$，构成的(G,+)代数系统，满足1.+封闭，2.结合律。 (例如，自然数加法半群。之所以叫半群是因为扔掉了一半的逆元素。) 含幺半群。

交换群/阿贝尔群:(G,+)是一个群，且满足+运算交换律。

循环群：(G,+)是一个群，存在一个生成元$a$，对于任意$g\in G$, 有$g=a^r$。

不变子群(正规子群): 左右陪集相等
商群： 正规子群的陪集，作为群元素构成的群
单群: 只有平凡子群作为正规子群

• $(G,+)$与 $(\bar{G},\overline{+})$ 同态，如果前者是群，后者也是群
• 同态映射的核$N=\text{kerf}$是$G$的正规子群，且该商群$G/N$与$\bar{G}$同构，即 $G/N\widetilde{=}G=\text{im}f$； 若满同态，则 $G/N\widetilde{=}G=\text{im}f=\bar{G}$
• 满同态映射下，子群仍是子群，正规子群仍是正规子群；反推逆像也成立
• 群的直积(笛卡尔积)仍是群
• 若$k,t$互素，循环群$C_k,C_t$也为循环群，且同构kt节循环群$C_k\times C_t\widetilde{=}{C}_{kt}$；(注意5与5不互素)
• 素因数分解$n=p_1^{n_1}{p}_2^{n_2}...$, 则$C_n\widetilde{=}{C}_{p_1^{n_1}}\times C_{p_2^{n_2}}...$
• $C_4$与 $C_2\times C_2$不同构

环(两个代数运算+*, *运算有一定缺陷为半群)

环： 集合$R\ne \varnothing$，作用于G上的二元运算+、$\ast$，构成的$(R,+,\ast )$代数系统，满足1. (R,+)是交换群，2.(R,*)是半群，3. $\ast$关于+满足左右分配律。
基本性质： $0\ast a=a\ast 0=0$, $(-a)\ast b=a\ast (-b)=-(a\ast b)$。

交换环： $(R,+,\ast )$环， 运算*满足交换律。
整环：$(R,+,\ast )$交换环，有单位元，无零因子。
除环：$(R,+,\ast )$环, $R^{\ast }=R$\0, $(R^{\ast },\ast )$是群。

• 除环必定没有零因子，因为$a\ne 0,ab=0\Rightarrow a^{-1}ab=b=0$
• 无零因子等价于，所有非零元素的加法阶都等于某个素数

理想(理想子环)： 1. 任意 $a,b\in I,r\in R$, 则$a-b,ar,ra\in I$。
理想的性质： 理想的交与和都是理想，理想的和是包含理想并的最小理想
商环(剩余类环)： 理想的陪集构成的元素; 只看加法的话，是商群；商环的运算法则为：$[a]+[b]=[a+b],[a]\ast [b]=[a\ast b]$
单环: 只有平凡理想；除环、域是单环

• 满同态映射$f$，其核$\text{ker}f$ 是一个理想，并且其商环与$\text{im}f$同构； 若满同态映射，则与另一环同态
• 子环的满同态隐射仍是子环，理想的满同态隐射也是理想；反推逆像也有同样结论

主理想: $a\in R$, 包含$a$的所有理想的交，即包含a的最小理想 I a = { a r + n a ∣ n ∈ Z , r ∈ R } I_a=\{ar+na|n\in Z, r\in R\} Ia​={ar+na∣n∈Z,r∈R}; 特别地，对于有单位元的交换环 I a = { a r ∣ r ∈ R } I_a=\{ar|r\in R\} Ia​={ar∣r∈R}；包含a,b,c…的最小理想为$I_a+I_b+I_c...$
素理想: 交换环$R$，$I\ne R$是一个真理想，且$a,b\in R$, $ab\in I$ 可推出$a\in I$或$b\in I$

• 对于交换环R而言，$I$是素理想等价于，$R/I$是整环
• 素数$p$生成的主理想 { p r ∣ r ∈ Z } \{pr|r\in Z\} {pr∣r∈Z}是Z的素理想

极大理想: 除R外，没有包含I的更大理想

• 素数$p$生成的主理想 { p r ∣ r ∈ Z } \{pr|r\in Z\} {pr∣r∈Z}是Z的极大理想
• 对于含单位元$e$的交换环而言，I是R的极大理想，等价于，$R/I$是域
• 素数$p$生成的主理想 I p = { p r ∣ r ∈ Z } I_p=\{pr|r\in Z\} Ip​={pr∣r∈Z}, $Z/I_p$是域
• 对于有$e$的交换环而言，极大理想一定是素理想

域(两个代数运算，弥补了*运算缺陷的环)

域： D1).$(F,+,\ast )$交换环，关于运算*，存在不同于零元的单位元，任意非零元素存在逆元素。D2). 交换除环；D3).$(F,+)为交换群,(F/0,\ast )$都为交换群，满足分配率。

注： 从环过渡到域，是把$(R,\ast )$由半群变为$(R^{\ast },\ast )$交换群，并且其单位元不等于零元$I\ne 0$。

有限域/伽罗华域：$(F,+,\ast )$域，$|F|<\infty$。