近世代数--域--域的一些例子
近世代數(shù)--域--域的一些例子
- 兩個例子
- Z[i]/<1+i>Z[i]/<1+i>Z[i]/<1+i>
- 理想<1+i><1+i><1+i>由哪些元素組成?
- Z[i]/<1+i>Z[i]/<1+i>Z[i]/<1+i>由哪些元素組成?
- Z[i]/<1+i>Z[i]/<1+i>Z[i]/<1+i>是二元域:
- Z3[x]/<x2+1>Z_3[x]/<x^2+1>Z3?[x]/<x2+1>
- 證明<x2+1><x^2+1><x2+1>是Z3[x]Z_3[x]Z3?[x]的極大理想
- Z3[x]/<x2+1>Z_3[x]/<x^2+1>Z3?[x]/<x2+1>里有哪些元素?
博主是初學(xué)近世代數(shù)(群環(huán)域),本意是想整理一些較難理解的定理、算法,加深記憶也方便日后查找;如果有錯,歡迎指正。
我整理成一個系列:近世代數(shù),方便檢索。
這里是域的基本概念:
- 域:可交換的除環(huán),記為(F,+,?)(F,+,·)(F,+,?)
- (F,+)(F,+)(F,+)為AbelAbelAbel群;
- (F?,?)(F^*,·)(F?,?)為AbelAbelAbel群;(F?F^*F?為非零元全體)
- 乘法對加法滿足分配律
兩個例子
Z[i]/<1+i>Z[i]/<1+i>Z[i]/<1+i>
<1+i><1+i><1+i>是Z[i]Z[i]Z[i]的主理想,Z[i]={a+bi∣a,b∈Z}Z[i]=\{a+bi|a,b\in Z\}Z[i]={a+bi∣a,b∈Z}是高斯整環(huán)
理想<1+i><1+i><1+i>由哪些元素組成?
1+i∈I,a+bi∈Z,a,b∈Z,→1+(?1)?i=1?i∈Z→(1+i)(1?i)∈I→(1+i)(1?i)=2∈I→?z∈Z,2∈I1+i\in I,\\a+bi\in Z,a,b\in Z,\rightarrow 1+(-1)·i=1-i\in Z\\\rightarrow (1+i)(1-i)\in I\rightarrow (1+i)(1-i)=2\in I\rightarrow \forall z\in Z,2\in I1+i∈I,a+bi∈Z,a,b∈Z,→1+(?1)?i=1?i∈Z→(1+i)(1?i)∈I→(1+i)(1?i)=2∈I→?z∈Z,2∈I,有2z∈I2z\in I2z∈I
?x,y∈Z,\forall x,y\in Z,?x,y∈Z,
-
x?yx-yx?y為偶數(shù):x+yi=(x?y)+(1+i)yx+yi=(x-y)+(1+i)yx+yi=(x?y)+(1+i)y
x?y∈2Z?I,1+i∈I,y∈Z→(1+i)y∈I→x+yi∈Ix-y\in 2Z\subseteq I,\\1+i\in I,y\in Z\rightarrow (1+i)y\in I\\\rightarrow x+yi\in Ix?y∈2Z?I,1+i∈I,y∈Z→(1+i)y∈I→x+yi∈I
-
x?yx-yx?y為奇數(shù):x+yi=1+(x?1)+yix+yi=1+(x-1)+yix+yi=1+(x?1)+yi
- x?yx-yx?y為奇數(shù)→(x?1)+yi∈I\rightarrow (x-1)+yi\in I→(x?1)+yi∈I
- ?x,y∈Z,x+yi∈Z[i],1+i∈I,→(1+i)(x+yi)∈I\forall x,y\in Z,x+yi\in Z[i],1+i\in I,\rightarrow (1+i)(x+yi)\in I?x,y∈Z,x+yi∈Z[i],1+i∈I,→(1+i)(x+yi)∈I可以表示出III中所有元素,
又(1+i)(x+yi)=x+yi+xi?y=(x?y)+(x+y)i≠1→1?I(1+i)(x+yi)=x+yi+xi-y=(x-y)+(x+y)i\neq 1\\\rightarrow 1\notin I(1+i)(x+yi)=x+yi+xi?y=(x?y)+(x+y)i?=1→1∈/?I - →1+(x?1)+yi?I\rightarrow 1+(x-1)+yi\notin I→1+(x?1)+yi∈/?I
綜上,x?yx-yx?y為偶數(shù)時x+yi∈Ix+yi\in Ix+yi∈I,即<1+i>={x+yi∣x,y<1+i>=\{x+yi|x,y<1+i>={x+yi∣x,y同為奇數(shù)或偶數(shù)}\}}
Z[i]/<1+i>Z[i]/<1+i>Z[i]/<1+i>由哪些元素組成?
- x?yx-yx?y為偶數(shù)→x+yi∈<1+i>→x+yi ̄=0ˉ\rightarrow x+yi\in <1+i>\rightarrow \overline{x+yi}=\bar{0}→x+yi∈<1+i>→x+yi?=0ˉ
- x?yx-yx?y為奇數(shù)→x+yi?<1+i>→x+yi=1+(x?1)+yi=1+((x?1)+yi)∈1+<1+i>→x+yi ̄=1ˉ\rightarrow x+yi\notin <1+i>\rightarrow x+yi=1+(x-1)+yi=1+((x-1)+yi)\in 1+<1+i>\rightarrow \overline{x+yi}=\bar{1}→x+yi∈/?<1+i>→x+yi=1+(x?1)+yi=1+((x?1)+yi)∈1+<1+i>→x+yi?=1ˉ
- Z[i]/<1+i>={0ˉ,1ˉ}Z[i]/<1+i>=\{\bar{0},\bar{1}\}Z[i]/<1+i>={0ˉ,1ˉ}
Z[i]/<1+i>Z[i]/<1+i>Z[i]/<1+i>是二元域:
Z[i]/<1+i>={0ˉ,1ˉ}Z[i]/<1+i>=\{\bar{0},\bar{1}\}Z[i]/<1+i>={0ˉ,1ˉ}是Z[i]Z[i]Z[i]的商環(huán),現(xiàn)在只需證Z[i]Z[i]Z[i]是可交換的,非零元全體構(gòu)成乘法群
- 可交換:0ˉ+1ˉ=1ˉ+0ˉ\bar{0}+\bar{1}=\bar{1}+\bar{0}0ˉ+1ˉ=1ˉ+0ˉ
- 非零元全體構(gòu)成乘法群:非零元:1ˉ\bar{1}1ˉ
Z3[x]/<x2+1>Z_3[x]/<x^2+1>Z3?[x]/<x2+1>
根據(jù)III是RRR的極大理想→R/I\rightarrow R/I→R/I是域,我們只要證明<x2+1><x^2+1><x2+1>是Z3[x]Z_3[x]Z3?[x]的極大理想,則可以說明Z3[x]/<x2+1>Z_3[x]/<x^2+1>Z3?[x]/<x2+1>是域。
證明<x2+1><x^2+1><x2+1>是Z3[x]Z_3[x]Z3?[x]的極大理想
這里是極大理想的定義
- →\rightarrow→即證明:設(shè)III為Z3[x]Z_3[x]Z3?[x]的任一理想,<x2+1>?I→I=Z3[x]<x^2+1>\subsetneq I\rightarrow I=Z_3[x]<x2+1>?I→I=Z3?[x]
- →\rightarrow→即證明:單位元1∈I1\in I1∈I(理想有吸收性,r∈R,s∈I,rs,sr∈I→r\in R,s\in I,rs,sr\in I\rightarrowr∈R,s∈I,rs,sr∈I→若1∈I1\in I1∈I,有I=RI=RI=R)
- →\rightarrow→即證明:?a≠0,a∈I\exists a\neq 0,a\in I?a?=0,a∈I(3\\33是素?cái)?shù)→Z3\\\rightarrow Z_3→Z3?是域→Z3[x]\\\rightarrow Z_3[x]→Z3?[x]是域→?a∈Z3[x],a≠0,?a?1∈Z3[x]\\\rightarrow \forall a\in Z_3[x],a\neq 0,\exists a^{-1}\in Z_3[x]→?a∈Z3?[x],a?=0,?a?1∈Z3?[x],即所有非零元都是可逆元→\\\rightarrow→現(xiàn)在只要證存在非零元屬于I(?a≠0,a∈I)I(\exists a\neq 0,a\in I)I(?a?=0,a∈I),就能證得1∈I1\in I1∈I)
?f(x)∈I,f(x)?<x2+1>,f(x)=a0xn+a1xn?1+…+an?1x+an\forall f(x)\in I,f(x)\notin <x^2+1>,\\f(x)=a_0x^n+a_1x^{n-1}+…+a_{n-1}x+a_n?f(x)∈I,f(x)∈/?<x2+1>,f(x)=a0?xn+a1?xn?1+…+an?1?x+an?
?q(x),ax+b∈Z3[x],\exists q(x),ax+b\in Z_3[x],?q(x),ax+b∈Z3?[x],使得f(x)=(x2+1)q(x)+(ax+b)f(x)=(x^2+1)q(x)+(ax+b)f(x)=(x2+1)q(x)+(ax+b)
因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">f(x)∈I,f(x)?<x2+1>,x2+1∈I,q(x)∈Z3[x]→(x2+1)q(x)∈I→f(x)?(x2+1)q(x)∈I→ax+b∈I,f(x)\in I,f(x)\notin <x^2+1>,x^2+1\in I,q(x)\in Z_3[x]\\\rightarrow (x^2+1)q(x)\in I\\\rightarrow f(x)-(x^2+1)q(x)\in I\\\rightarrow ax+b\in I,f(x)∈I,f(x)∈/?<x2+1>,x2+1∈I,q(x)∈Z3?[x]→(x2+1)q(x)∈I→f(x)?(x2+1)q(x)∈I→ax+b∈I,又f(x)?<x2+1>→ax+b?<x2+1>f(x)\notin <x^2+1>\\\rightarrow ax+b\notin <x^2+1>f(x)∈/?<x2+1>→ax+b∈/?<x2+1>,又0∈<x2+1>0\in <x^2+1>0∈<x2+1>→a,b\\\rightarrow a,b→a,b不全為零
- a≠0,b=0→a2+b2≠0a\neq 0,b=0\\\rightarrow a^2+b^2\neq 0a?=0,b=0→a2+b2?=0,又a2+b2=a2(x2+1)?(ax+b)(ax?b)∈I→(a2+b2)(a2+b2)?1∈I→1∈I→I=Z3[x]a^2+b^2=a^2(x^2+1)-(ax+b)(ax-b)\in I\\\rightarrow (a^2+b^2)(a^2+b^2)^{-1}\in I\\\rightarrow 1\in I\\\rightarrow I=Z_3[x]a2+b2=a2(x2+1)?(ax+b)(ax?b)∈I→(a2+b2)(a2+b2)?1∈I→1∈I→I=Z3?[x]
- a=0,b≠0,a=0,b\neq 0,a=0,b?=0,又ax+b∈I→bb?1∈I→bb?1=1∈I→I=Z3[x]ax+b\in I\\\rightarrow bb^{-1}\in I\\\rightarrow bb^{-1}=1\in I\\\rightarrow I=Z_3[x]ax+b∈I→bb?1∈I→bb?1=1∈I→I=Z3?[x]
Z3[x]/<x2+1>Z_3[x]/<x^2+1>Z3?[x]/<x2+1>里有哪些元素?
由于<x2+1><x^2+1><x2+1>是極大理想,Z3[x]/<x2+1>Z_3[x]/<x^2+1>Z3?[x]/<x2+1>是域。
-
Z3[x]/<x2+1>?Z3[x]mod(x2+1)Z_3[x]/<x^2+1>\cong Z_3[x] mod (x^2+1)Z3?[x]/<x2+1>?Z3?[x]mod(x2+1)
-
構(gòu)造映射:φ:a(x)+I→a(x)mod(x2+1),a(x)∈Z3[x],I=<x2+1>\varphi:a(x)+I\rightarrow a(x) mod (x^2+1),a(x)\in Z_3[x],I=<x^2+1>φ:a(x)+I→a(x)mod(x2+1),a(x)∈Z3?[x],I=<x2+1>
-
證明well defined:a(x)+I=b(x)+I→a(x)≡b(x)mod(x2+1)a(x)+I=b(x)+I\rightarrow a(x) \equiv b(x) mod (x^2+1)a(x)+I=b(x)+I→a(x)≡b(x)mod(x2+1)
a(x)+I=b(x)+I=r(x)+I,r(x)a(x)+I=b(x)+I=r(x)+I,r(x)a(x)+I=b(x)+I=r(x)+I,r(x)是陪集代表元,deg(r(x))≤1deg(r(x))\le 1deg(r(x))≤1
a(x)≡r(x)(mod(x2+1)),b(x)≡r(x)(mod(x2+1))→a(x)≡b(x)(mod(x2+1))a(x)\equiv r(x)(mod (x^2+1)),b(x)\equiv r(x)(mod (x^2+1))\\\rightarrow a(x)\equiv b(x)(mod (x^2+1))a(x)≡r(x)(mod(x2+1)),b(x)≡r(x)(mod(x2+1))→a(x)≡b(x)(mod(x2+1)) -
證明單射:a(x)+I≠b(x)+I→a(x)mod(x2+1)≠b(x)mod(x2+1)a(x)+I\neq b(x)+I\rightarrow a(x) mod (x^2+1)\neq b(x) mod (x^2+1)a(x)+I?=b(x)+I→a(x)mod(x2+1)?=b(x)mod(x2+1)
同理well defined。
-
證明滿射:易得。
-
-
設(shè)a(x)=Z3[x]mod(x2+1),a(x)=Z_3[x] mod (x^2+1),a(x)=Z3?[x]mod(x2+1),則a(x)=a0+a1x,a0,a1∈Z3={0,1,2}→a(x)a(x)=a_0+a_1x,a_0,a_1\in Z_3=\{0,1,2\}\\\rightarrow a(x)a(x)=a0?+a1?x,a0?,a1?∈Z3?={0,1,2}→a(x)有9種可能:a0={0,1,2},a1={0,1,2}→a(x)=0+0?x=0a(x)=0+1?x=xa(x)=0+2?x=2xa(x)=1+0?x=1a(x)=1+1?x=1+xa(x)=1+2?x=1+2xa(x)=2+0?x=2a(x)=2+1?x=2+xa(x)=2+2?x=2+2x,→a_0=\{0,1,2\},a_1=\{0,1,2\}\\\rightarrow\\ a(x)=0+0·x=0\\a(x)=0+1·x=x\\a(x)=0+2·x=2x\\a(x)=1+0·x=1\\a(x)=1+1·x=1+x\\a(x)=1+2·x=1+2x\\a(x)=2+0·x=2\\a(x)=2+1·x=2+x\\a(x)=2+2·x=2+2x,\\\rightarrowa0?={0,1,2},a1?={0,1,2}→a(x)=0+0?x=0a(x)=0+1?x=xa(x)=0+2?x=2xa(x)=1+0?x=1a(x)=1+1?x=1+xa(x)=1+2?x=1+2xa(x)=2+0?x=2a(x)=2+1?x=2+xa(x)=2+2?x=2+2x,→因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">2≡?1(mod3),→Z3[x]/<x2+1>={0,x,?x,1,1+x,1?x,?1,?1+x,?1?x}2\equiv -1(mod 3),\rightarrow Z_3[x]/<x^2+1>=\{0,x,-x,1,1+x,1-x,-1,-1+x,-1-x\}2≡?1(mod3),→Z3?[x]/<x2+1>={0,x,?x,1,1+x,1?x,?1,?1+x,?1?x}
總結(jié)
以上是生活随笔為你收集整理的近世代数--域--域的一些例子的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 近世代数--多项式环--未定元的存在性
- 下一篇: 近世代数--整环上的唯一分解问题--唯一