又名抽象代数、近式代数

学科の中で、一番好きのんです。

# 运算

  • 定义:

    A是集合,A×AA上的映射称为A上的二元运算。AnA上的运算称为A上的n元运算例:S是一个集合,则其子集的交/并是P(S)上的二元运算设A是集合,A\times A 到A上的映射称为A上的二元运算。A^n到A上的运算称为A上的n元运算\\ 例:S是一个集合,则其子集的交/并是P(S)上的二元运算

  • 定义

    fA上的n元运算,若x1,x2,...,xnA,f(x1,x2,...,xn)A,则称A对运算f封闭设f是A上的n元运算,若\forall x_1,x_2,...,x_n\in A,f(x_1,x_2,...,x_n)\in A,则称A对运算f\textbf{封闭}

  • 注意,由于运算的新定义,运算的性质包括交换律,结合律,左 \ 右分配律,消去律与一般数的运算不是一个概念

# 代数系统

  • 定义

    A是一个非空集合,f1,f2,...,fnA上的运算,则<A,f1,f2,...,fn>构成一个代数系统。也可简记为ASA,且S也对这些运算封闭,则称SA的一个子代数若A是一个非空集合,f_1,f_2,...,f_n是A上的运算,则<A,f_1,f_2,...,f_n>构成一个代数系统。也可简记为A。\\ 若S\subseteq A,且S也对这些运算封闭,则称S为A的一个\textbf{子代数}

# 特殊元素

# 单位元

  • 代数系统<A,>eA,xA,都有ex=x,则称eA中的左单位元。右单位元类似定义.A中既有左单位元el,又有右单位元er,el=er=e为单位元。代数系统<A,*> 中e\in A,若\forall x\in A,都有ex=x,则称e为A中的左单位元。右单位元类似定义.\\ 若A中既有左单位元e_l,又有右单位元e_r,则e_l=e_r=e为单位元。

  • 定理:代数系统 A 中的单位元若存在,则唯一。

# 逆元

  • 代数系统<A,>的单位元为e,对于aA,bA,使ba=e,则称a左可逆,左逆元为b。右同理。aA,使aa=aa=e,则称a可逆,逆元为a代数系统<A,*>的单位元为e,对于a\in A,若\exists b\in A,使ba=e,则称a左可逆,左逆元为b。右同理。\\ 若\exists a'\in A,使aa'=a'a=e,则称a可逆,逆元为a'

  • 定理:

    若代数系统<A,>中,满足结合律。那么aA的左右逆元若存在,则相等且唯一。简单证明:左逆元b右逆元c,b=be=b(ac)=(ba)c=ec=c若代数系统<A,*>中,*满足\textbf{结合律}。那么a\in A的左右逆元若存在,则相等且唯一。\\ 简单证明:左逆元b右逆元c,b=be=b(ac)=(ba)c=ec=c

# 幂等元

  • 代数系统<A,>中,aA,aa=a,则称a为幂等元代数系统<A,*>中,a\in A,a*a=a,则称a为幂等元

