日韩性视频-久久久蜜桃-www中文字幕-在线中文字幕av-亚洲欧美一区二区三区四区-撸久久-香蕉视频一区-久久无码精品丰满人妻-国产高潮av-激情福利社-日韩av网址大全-国产精品久久999-日本五十路在线-性欧美在线-久久99精品波多结衣一区-男女午夜免费视频-黑人极品ⅴideos精品欧美棵-人人妻人人澡人人爽精品欧美一区-日韩一区在线看-欧美a级在线免费观看

歡迎訪問 生活随笔!

生活随笔

當(dāng)前位置: 首頁 >

近世代数--域--域的一些例子

發(fā)布時間:2025/3/21 43 豆豆
生活随笔 收集整理的這篇文章主要介紹了 近世代数--域--域的一些例子 小編覺得挺不錯的,現(xiàn)在分享給大家,幫大家做個參考.

近世代數(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+bia,bZ}是高斯整環(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+iI,a+biZ,a,bZ,1+(?1)?i=1?iZ(1+i)(1?i)I(1+i)(1?i)=2I?zZ,2I,有2z∈I2z\in I2zI

?x,y∈Z,\forall x,y\in Z,?x,yZ,

  • 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?y2Z?I,1+iI,yZ(1+i)yIx+yiI

  • 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)+yiI
    • ?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,yZ,x+yiZ[i],1+iI,(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?=11/?I
    • →1+(x?1)+yi?I\rightarrow 1+(x-1)+yi\notin I1+(x?1)+yi/?I

綜上,x?yx-yx?y為偶數(shù)時x+yi∈Ix+yi\in Ix+yiI,即<1+i>={x+yi∣x,y<1+i>=\{x+yi|x,y<1+i>={x+yix,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ù)IIIRRR的極大理想→R/I\rightarrow R/IR/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è)IIIZ3[x]Z_3[x]Z3?[x]的任一理想,<x2+1>?I→I=Z3[x]<x^2+1>\subsetneq I\rightarrow I=Z_3[x]<x2+1>?II=Z3?[x]
  • →\rightarrow即證明:單位元1∈I1\in I1I(理想有吸收性,r∈R,s∈I,rs,sr∈I→r\in R,s\in I,rs,sr\in I\rightarrowrR,sI,rs,srI1∈I1\in I1I,有I=RI=RI=R)
  • →\rightarrow即證明:?a≠0,a∈I\exists a\neq 0,a\in I?a?=0,aI(3\\33是素?cái)?shù)→Z3\\\rightarrow Z_3Z3?是域→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]?aZ3?[x],a?=0,?a?1Z3?[x],即所有非零元都是可逆元→\\\rightarrow現(xiàn)在只要證存在非零元屬于I(?a≠0,a∈I)I(\exists a\neq 0,a\in I)I(?a?=0,aI),就能證得1∈I1\in I1I)

?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+bZ3?[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+1I,q(x)Z3?[x](x2+1)q(x)If(x)?(x2+1)q(x)Iax+bI,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,ba,b不全為零

  • a≠0,b=0→a2+b2≠0a\neq 0,b=0\\\rightarrow a^2+b^2\neq 0a?=0,b=0a2+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)?1I1II=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+bIbb?1Ibb?1=1II=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)+Ia(x)mod(x2+1),a(x)Z3?[x],I=<x2+1>

    • 證明well defineda(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)+Ia(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)+Ia(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)容,希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯,歡迎將生活随笔推薦給好友。