理想數
理想數
理想數,庫默爾首先在1844年發表了分圓域中唯一分解定理不成立的性質,1847年,文章在約瑟夫·劉維爾的雜誌上發表。在接下來的1846年和1847年裡,庫默爾發表了他的主要定理:理想素數的唯一分解定理。
舉例,設 y為方程 的根,則擴域中的整數環為,即所有 形式的數,其中a和 b為一般的整數。環中一個非主理想的例子是,但這個理想的立方為主理想。實際上這個環的理想類群是一個3階的循環群。與此對應的類域是添加方程的根 w到而獲得的擴域:。非主理想的一個理想數是 。由於滿足,它是一個代數整數。
類域整環乘 ι 元素元素具 的形式,其中
, .。 α 和 β 也是代數整數,滿足:
和
同時,將 乘以理想數 ι 后就會得到非主理想。