# 同态与同构

  • 定义

    <A,>,<B,>为两个代数系统,f:AB,如果x,yA,:f(AB)=f(A)f(B),则称fAB同态映射同样,若f为单/满射时,称为单/满同态(映射),特别地,若f为双射,则称为同构映射。f为满射时,B称为A的同态象,记为fABf为双射时,称AB同构(等价关系)记为f:AB<A,*>,<B,\circ>为两个代数系统,f:A\rightarrow B,如果\forall x,y\in A,有:\\ f(A*B)=f(A)\circ f(B),则称f为A到B的\textbf{同态}映射\\ 同样,若f为单/满射时,称为单/满同态(映射),特别地,若f为双射,则称为\textbf{同构}映射。\\ 当f为满射时,B称为A的同态象,记为f:A\sim B\\ 当f为双射时,称A与B同构(等价关系)记为f:A\cong B

  • 定理:

    fAB的同态,gBC的同态。则gf(fg)AC的同态。且当且仅当fg均为单(满)射时,gf也为单(满)射。φ:AB,φ1:BA若f为A到B的同态,g为B到C的同态。则g\circ f(f\diamond g)为A到C的同态。\\ 且当且仅当f,g均为单(满)射时,g\circ f也为单(满)射。\\ 若\varphi:A\cong B,则\varphi^{-1}:B\cong A

  • 定理

    满同态保持结合律:f:<A,><B,>,满足结合律,则也满足结合律。满同态保持交换律:f:<A,><B,>,满足交换律,则也满足交换律满同态保持单位元,逆元:f:<A,><B,>,f(e)=e,f(x1)=(f(x))1满同态保持幂等元。满同态保持结合律:若f:<A,*>\sim <B,\circ>,若*满足结合律,则\circ 也满足结合律。\\ 满同态保持交换律:若f:<A,*>\sim <B,\circ>,若*满足交换律,则\circ 也满足交换律\\ 满同态保持单位元,逆元:f:<A,*>\sim<B,\circ>,则f(e)=e',f(x^{-1})=(f(x))^{-1}\\ 满同态保持幂等元。

  • 规定:<A,*> 到自身的同态(构)称为 A 上的自同态(构)。

# 直积

  • 定义:

    <A,>,<B,>的直积<A×B,>定义为:<x,y><c,d>=<xy,cd><A,*>,<B,\circ>的直积<A\times B,\bigtriangleup>的\bigtriangleup定义为:\\ <x,y>\bigtriangleup<c,d>=<x*y,c\circ d>

  • 定理:

    若代数系统<A,>,<B,>中分别有单位元eA,eB,则在他们的直积<A×B,>中存在子代数ST使SA,TB,S=A×{eA},T={eA}×B若代数系统<A,*>,<B,\circ>中分别有单位元e_A,e_B,则在他们的直积<A\times B,\bigtriangleup>中存在子代数S,T\\ 使S\cong A,T\cong B,S=A\times\{e_A\},T=\{e_A\}\times B

# 群论

# 半群

  • 定义:

    若代数系统<A,>满足结合律,则称这个代数系统为一个半群an=aa...a(n)特别地,若半群满足交换律,则称为可交换半群,满足(ab)2=a2b2而如果运算符号用+表示时,记为na(an)若代数系统<A,*>中*满足结合律,则称这个代数系统为一个\textbf{半群}\\ 记a^n=a*a*...*a(n个)\\ 特别地,若半群满足交换律,则称为可交换半群,满足(ab)^2=a^2b^2\\ 而如果运算符号用+表示时,记为na(*时a^n)

  • 指数律:

    +下:ma+na=(m+n)a(不能写成an)m(na)=(mn)a,m(a+b)=ma+mb(其中m,nN)+下:ma+na=(m+n)a \qquad(不能写成an)\\ m(na)=(m*n)a,m(a+b)=ma+mb\qquad(其中m,n\in N^*)

# 幺半群

  • 定义:有单位元的半群记为有 1 半群 / 幺半群

  • 定理:

    幺半群中元素a若可逆,则逆元唯一。记作a1,+时也可记作a(a1)1=a,(ab)1=b1a1幺半群中元素a若可逆,则逆元唯一。记作a^{-1},+时也可记作-a\\ (a^{-1})^{-1}=a,(ab)^{-1}=b^{-1}a^{-1}

# 子 (幺) 半群

  • 若 S 的子群 T 也在 * 下构成半群,则称 T 为 S 的子半群。

  • 若 S 为幺半群,其单位元 e 在子半群 T 中,则称 T 为 S 的子幺半群。

