単一遺伝子畑

数学において、単生成体(モノジェニックたいぞう、monogene )とは、代数体Kの元aが存在し、整数環O KがKの部分環Z [ a ]によって生成されるようなものである。このとき、O Kは多項式環Z [ X ]の商であり、 aの冪は冪整基底を構成する。

一元体Kでは、K体判別式はα の 最小多項式判別式に等しい。

単一遺伝子フィールドの例には次のものがあります:

平方自由整数の場合、d  ≡ 1 (mod 4)かつd ≡ 2 または 3 (mod 4)の場合となります。K質問d{\displaystyle K=\mathbf {Q} ({\sqrt {d}})}d{\displaystyle d}KZ[1つの]{\displaystyle O_{K}=\mathbf {Z} [a]}1つの1+d/2{\displaystyle a=(1+{\sqrt {d}})/2}1つのd{\displaystyle a={\sqrt {d}}}
単位根を持つ場合、また、最大実数部分体は単素であり、整数環を持ちます。K質問ζ{\displaystyle K=\mathbf {Q} (\zeta )}ζ{\displaystyle \zeta }KZ[ζ]{\displaystyle O_{K}=\mathbf {Z} [\zeta ].}質問ζ+質問ζ+ζ1{\displaystyle \mathbf {Q} (\zeta )^{+}=\mathbf {Q} (\zeta +\zeta ^{-1})}Z[ζ+ζ1]{\displaystyle \mathbf {Z} [\zeta +\zeta ^{-1}]}

すべての二次体は一元体であるが、三次体の中には一元体ではないものが既に数多く存在する。一元体ではない数体の例として最初に発見されたのは、リヒャルト・デデキントによる多項式 の根によって生成される三次体である。 X3X22X8{\displaystyle X^{3}-X^{2}-2X-8}

参考文献