目次
29 関係: 域、半単純環、単純加群、単純環、可換体、可換環、ネーター環、ホプキンス・レヴィツキの定理、アルティン加群、アルティン・ウェダーバーンの定理、イデアル (環論)、エミール・アルティン、クルル次元、シュプリンガー・サイエンス・アンド・ビジネス・メディア、ジャコブソン根基、冪零イデアル、冪零元、剰余環、結合多元環、組成列、環 (数学)、非可換整域、順序集合、極大イデアル、正方行列、昇鎖条件、斜体 (数学)、整域、整数環。
域
* ドメイン (分類学)。
見る アルティン環と域
半単純環
数学、特に代数学において、環 A が A-加群として半単純加群、すなわち、非自明な部分加群をもたない A-加群の直和であるとき、A を半単純環という。これは、同型の違いを除いて、（可換とは限らない）体上の全行列環の有限個の直積である。 この概念は数学の多くの分野において現れる。例えば、線型代数学、数論、、リー群論、リー環論が挙げられる。これは例えば、の証明に役立つ。 半単純多元環の理論はシューアの補題とアルティン・ウェダーバーンの定理を基盤としている。
見る アルティン環と半単純環
単純加群
環 上の左加群 が非自明な部分 -加群をもたないとき、 を単純加群（たんじゅんかぐん、simple module）または既約加群（きやくかぐん、irreducible module）という。これは任意の について となることと同値である。 これは左 -加群の圏 において、すべてのゼロでない準同型写像 は単射である、あるいはすべてのゼロでない準同型写像 は全射であることとしても特徴づけられる。 右加群に対しても同様に定義される。
見る アルティン環と単純加群
単純環
数学の環論において、（ を持つ可換とは限らない）環 が単純（たんじゅん、simple）であるとは、 の両側イデアルが と しか存在しないことをいう。
見る アルティン環と単純環
可換体
抽象代数学において可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロア理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル-ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。
見る アルティン環と可換体
可換環
数学、特に抽象代数学の一分野である環論における可換環（かかんかん、commutative ring）は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。
見る アルティン環と可換環
ネーター環
数学においてネーター環（ネーターかん、Noetherian ring）は、イデアルの昇鎖条件などのある種の有限性を持つ環の一種。エミー・ネーターによって提唱された。すべてのイデアルは有限生成という条件から単項イデアル整域の一般化と見ることもできる。
見る アルティン環とネーター環
ホプキンス・レヴィツキの定理
抽象代数学の一分野である環論において、秋月・ホプキンス・レヴィツキの定理 (Akizuki–Hopkins–Levitzki theorem) は半準素環上の加群において降鎖条件と昇鎖条件を結び付ける。（単位元を持つ）環 は、 が半単純でありかつ が冪零イデアルであるときに、半準素環 (semiprimary ring) と呼ばれる。ここで はジャコブソン根基である。定理の主張は、 が半準素環で が右 -加群ならば、3つの条件。
アルティン加群
抽象代数学において、アルティン加群（Artinian module）とは、部分加群について降鎖条件を満たす加群のことである。アルティン加群と加群の関係は、アルティン環の環に対する関係と同様であり、環がアルティン的なのはそれが（左または右からの積によって）それ自身の上の加群としてアルティン的であるとき、かつそのときに限る。これらの概念はエミール・アルティンにちなんで名づけられている。 選択公理のもと、降鎖条件は極小条件と同値であり、これを代わりに定義に使ってもよい。 ネーター加群と同様、アルティン加群は次の遺伝的な性質をもつ。
アルティン・ウェダーバーンの定理
抽象代数学において、アルティン・ウェダーバーンの定理 (Artin–Wedderburn theorem) は半単純環や半単純代数の分類定理である。
イデアル (環論)
抽象代数学の分野である環論におけるイデアル（ideal, Ideal）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じている空でない部分集合をイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。
エミール・アルティン
エミール・アルティン（Emil Artin, 1898年3月3日 - 1962年12月20日 ）は、オーストリア出身でのちにドイツ、アメリカ合衆国で活躍した数学者。20世紀を代表する数学者の一人といえる。代数的整数論での業績で著名で、類体論やL-函数の構築に貢献した。群、環、体論にも優れた業績を残している。 同じく数学者のミハイル・アルティンは息子である。ドイツのハンブルクでキャリアを積んでいたが、妻がユダヤ系のためナチスに追われ、1937年アメリカに移住した。1938年から1946年まではインディアナ大学で、1946年から1958年まではプリンストン大学で教鞭をとった。戦後、再びハンブルクに戻った後は、1962年に死亡するまで、そこで働いた。
クルル次元
ヴォルフガング・クルル 数学、とくに可換環論において可換環のクルル次元（クルルじげん、Krull dimension）とは、素イデアルのなす減少列の長さの上限である。ヴォルフガング・クルルに因んで名づけられた。文脈から明らかなときには単に次元と呼ぶことも多い。
見る アルティン環とクルル次元
シュプリンガー・サイエンス・アンド・ビジネス・メディア
シュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。
見る アルティン環とシュプリンガー・サイエンス・アンド・ビジネス・メディア
ジャコブソン根基
数学、より詳しくは抽象代数学の一分野である環論において、環 R のジャコブソン根基あるいはヤコブソン根基（Jacobson radical）とは、すべての単純右 R-加群を零化する R の元からなるイデアルである。定義において「右」の代わりに「左」としても同じイデアルが得られるので、この概念は左右対称である。環のジャコブソン根基をよく J(R) あるいは rad(R) と表すが、他の環の根基との混乱を避けるため、この記事では前者の表記を使う。ジャコブソン根基はにちなんで名づけられた。彼は初めてそれを任意の環についてで研究した人である。 環のジャコブソン根基には内在的な特徴づけが数多くあり、そのいくつかは単位元をもたない環に対する定義としても採用することができる。
冪零イデアル
数学の環論において、環 R のイデアル I が冪零イデアル (べきれいイデアル、英：nilpotent ideal) であるとは、ある自然数 k が存在して I^k。
冪零元
数学において、環 R の元 x はある正の整数 n が存在して xn。
見る アルティン環と冪零元
剰余環
数学の一分野、環論における商環（しょうかん、quotient ring）、剰余環（じょうよかん、factor ring）あるいは剰余類環（じょうよるいかん、residue class ring）とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる（I による違いを「無視」するともいえる）ことで得られる。 注意: 剰余環は商環とも呼ばれるけれども、整域に対する商体（分数の体）と呼ばれる構成とは異なるし、全商環（商の環、これは環の局所化の一種）とも異なる。
見る アルティン環と剰余環
結合多元環
数学における（結合）線型環あるいは結合的代数または結合多元環（けつごうたげんかん、associative algebra）は、結合的な環であって、かつそれと両立するような、何らかの体上の線型空間（若しくはもっと一般の可換環上の加群）の構造を備えたものである。即ち、線型環 A は（結合律や分配律を含む）幾つかの公理を満足する二項演算（内部演算）としての加法と乗法を備え、同時に乗法と両立するスカラー（体 K や環 R の元）による乗法（外部演算）を備える。 分野によっては、線型環が乗法単位元 1 を持つと仮定することが典型的である場合もある。このような余分の仮定を満たすことを明らかにする場合には、そのような線型環を単型線型環（単位的（結合）多元環）と呼ぶ。
見る アルティン環と結合多元環
組成列
組成列（そせいれつ、composition series）は、抽象代数学における概念の一つであり、与えられた群や加群といった代数的構造を、代数的により単純な構造の単純群や単純加群に分解する手掛かりを与えるものである。組成列が存在するという条件は、有限個の単純（加）群の直積（直和）に書けるという条件よりも弱い。また、組成列が存在すれば、それはある意味で一意的である。
見る アルティン環と組成列
環 (数学)
数学における環（かん、ring）とは、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系のことである。 最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。したがって、台集合は加法の下「加法群」と呼ばれるアーベル群を成し、乗法の下「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。
非可換整域
数学の特に環論と呼ばれる抽象代数学の一分野における（非可換）整域あるいは域（いき、domain）とは、右または左零因子を持たない（つまり ならば または が成り立つ、を満たすとも言われる）環のことを言う。しばしば自明でない（一つよりも多くの元を持つ）ことを仮定するが、域が乗法単位元を持つならば、この仮定は と同値であり、この場合の域は「左または右零因子を持たない非自明な環」のことになる。1(≠ 0) を持つ可換域は（可換）整域と呼ばれる。; 定理 (Wedderburn): 有限域は自動的に有限体になる。 零因子について（少なくとも可換環の場合には）位相幾何学的な解釈をすることができる。環 が可換整域となるための必要十分条件は、 が被約環（つまり冪零元を持たない環）であり、かつそのスペクトル が既約位相空間となることである。前者の性質はある種の無限小の情報を保有しているとしばしば考えられ、対して後者はより幾何学的な情報を与えている。例えば、体 上の環 は整域でない（ および の属する類が零因子を与える）が、これは幾何学的にはこの環のスペクトルが既約でない（実際に、二つの既約成分である直線 と の和となる）ことに対応する。
見る アルティン環と非可換整域
順序集合
順序集合（じゅんじょしゅうごう、）は集合の要素の間に順序が定義された集合。順序とは二項関係であって後述する反射律・推移律などを満たすものであり、数の大小関係などを一般化したものである。 全ての2要素が比較可能（順序が定義されている）ものを特に全順序集合（）という。例えば実数における大小関係は全順序集合である。 また、全順序ではない順序集合の例としては、正の整数全体の集合に整除関係で順序を定めたものや、（2つ以上元を含む）集合の冪集合において、包含関係を順序と見なしたものがある。 後述するように、順序が満たすべき公理の種類により、前順序集合、半順序集合（）、全順序集合がある。多く場合、半順序集合を指して「順序集合」と呼ぶことが多いが、分野によっては前順序集合や全順序集合を指す場合がある。
見る アルティン環と順序集合
極大イデアル
環 の極大左イデアル（きょくだいひだりいである、maximal left ideal）とは、 以外の左イデアルの中で（集合の包含関係に関して）極大なもののことである。すなわち、左イデアル を真に含む左イデアルが しかないときに を の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは（環が 0 でなく単位元をもつとき）ツォルンの補題によって存在が保証されるあらかじめ環にネーター性を仮定しておけば、ツォルンの補題を避けることもできる。。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。
正方行列
正方行列（せいほうぎょうれつ、square matrix）とは、行要素の数と列要素の数が一致する行列である。サイズが n × n つまり、n 行 n 列であるとき、n 次正方行列という。 end。
見る アルティン環と正方行列
昇鎖条件
昇鎖条件（しょうさじょうけん、ascending chain condition; ACC）および降鎖条件（こうさじょうけん、descending chain condition; DCC）とは、ある代数的構造が満たす有限性に関する性質である。これらの性質を持つ代数的構造で最も代表的なものに、可換環のイデアルがある。昇鎖条件および降鎖条件は、ダフィット・ヒルベルト、エミー・ネーター、エミール・アルティンらが可換環の構造に関する理論を構築する上で、重要な役割を果たした。 Hazewinkel, Gubareni & Kirichenko (2004), p.6, Prop.
見る アルティン環と昇鎖条件
斜体 (数学)
斜体（しゃたい、skew field; 歪体, Schiefkörper, corps, corps gauche）は加減乗除が可能な代数系である。除法の可能な環であるという意味で可除環（かじょかん、, ）ともいう。係数環を持ち、多元環の構造を持つことを強調する場合は、特に多元体（たげんたい、,; 可除多元環）と呼称することも多いいかなる斜体も、その中心を係数体として多元環と見ることができるので、この区別は文脈上で立場を明確にする必要のある場合を除いてはさほど重要ではない。非可換な積を持つ体を非可換体（ひかかんたい、, ）という。
整域
抽象代数学における整域（せいいき、integral domain）は、零因子を持たない可換環であって、自明環 でないものをいう。整域の概念は整数全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域のことをいう。 上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある。しかし、「整域」(integral domain) という語を可換の場合のために用い、非可換の場合には「域」(domain) を用いることにすると約束するのがたいていの場合には有効である（奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる）。別な文献では（ラングが顕著だが）整環 (entire ring) を用いるものがある「整環」という用語は、代数体の整環 (order) などに対しても用いられる。
見る アルティン環と整域
整数環
数学において、代数体 の整数環（せいすうかん、ring of integers）とは、 に含まれるすべての整な元からなる環である。整な元とは有理整数係数の単多項式 の根である。この環はしばしば あるいは mathcal O_K と書かれる。任意の有理整数は に属し、その整元であるから、環 はつねに の部分環である。 環 は最も簡単な整数環である。すなわち、 ただし は有理数体である.。そして実際、代数的整数論では、 の元はこのためしばしば「有理整数」と呼ばれる。 代数体の整数環は体の一意的な極大である。
見る アルティン環と整数環
アルチン環 別名。