#

  • 三大群公理

    若一个代数系统<G>满足:(1)结合律成立(半群)(2)有单位元(幺半群)(3)所有元素均可逆则称<G,>为一个群若一个代数系统<G,*>满足:\\ (1)结合律成立\qquad(半群)\\ (2)有单位元\qquad(幺半群)\\ (3)所有元素均可逆\\ 则称<G,*>为一个群

  • 规定:

    G表示G中元素个数,称为G的阶。若G为无限群,则G=G满足交换律,则称其为一个Abel群。|G| 表示G中元素个数,称为G的阶。若G为无限群,则|G|=\infty\\ 若G中*满足交换律,则称其为一个Abel群。

  • 定理:

    (1)G中消去律成立.(2)G中单位元e为唯一幂等元.(3)在群与群的同态中,不需要是满同态就保持单位元和逆元.(4)G是群,H是代数系统.f:GH,H也为群.(5)有限群G中运算表每一行/列均为G中元素一个全排列.(1)群G中消去律成立.\\ (2)群G中单位元e为唯一幂等元.\\ (3)在群与群的同态中,不需要是满同态就保持单位元和逆元.\\ (4)G是群,H是代数系统.若\exists f:G\sim H,则H也为群.\\ (5)有限群G中运算表每一行/列均为G中元素一个全排列.

  • 半群构成群的要求

    • G是半群,且(1)G中存在左单位元(2)G中任一元素均有左逆元(相对左单位云),则G为群G是半群,且(1)G中存在左单位元(2)G中任一元素均有左逆元(相对左单位云),则G为群

    • G是半群,若a,bG,ax=b,ya=b均在G中有解,则G为群G是半群,若\forall a,b\in G,ax=b,ya=b均在G中有解,则G为群

    • 有限半群消去律成立则必为群.\textbf{有限半群消去律}成立则必为群.

  • 特殊的群

    • 三阶群(唯一,同构观点上)

      * e a b
      e e a b
      a a b e
      b b e a
    • 四阶群(唯二,同构观点上)

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

      这个四阶群称为 Klein 四元群。

      * e a b c
      e e a b c
      a a e c b
      b b c a e
      c c b e a
  • 特别地,二阶群的直积为 Klein 四元群。

# 子群

  • 定义:群 G 的子集 H 若关于也构成群,则称 H 是 G 的子群。

  • 特别地,{e},G 称为 G 的平凡子群,而其他子群称为 G 的真子群

  • 定理:

    (1)子群保持单位元:HG,G中单位元e也在H.(2)子群保持逆元:HG,H中元素a的逆元也就是aG中的逆元.(3)同态保持子群:若f:GS,AG的子群,则f(A)S的子群(1)子群保持单位元:H\subseteq G,则G中单位元e也在H中.\\ (2)子群保持逆元:H\subseteq G,则H中元素a的逆元也就是a在G中的逆元.\\ (3)同态保持子群:若f:G\rightarrow S,A是G的子群,则f(A)是S的子群

  • 子集构成子群的条件

    • G的子集H封闭,且aH,a1(G中的逆元)H(求逆封闭),H为子群.上条件可合并为:a,bH,ab1H,则H为子群.(对除()法封闭)若G的子集H对*封闭,且\forall a\in H,a^{-1}(在G中的逆元)\in H(求逆封闭),则H为子群.\\ 上条件可合并为:\forall a,b\in H,a*b^{-1}\in H,则H为子群.(对除(减)法封闭)

# 元素的周期 (阶)

  • 定义:

    G中的元素a,满足an=e的最小正整数n称为a的周期(),记为a.n不存在则a=显然,am=eam(a的阶整除m)群G中的元素a,满足a^n=e的最小正整数n称为a的周期(阶),记为|a|.若n不存在则|a|=\infty\\ 显然,a^m=e\Leftrightarrow |a||m(a的阶整除m)

  • 循环子群

    G中元素a的阶为n,则{e,a,a2,...,an1}称为由a生成的循环子群,记为(a).显然,(a)=a.群G中元素a的阶为n,则\{e,a,a^2,...,a^{n-1}\}称为由a生成的循环子群,记为(a).\\ 显然,|(a)|=|a|.

  • 引理:

    G中,x,yG,xn=eyn=e,x=y.群G中,x,y\in G,若x^n=e\Leftrightarrow y^n=e,则|x|=|y|.

