環 (代數)

出自維基百科,自由嘅百科全書
Jump to navigation Jump to search

粵拼waan4,Ring)係抽象代數入面一個重要嘅設定。佢係一個帶住兩個二元運算,屬於一種代數結構。

基本上,好多嘅計算都係喺環上面進行。

歷史[編輯]

環論嘅歷史可以追溯到十九世紀。環論發展成形嘅原因,主要係嚟自當時嘅數學家想解決兩類環嘅問題:實數虛數多項式環同埋整數環。即係話,佢哋主要係為解決多項式同埋整數嘅問題,而發明出環呢個概念。

環係由數學家打域囂拔(David Hilbert)第一個用「環」呢個字,但係當時都重未有一個好確實嘅定義。直到二十世紀二十年代,環先至有一個好確實嘅定義。

1921年,數學家Emmy Noether喺佢嘅著作《環倍數理論》(Ideal Theory in Rings)提出咗一堆有關可溝通環嘅理論。呢篇文入面最重要嘅定理就係「環倍數連鎖定理」(Ascending Chain of Ideals)。

Emmy Noethe喺1907年讀完博士之後,囂拔喺1915年叫佢去哥德根大學幫佢手做研究。但係因為Emmy係個女人,令到當時嘅大學唔肯畀一個教席佢。所以佢一直都係用囂拔個名嚟教書。直到1923年,打完第一次世界大戰,因為有啲政策上嘅改動,佢先有返一個教席。但喺1933年希特拉上台,身為猶太人嘅佢好快就被迫走到美國費城

定義[編輯]

一個代數係一個集連帶住兩個二元運算同埋,即係加法同乘法。而佢哋必須符合:

  • 阿標群
  • 乘法係可以結合(Associative)

如果係一個環:

  • 可溝通環(commutative),或者可溝通性,即係話係入面揀任何兩粒嘢,都會滿足
  • 有單位(with unity),或者單位性,即係話入面對應任何一粒嘢,佢都會有一粒乘法恆等元(multiplicative identity),即係會有一粒嘢叫符合

如果唔用嘅術語嚟定義:

一個集連帶住兩個二元運算同埋,即係加法乘法。如果係一個環,佢哋必須符合:

  • 包住/被綁定(Closure)
  • 結合性(Associativity)
  • 可溝通性(Commutativity)
  • 可融性(Distributivity)
  • 有恆等元(Identity)
  • 有可逆元(Inverse)

例子[編輯]

例一:

都係好明顯嘅環。

例二:

係一個集包括所有由嘅函數,即係

係阿標群,

定義

所以係一個環。

例三:

係一個阿標群。

明顯,佢帶住都係一個阿標群。

所以係一個環。

性質[編輯]

係一個環,咁佢一定會有一個加法恆等元素(Additive Identity),對應任何,以下嘅事情都成立:

其他特性[編輯]

係一個環。

  • 係可溝通性,對應所有嘅
  • 如果阿標群同埋,咁係一個環。

睇埋[編輯]