イデアル (環論)
環の特別な部分集合 / ウィキペディア フリーな encyclopedia
親愛なるWikiwand AI, これらの重要な質問に答えるだけで、簡潔にしましょう:
トップの事実と統計を挙げていただけますか イデアル (環論)?
この記事を 10 歳向けに要約してください
すべての質問を表示
![]() |
「イデアル」はこの項目へ転送されています。その他の用法については「イデアル (曖昧さ回避)」をご覧ください。 |
抽象代数学の分野である環論におけるイデアル(英: ideal, 独: Ideal)は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や 3 の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じている空でない部分集合をイデアルという。
整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 Z の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。
イデアルは整数の算術から定義される合同算術の方法と同様の剰余環(商環)の構成にも用いられる、この点において群論で剰余群(商群)の構成に用いられる正規部分群と同様のものと理解することができる。
順序集合に対する順序イデアル(英語版)の概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。