# 循环群

  • 定义:

    aG,使(a)=G,则称G为由a生成的循环群若\exists a \in G,使(a)=G,则称G为由a生成的循环群

  • 定理:

    (1)G是一个无限循环群,则G<Z,+>,G是有限n阶循环群,则G<Zn,+n>f:[i]>ai(2)循环群的子群一定是循环群(3)<G,>n阶循环群,mNmn,G中存在唯一m阶子群。(1)若G是一个无限循环群,则G\cong <Z,+>,若G是有限n阶循环群,则G\cong <Z_n,+_n>\\ f:[i]->a^i\\ (2)循环群的子群一定是循环群\\ (3)设<G,*>是n阶循环群,m\in N^*且m|n,则G中存在唯一m阶子群。

# 置换群

  • 置换的定义:有限集 S 到自身的双射称为 S 上的置换。

  • 置换群的复合和求逆遵循函数技法。

    σ(x)=(12...nσ(1)σ(2)...σ(n))τ(x)=(12...nτ(1)τ(2)...τ(n))τ(x)σ(x)=(12...nτ(σ(1))τ(σ(2))...τ(σ(n)))=στ=τσ\sigma(x)=\begin{pmatrix} 1 & 2 & ... & n \\ \sigma(1) & \sigma(2) & ... & \sigma(n) \end{pmatrix} \tau(x)=\begin{pmatrix} 1 & 2 & ... & n \\ \tau(1) & \tau(2) & ... & \tau(n) \end{pmatrix}\\ 则\tau(x)\sigma(x)=\begin{pmatrix} 1 & 2 & ... & n \\ \tau(\sigma(1)) & \tau(\sigma(2)) & ... & \tau(\sigma(n)) \end{pmatrix}=\sigma\diamond \tau=\tau\circ\sigma

  • 循环置换定义:

    形如:σ=(i1i2...id1idid+1...ini2i3...idi1id+1...in)的置换称为循环置换,记为(i1,i2,...,id),d为循环长度当形如:\sigma=\begin{pmatrix} i_1 & i_2&...&i_{d-1}&i_d&i_{d+1}&...&i_n \\ i_2&i_3&...&i_d&i1&i_{d+1}&...&i_n \end{pmatrix}\\ 的置换称为循环置换,记为(i_1,i_2,...,i_d),d为循环长度当

  • 规定:Sn阶有限集,S上的所有置换构成的集合记为Sn.显然,Sn在置换乘法下构成群。且Sn=n!我们把这个群称为n次对称群,其子群称为n次置换群。规定:S是n阶有限集,S上的所有置换构成的集合记为S_n.\\ 显然,S_n在置换乘法下构成群。且|S_n|=n!\\ 我们把这个群称为\textbf{n次对称群},其子群称为n次置换群。

  • 特别记住三次置换的记法:

    σ0=(123123)σ1=(123213)σ2=(123321)σ3=(123132)σ4=(123231)σ5=(123312)(σ0)={σ0},(σ1)={σ0,σ1},(σ2)={σ0,σ2}(σ3)={σ0,σ3},(σ4)=(σ5)={σ0,σ4,σ5}\sigma_0=\begin{pmatrix}1&2&3\\1&2&3\end{pmatrix}\sigma_1=\begin{pmatrix}1&2&3\\2&1&3\end{pmatrix}\sigma_2=\begin{pmatrix}1&2&3\\3&2&1\end{pmatrix}\\ \sigma_3=\begin{pmatrix}1&2&3\\1&3&2\end{pmatrix}\sigma_4=\begin{pmatrix}1&2&3\\2&3&1\end{pmatrix}\sigma_5=\begin{pmatrix}1&2&3\\3&1&2\end{pmatrix}\\ (\sigma_0)=\{\sigma_0\},(\sigma_1)=\{\sigma_0,\sigma_1\},(\sigma_2)=\{\sigma_0,\sigma_2\}\\ (\sigma_3)=\{\sigma_0,\sigma_3\},(\sigma_4)=(\sigma_5)=\{\sigma_0,\sigma_4,\sigma_5\}

    而且三次对称群就不是 Abel 群

  • (Cayley 定理)任何一个 n 阶群必同构于一个 n 次置换群

    简单证明:可以将置换描述为f(x),x=1,2,...,n.那么考虑映射f:ASn,afa(x),其中fa(x)表示f(x)=ax的一个置换.fab(x)=(ab)x=a(bx)=fa(fb(x))=fa(x)fb(a)这里利用了n阶群的一行/列为其元素的一个全排列。简单证明:可以将置换描述为f(x),x=1,2,...,n.\\ 那么考虑映射f:A\rightarrow S_n,a\mapsto f_a(x),其中f_a(x)表示f(x)=ax的一个置换.\\ 则f_{a*b}(x)=(a*b)x=a(bx)=f_a(f_b(x))=f_a(x)\circ f_b(a)\\ 这里利用了n阶群的一行/列为其元素的一个全排列。

