|
抽象代数学において、可換体（かかんたい、）あるいは単に体（たい、）〔本記事において単に体と言った場合「可換」体を意味するものとする。〕とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2''x'' = 1 は整数において解を持たない。また、体における乗法演算は可換でなければならない。可換性を仮定しない除法の可能な環は可除環、斜体、あるいは体〔と呼ばれる。 環として、体は整域の特別なタイプとして分類でき、以下のようなクラスの包含の鎖がある。 体をアルファベットで表すときは、''K'' （続いて ''L'', ''M'' 等）を用いる慣例がある。これは体がドイツ語で "Körper" だからである。英語の "field" の頭文字をとって ''F'' が用いられることもある。''F'' の次の文字 ''G'' は群と紛らわしいから、前の文字 ''E'' も用いられる。 == 定義 == 体とは、以下の条件を満たす加法と乗法と呼ばれる 2 つの二項演算によって定まる代数的構造のことである。以下、台集合 ''K'' に加法 "+" と乗法 "×" が定められているとし、乗法の結果（積） ''a'' × ''b'' は ''ab'' と略記する。 * ''K'' は加法に関してアーベル群である： * ''a'', ''b'', ''c'' を ''K'' の任意の元とするとき、結合法則 ''a'' + (''b'' + ''c'') = (''a'' + ''b'') + ''c'' が成り立つ。 * ''a'' + 0''K'' = 0''K'' + ''a'' = ''a'' が ''K'' の元 ''a'' の取り方に依らずに満たされる零元と呼ばれる特別な元 0''K'' が存在する。 * ''a'' が ''K'' の元ならばそれに対して ''a'' + (−''a'') = (−''a'') + ''a'' = 0''K'' を満たす、マイナス元と呼ばれる元 −''a'' が常に存在する。 * 交換法則が成り立つ。つまり ''K'' のどんな元 ''a'', ''b'' についても、 ''a'' + ''b'' = ''b'' + ''a'' となる。 * ''K'' は乗法に関してモノイドであって、0 以外の元が可換群をなす： * ''a'', ''b'', ''c'' を ''K'' の任意の元とするとき、結合法則 ''a''(''bc'') = (''ab'')''c'' が成り立つ。 * ''a''1''K'' = 1''K''''a'' = ''a'' が ''K'' の零元 0''K'' でない元 ''a'' の取り方に依らずに満たされる単位元と呼ばれる特別な元 1''K'' が存在する。 * ''a'' が零元 0''K'' でない ''K'' の元ならばそれに対して ''aa''−1 = ''a''−1''a'' = 1''K'' を満たす、逆元と呼ばれる元 ''a''−1 が常に存在する。 * 交換法則が成り立つ。つまり ''K'' の任意の非零元 ''a'', ''b'' に対し ''ab'' = ''ba'' が成り立つ。 * 乗法は加法に対して分配的である： ''a'', ''b'', ''c'' を ''K'' の任意の元とするとき、''a''(''b'' + ''c'') = ''ab'' + ''ac'', (''a'' + ''b'')''c'' = ''ac'' + ''bc'' が成り立つ。 また、この条件を満たす代数的構造を備えた代数系 (''K'', +, 0''K'', ×, 1''K'') あるいは省略して単に集合 ''K'' は「体を成す」という。零元のみからなる集合 は 1 = 0 と見れば上記の条件を満たし、自明な体と呼ばれるが往々理論的な障害となるため通常は除外して考える。つまり、体の定義に通常は * 1 ≠ 0, すなわち乗法は零元でない単位元を持つ。 なる条件を加える。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「可換体」の詳細全文を読む スポンサード リンク
|