部分体と拡大体 - iPhoneアプリ作成のために

体Kの部分体K’とは

Kの部分集合であり、

K’内で和、積、逆元、負元などが閉じている（K’が体になっている）ものをいう。

これを逆にKはK’の拡大体であるともいう。

---