# 同余与陪集与商集

  • 定义:

    G是一个群,H是其子群。定义G上的模H同余关系abmodHb1aH(左同余关系)arbmodHab1H(右同余关系)G是一个群,H是其子群。定义G上的\textbf{模H同余关系}:\\ a\equiv b\quad modH \Leftrightarrow b^{-1}a\in H(左同余关系)\\ a\equiv_r b\quad modH \Leftrightarrow ab^{-1}\in H(右同余关系)

  • 不难证明,左右同余关系均为等价关系

  • 于是考虑由左同余关系产生的等价类 (陪集):

    [a]={xxamodH}={xa1x=hH}={xx=ah,hH}={ahhH}aG所以形象化地,[a]就是aH里每一个元素做左乘法。可记为aH.称为HG内由a决定的左陪集.如果运算是加法时,也可记为a+H.[a]=\{x|x\equiv a\quad modH\}=\{x|a^{-1}x=h\in H\}=\{x|x=ah,h\in H\}=\{ah|h\in H\}\\ a\in G\\ 所以形象化地,[a]就是a与H里每一个元素做左乘法。可记为aH.\\ 称为H在G内由a决定的左陪集.如果运算是加法时,也可记为a+H.

  • 陪集的性质:

    eH=H,aH=bHa1bHaH=HaH.(e1aHaH)eH=H,aH=bH\Leftrightarrow a^{-1}b\in H\\ aH=H\Leftrightarrow a\in H.(e^{-1}a\in H即a\in H)

  • 定义:

    H是群G的子群,则H的所有左陪集构成的集合SL={aHaG}称为GH的左商集。记为G/RHH是群G的子群,则H的所有左陪集构成的集合S_L=\{aH|a\in G\}称为G对H的左商集。记为G/R_H

  • 性质:任意群 G 对其子群 H 的左右陪集数相等。即左右商集等势。

    简单证明。建立映射f:SLSR,aHHa1.这里说明为什么不是f:aHHa因为如果这样,aH=bH⇏Ha=Hb.不能说明f(aH)的唯一确定而与代表元无关.选取ab作代表元得出的原象是相同的(aH=bH),但象却不同。简单证明。建立映射f:S_L\rightarrow S_R,aH\mapsto Ha^{-1}.\\ 这里说明为什么不是f:aH\mapsto Ha因为如果这样,\\ aH=bH\not\Rightarrow Ha=Hb.\\ 不能说明f(aH)的唯一确定而与代表元无关.选取a或b作代表元得出的原象是相同的(aH=bH),但象却不同。

于是可以定义H的左()陪集数称为HG内的指数,记作[G:H]=SL=SR由于群的消去律成立,又可推出,aH=Ha=H于是可以定义H的左(右)陪集数称为H在G内的\textbf{指数},记作[G:H]=|S_L|=|S_R|\\ 由于群的消去律成立,又可推出,|aH|=|Ha|=|H|

  • (拉格朗日定理)|G|=[G:H]*|H|, 因为商集构成了群的一个划分。

    • 推论:素数阶群必为循环群。因为其中元素生成的循环子群阶要么为 1 要么为 | G|.
    • 推论:有限群 G 中元素的阶整除群的阶。|a|=|(a)|=|G|/[G : (a)]
    • 推论:有限群中元素的 | G | 次幂一定为 e.
  • 补充说明:要证明一个群是循环群则只要证明其中一个元素的阶等于群的阶即可

    (来自某次作业不动脑子)

