理想類群, 此條目需要精通或熟悉相关主题的编者参与及协助编辑, 請邀請適合的人士改善本条目, 更多的細節與詳情請參见討論頁, 是代數數論的基本對象之一, 簡稱類群, 它描述了一個數域的理想與元素的差異, 是有限交換群, 其元素個數稱作該域的類數, 形式定義, 编辑設, displaystyle, mathcal, nbsp, 為戴德金整環, 此時, displaystyle, mathcal, nbsp, 中的非零理想對乘法構成一個交換么半群, 今將定義其上的等價關係, displaystyle, mathfrak. 此條目需要精通或熟悉相关主题的编者参与及协助编辑 請邀請適合的人士改善本条目 更多的細節與詳情請參见討論頁 理想類群是代數數論的基本對象之一 簡稱類群 它描述了一個數域的理想與元素的差異 理想類群是有限交換群 其元素個數稱作該域的類數 形式定義 编辑設 O displaystyle mathcal O nbsp 為戴德金整環 此時 O displaystyle mathcal O nbsp 中的非零理想對乘法構成一個交換么半群 今將定義其上的等價關係 設 a b displaystyle mathfrak a mathfrak b nbsp 為二非零理想 定義 a b s t O s a t b displaystyle mathfrak a sim mathfrak b Leftrightarrow exists s t in mathcal O times s mathfrak a t mathfrak b nbsp 理想么半群對此關係的商構成一個交換群 C l O displaystyle mathrm Cl mathcal O nbsp 稱為 O displaystyle mathcal O nbsp 的理想類群 另一套進路是考慮 O displaystyle mathfrak O nbsp 的非零分式理想構成之交換群 再考慮它對主分式理想 q q K displaystyle q q in K times nbsp 之商 由此得到的對象自然同構於理想類群 性質 编辑理想類群為平凡群的充要條件是該戴德金整環為主理想環 設 K displaystyle K nbsp 為數域 O K displaystyle mathcal O K nbsp 為其中的代數整數環 因而是戴德金整環 此時可證明 O K displaystyle mathcal O K nbsp 是有限群 其元素個數記為 h K displaystyle h K nbsp 稱作類數 例子 编辑考慮二次域 Q 5 displaystyle mathbb Q sqrt 5 nbsp 考慮理想 J 2 1 5 displaystyle J 2 1 sqrt 5 nbsp 易證此非主理想 因此理想類群非零 事實上 其理想類群是二階循環群 取自 https zh wikipedia org w index php title 理想類群 amp oldid 75292271, 维基百科,wiki,书籍,书籍,图书馆,