logo

シンプル拡大体 📂抽象代数

シンプル拡大体

定義 1

FF拡大体 EE がある αE\alpha \in E に対して E=F(α)E = F( \alpha ) ならば EEFF単純拡大体simple Extensionと呼ぶ。

説明

簡単に言えば、F(α)F ( \alpha )FF になかった α\alpha を一つsimpleだけ追加して拡張したことと見ることができる。実数体 R\mathbb{R} について言えば、その 拡大体 C\mathbb{C}iCi \in \mathbb{C} を加えると R(i)=C\mathbb{R} ( i ) = \mathbb{C} になる。

重要な事実として、αE\alpha \in E に対して E=F(α)E = F ( \alpha ) ならば、すべての βE\beta \in Eβ=b0+b1α++bnαn \beta = b_{0} + b_{1} \alpha + \cdots + b_{n} \alpha^n のように一意に表される。この時、{bk}k=1n\left\{ b_{k} \right\}_{k =1}^{n}FF の元であり、実数体の単純拡大体としての複素数体を考えると、すべての複素数 zCz \in \mathbb{C} は何らかの x,yRx , y \in \mathbb{R} に対して z=x0+y0i+x1i2+y1i3+=x+iy z = x_{0} + y_{0} i + x_{1} i^2 + y_{1} i^3 + \cdots = x + i y と表すことが簡単に確認できる。

また、単純拡大体の面白い例としては、整数に複素数 iiω\omega を加えた ガウス整数 Z[i]\mathbb{Z} [i]アイゼンシュタイン整数 Z[ω]\mathbb{Z} [\omega] を考えることができる。


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p270. ↩︎