# 正规子群。

  • 定义:

    G中,H是子群,若aG,都有aH=Ha,则称HG的一个正规子群.hH,又均有ah=ha,则称HG的一个中心.群G中,H是子群,若\forall a\in G,都有aH=Ha,则称H为G的一个正规子群.\\ 若\forall h\in H,又均有ah=ha,则称H为G的一个中心.

  • 以下条件两两等价:

(1)HG的一个正规子群(2)aG,hH,必存在hH,使ha=ah(废话嗷)(3)a1haH,aG,hH (1)H是G的一个正规子群\\ (2)\forall a\in G,h\in H,必存在h'\in H,使ha=ah'(废话嗷)\\ (3)a^{-1}ha\in H,\forall a\in G,h\in H

  • 显然对于正规子群不必区分左右陪集,左右商集。统一记为 S=G/H

  • 在商群上定义陪集 (商群的元素) 运算:

aHbH=(ab)H注:aH=a1H,bH=b1H(ab)H=(a1b1)H,所以定义合理在此定义下,<G/H,>构成群.eH=H是其单位元.gH:aaH<G,><G/H,>的一个满同态,也称为自然同态 aH\circ bH=(ab)H\\ 注:aH=a_1H,bH=b_1H\Rightarrow (ab)H=(a_1b_1)H,所以定义合理\\ 在此定义下,<G/H,\circ>构成群.eH=H是其单位元.\\ 而g_H:a\mapsto aH为<G,*>到<G/H,\circ>的一个满同态,也称为\textbf{自然同态}

# 子集乘积

  • 定义

AB=AB={abaA,bB} A*B=AB=\{ab|\forall a\in A,b\in B\}

  • 显然子集乘积满足结合律。且任何子集均为幂等元。aH={a}*H。

  • aHbH={a}(H{b})H=({a}{b})(HH)=(ab)HaH*bH=\{a\}*(H*\{b\})*H=(\{a\}*\{b\}) * (H * H)=(ab)H

# 群同态基本定理

# 同态的核

  • 定义:φ是群G到群H的同态,则定义φ的核Kerφ={xxG,φ(x)=e},eH中单位元定义:\varphi是群G到群H的同态,则定义\varphi的核Ker\varphi=\{x|x\in G,\varphi(x)=e'\},e'为H中单位元

  • 定理:

    KerφG的一个正规子群.NG一个正规子群,则GG/N的自然同态gH:aaN的核Kerφ=N(简单证明:aKergNgN(a)=NaN=NaN)Ker\varphi 为G的一个正规子群.\\ 若N是G一个正规子群,则G到G/N的自然同态g_H:a\mapsto aN的核Ker\varphi=N\\ (*简单证明:a\in Ker{g_N}\Leftrightarrow g_N(a)=N\Leftrightarrow aN=N\Leftrightarrow a\in N)

  • 群同态基本定理

G的任一商群均为G的同态象,即GG/NGG的一个同态象(f:GG),则GG/Kerf(同构映射φ:G/KerfG,aKerff(a)) 群G的任一商群均为G的同态象,即G\sim G/N\\ 若G'为G的一个同态象(f:G\sim G'),则G'\cong G/Kerf\\ (*同构映射\varphi:G/Kerf\rightarrow G',aKerf\mapsto f(a))

# 环与域

  • 环的定义

代数系统<R,+,>中,<R,+>是一个Abel群,<R,>是一个半群,且+满足分配律则称<R,+,>为一个环.(+作最高要求,对作最低要求) 代数系统<R,+,\cdot>中,<R,+>是一个Abel群,<R,\cdot>是一个半群,且\cdot对+满足分配律\\则称 <R,+,\cdot>为一个环.(对+作最高要求,对\cdot作最低要求)

  • 规定乘法优先级高于加法

  • 规定:

<R,+>的单位元用0表示,也称为零元。a的逆元用a表示,也成为a的负元。 <R,+>的单位元用0表示,也称为零元。a的逆元用-a表示,也成为a的负元。

  • 定律:

(1)0*a=0*a=0.(加法单位元乘任何元素为加法单位元)(0a+1a=(0+1)a=1a,所以0a=0)(2)a*(-b)=(-a)*b=-(a*b)(ab+a(b)=a0=0,所以a(b)=(ab))(3)(-a)*(-b)=a*b(4)a(b-c)=ab-ac乘法对减法分配律成立(5)(na)*b=a*(nb)=n(a*b)(注:naa+下的指数形式,na相加,nZ \textbf{(1)0*a=0*a=0.(加法单位元乘任何元素为加法单位元)}\\ (0*a+1*a=(0+1)*a=1*a, 所以0*a=0)\\ \textbf{(2)a*(-b)=(-a)*b=-(a*b)}\\ (a*b+a*(-b)=a*0=0,所以a*(-b)=-(ab))\\ \textbf{(3)(-a)*(-b)=a*b}\\ \textbf{(4)a(b-c)=ab-ac乘法对减法分配律成立}\\ \textbf{(5)(na)*b=a*(nb)=n(a*b)}(注:na是a在+下的指数形式,n个a相加,n\in Z

  • 定义:环R中,若<R,>为幺半群,则R称为有1.R中所有乘法可逆的元素拿出来在乘法下构成的群R称为R的乘法群.特别地,R={0}称为零环.定义:环R中,若<R,\cdot>为幺半群,则R称为有1环.将R中所有乘法可逆的元素拿出来在乘法下构成的群R^*\\ 称为R的乘法群.\\ 特别地,R=\{0\}称为零环.

  • 定理:

    1环中若不只含一个元素,则10,加法单位元不等于乘法单位元。有1环中若不只含一个元素,则1\neq 0,加法单位元不等于乘法单位元。\\

# 整环与除环

# 零因子

  • 定义:对于aR,a0,R是环,若bR,b0,使得ab=0,则a是一个左零因子。显然,b就是一个右零因子。定义:对于a\in R,a\neq 0,R是环,若\exists b\in R,b\neq 0,使得ab=0,则\\ 称a是一个左零因子。显然,b就是一个右零因子。

  • 定理:无零因子的环 R 中乘法消去律成立

# 整环

  • 定义:有单位元,无零因子的交换环称为整环。

# 除环

  • 定义:R是一个有1环,R^=R{0},<R^,>构成群,则R为除环。定义:R是一个有1环,\hat{R}=R-\{0\}\neq\varnothing,若<\hat R,\cdot>构成群,则\\ 称R为除环。

  • 定理:无零因子,阶大于 1 的有限环必为除环。(消去律成立,半群 -> 群)

#

  • 定义:可交换的除环称为域

  • 性质:有限整环必为域 (消去律成立,成为 Abel 群)

  • 规定:

    在域中,a1往往记为1a,求逆也可表示为除法。则一般分数运算法则均成立。在域中,a^{-1}往往记为\frac{1}{a},求逆也可表示为除法。则一般分数运算法则均成立。

# 理想与商环

# 子环

  • 定义,环 R 的一个子集 T 也构成环,则称 T 为 R 的子环,R 为 T 的扩环

  • 子集构成子环条件:

    (1)SR,S(2)S对减法封闭(构成子群的条件)(3)S对乘法封闭(1)S\subseteq R,S\neq\varnothing(2)S对减法封闭(构成子群的条件)(3)S对乘法封闭

# 理想子环

  • 定义:SR,R是环,若:(1)S(2)S对减法封闭(3)xS,aR都有axS,xaS.则称SR的一个理想子环,简称理想.定义:S\subseteq R,R是环,若:\\ (1)S\neq\varnothing(2)S对减法封闭(3)\forall x\in S,a\in R都有ax\in S,xa\in S.\\ 则称S为R的一个理想子环,简称理想.

  • 显然,理想子环一定是子环。而 R 和 {0} 为 R 的两个平凡理想,其他理想称为 R 的真理想.

  • 定义:R为一个有1交换环,令(a)=aR,aR,(a)R的理想,称为由a生成的主理想.(简单证明:arR,rR,(ar)r=a(rr)aR=(a))定义:R为一个有1交换环,令(a)=aR,a\in R,则(a)是R的理想,称为\textbf{由a生成的主理想}.\\ (*简单证明:\forall ar\in R,r'\in R,(ar)r'=a(rr')\in aR=(a))

  • 理想在环论中起的作用,相当于正规子群在群论中起的所用

  • 由于环<R,+,>+满足交换律,所以其理想N,<N,+>一定是个正规子群.所以可以定义关于modN的同余关系:abmodNabN而陪集就是a+N,记为[a],[a]+[b]=[a+b],[a][b]=[ab]<R/N,+,>则是R中模N剩余类环.由于环<R,+,\cdot>中+满足交换律,所以其理想N,<N,+>一定是个正规子群.\\ 所以可以定义关于modN的同余关系:\\ a\equiv b\quad modN\Leftrightarrow a-b\in N\\ 而陪集就是a+N,记为[a],有[a]+[b]=[a+b],[a]\cdot[b]=[ab]\\ 而<R/N,+,\cdot>则是R中模N剩余类环.

  • 补充说明:degf (x) 用于表示 f (x) 的次数

# 主理想整环:

  • 定义:若整环 R 的每个理想都是主理想,则称 R 为一个主理想整环

# 域的性质与素域

  • 子域定义:完全类似环

  • 定理:

    (1)F中,加法群<F,+>中所有元素的加法周期都等于乘法单位元的周期。a=e(简单证明,na=ea+ea+..=(ne)a,又因为无零因子,na=0ne=0)(2)F中,加法群<F,+>中非零元素的加法周期若为有限数p,则p必为素数.(简单证明,p=p1p2,pe=(p1p2)e=p1(p2e)=(p1e)(1)域F中,加法群<F,+>中所有元素的加法周期都等于乘法单位元的周期。|a|=|e|\\ (*简单证明,na=e*a+e*a+..=(ne)*a,又因为无零因子,na=0\Leftrightarrow ne=0)\\ (2)域F中,加法群<F,+>中非零元素的加法周期若为有限数p,则p必为素数.\\ (*简单证明,若p=p_1*p_2,pe=(p_1*p_2)e=p_1(p_2e)=(p_1e)

  • 定义:

    F的加法群<F,+>中,非零元周期若为有限数p,则称F的特征为p.特别地,若周期为,则称特征为0.域F的加法群<F,+>中,非零元周期若为有限数p,则称F的特征为p.特别地,若周期为\infty,则称特征为0.

  • 定理:子域和域有相同的特征

    ​ n 元有限域的特征必为素数 p,且 p 整除 n

  • 素域的定义:不含真子域的域,或称最小域.

# 环同态

  • 定义:同态映射对加法乘法分别保持运算。

  • 定理:

特征为素数p的域F必定存在与<Zp,+p,p>同构的子域Zp.(Zp={0,e,2e,...,(p1)e},φ:[i]ie)ZpF的最小子域,因为任何子域都要包含e的整数倍.特别地,若F的特征为0,则存在与有理数Q同构的子域.(φ:mnmene,m,nZ)特征为素数p的域F必定存在与<Z_p,+_p,\cdot_p>同构的子域Z_p'.\\ (*Z_p'=\{0,e,2e,...,(p-1)e\},\varphi:[i]\mapsto ie)\\ 而Z_p'为F的最小子域,因为任何子域都要包含e的整数倍.\\ 特别地,若F的特征为0,则存在与有理数Q同构的子域.\\ (\varphi :\frac{m}{n}\mapsto\frac{me}{ne},m,n\in Z)