目次
24 関係: 半単純成分、単純加群、単純環、局所環、ホプキンス・レヴィツキの定理、アルティン環、イデアル (環論)、シュプリンガー・サイエンス・アンド・ビジネス・メディア、ジャコブソン根基、冪級数、剰余環、稠密部分加群、環 (数学)、環の直積、環上の加群、環論、直和、非可換整域、零化イデアル、抽象代数学、極大イデアル、極小イデアル、準同型、斜体 (数学)。
- 代数的構造
半単純成分
加群論や環論の文脈において、環 上の'''加群''' の半単純成分 (socle) 、台、底、または台座とは、 のすべての（非零）極小部分加群の和と定義される。これは加群の根基の双対概念と考えることができる。集合の記号で書けば 同じことであるが 環 R の半単純成分は環の2つの集合の一方を指す。R を右 R 加群と考えて soc(RR) が定義され、R を左 R 加群と考えて soc(RR) が定義される。これらの半単純成分はいずれも両側イデアルであるが、一致するとは限らないことが知られている。
見る カシュ環と半単純成分
単純加群
環 上の左加群 が非自明な部分 -加群をもたないとき、 を単純加群（たんじゅんかぐん、simple module）または既約加群（きやくかぐん、irreducible module）という。これは任意の について となることと同値である。 これは左 -加群の圏 において、すべてのゼロでない準同型写像 は単射である、あるいはすべてのゼロでない準同型写像 は全射であることとしても特徴づけられる。 右加群に対しても同様に定義される。
見る カシュ環と単純加群
単純環
数学の環論において、（ を持つ可換とは限らない）環 が単純（たんじゅん、simple）であるとは、 の両側イデアルが と しか存在しないことをいう。
見る カシュ環と単純環
局所環
抽象代数学における局所環（きょくしょかん、local ring）は、比較的簡単な構造を持つ環であり、代数多様体や可微分多様体上で定義される関数の、あるいは代数体を座や素点上の関数として見るときの「局所的な振る舞い」を記述すると考えられるものである。局所環およびその上の加群について研究する可換環論の一分野を局所環論と呼ぶ。 局所環は1938年にヴォルフガンク・クルルによって Stellenringe（ドイツ語）の名前で導入された。局所環という呼び名はオスカー・ザリスキーによって提案された。
見る カシュ環と局所環
ホプキンス・レヴィツキの定理
抽象代数学の一分野である環論において、秋月・ホプキンス・レヴィツキの定理 (Akizuki–Hopkins–Levitzki theorem) は半準素環上の加群において降鎖条件と昇鎖条件を結び付ける。（単位元を持つ）環 は、 が半単純でありかつ が冪零イデアルであるときに、半準素環 (semiprimary ring) と呼ばれる。ここで はジャコブソン根基である。定理の主張は、 が半準素環で が右 -加群ならば、3つの条件。
アルティン環
アルティン環（アルティンかん、Artinian ring、アルチン環とも）とは、降鎖条件から定まるある種の有限性をもった環のこと。名称はエミール・アルティンにちなむ。
見る カシュ環とアルティン環
イデアル (環論)
抽象代数学の分野である環論におけるイデアル（ideal, Ideal）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じている空でない部分集合をイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。
シュプリンガー・サイエンス・アンド・ビジネス・メディア
シュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。
見る カシュ環とシュプリンガー・サイエンス・アンド・ビジネス・メディア
ジャコブソン根基
数学、より詳しくは抽象代数学の一分野である環論において、環 R のジャコブソン根基あるいはヤコブソン根基（Jacobson radical）とは、すべての単純右 R-加群を零化する R の元からなるイデアルである。定義において「右」の代わりに「左」としても同じイデアルが得られるので、この概念は左右対称である。環のジャコブソン根基をよく J(R) あるいは rad(R) と表すが、他の環の根基との混乱を避けるため、この記事では前者の表記を使う。ジャコブソン根基はにちなんで名づけられた。彼は初めてそれを任意の環についてで研究した人である。 環のジャコブソン根基には内在的な特徴づけが数多くあり、そのいくつかは単位元をもたない環に対する定義としても採用することができる。
冪級数
数学において、（一変数の）冪級数（べききゅうすう、power series）あるいは整級数（せいきゅうすう、série entière）とは の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。 多くの状況において （級数の中心 (center)）は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形 sum_^infty a_n x^n。
見る カシュ環と冪級数
剰余環
数学の一分野、環論における商環（しょうかん、quotient ring）、剰余環（じょうよかん、factor ring）あるいは剰余類環（じょうよるいかん、residue class ring）とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる（I による違いを「無視」するともいえる）ことで得られる。 注意: 剰余環は商環とも呼ばれるけれども、整域に対する商体（分数の体）と呼ばれる構成とは異なるし、全商環（商の環、これは環の局所化の一種）とも異なる。
見る カシュ環と剰余環
稠密部分加群
抽象代数学、とくに加群論において、加群の稠密部分加群（ちゅうみつぶぶんかぐん、dense submodule）は本質部分加群の概念の精密化である。N が M の稠密部分加群であれば、"N ⊆ M は有理拡大 (rational extension) である"ということもできる。稠密部分加群は非可換環論における商環と関係がある。ここで現れるたいていの結果は最初, と において証明された。 この用語は位相空間論における稠密部分集合の概念とは異なることを注意すべきである。稠密部分加群を定義するのに位相は全く必要ないし、稠密部分加群は位相加群において位相的に稠密かもしれないしそうでないかもしれない。
見る カシュ環と稠密部分加群
環 (数学)
数学における環（かん、ring）とは、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系のことである。 最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。したがって、台集合は加法の下「加法群」と呼ばれるアーベル群を成し、乗法の下「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。
見る カシュ環と環 (数学)
環の直積
数学において、いくつかの環を1つの大きい直積環（ちょくせきかん）、積環 (せきかん、) に合併することができる。これは次のようにされる： I がある添え字集合で Ri が I のすべての i に対して環であれば、カルテジアン積 は演算を 成分ごとの演算として定義することによって環にできる。 得られる環は環 Ri の直積 と呼ばれる。有限個の環の直積は環の直和と一致する。
見る カシュ環と環の直積
環上の加群
抽象代数学における環上の加群（かぐん、module）とは、ベクトル空間を一般化した概念で、係数（スカラー）を体の元とする代わりに、より一般の環の元としたものである。つまり、加群とは（ベクトル空間がそうであるように）加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。 任意のアーベル群は有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。また、環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。
見る カシュ環と環上の加群
環論
数学において、環論（かんろん、ring theory）は（加法と乗法が定義され、整数の持つ性質とよく似た性質を満足する代数的構造である）環を研究する学問分野である。環論の研究対象となるのは、環の構造や環の表現（環上の加群）などについての一般論、および（群環、可除環、普遍展開環などの）具体的な特定の環のクラスあるいは理論と応用の両面で興味深い様々な環の性質（たとえばホモロジー的性質や多項式の等式）などである。 可換環は非可換の場合と比べてその性質はよく調べられている。可換環の自然な例を多く提供する代数幾何学や代数的数論は可換環論の発展の大きな原動力であった。この二つは可換環に密接に関係する分野であるから、一般の環論の一部というよりは、可換環論や可換体論の一部と考えるほうが普通である。
見る カシュ環と環論
直和
数学における直和（ちょくわ、）は、既知の数学的対象を「貼り合わせ」て同じ種類の対象を新たに作り出す操作の一種で、歴史的経緯から対象によってやや異なる意味で用いられるが、大雑把には集合論的、代数学的、圏論的用法に大別できる。またいずれの用法においても、直和を取る対象が全て一つの大きな対象の部分となっている場合（内部直和、構造的直和）と、そのようなものを仮定しない場合（外部直和、構成的直和）を区別することができる（場合によってはそれらの記述は見かけ上大きく異なる）が、それらの間に自然な同型があるため理論上区別して扱わないこともある。そのような自然同型は、しばしば圏論的直和（あるいは双積）の普遍性によって捉えることができる。
見る カシュ環と直和
非可換整域
数学の特に環論と呼ばれる抽象代数学の一分野における（非可換）整域あるいは域（いき、domain）とは、右または左零因子を持たない（つまり ならば または が成り立つ、を満たすとも言われる）環のことを言う。しばしば自明でない（一つよりも多くの元を持つ）ことを仮定するが、域が乗法単位元を持つならば、この仮定は と同値であり、この場合の域は「左または右零因子を持たない非自明な環」のことになる。1(≠ 0) を持つ可換域は（可換）整域と呼ばれる。; 定理 (Wedderburn): 有限域は自動的に有限体になる。 零因子について（少なくとも可換環の場合には）位相幾何学的な解釈をすることができる。環 が可換整域となるための必要十分条件は、 が被約環（つまり冪零元を持たない環）であり、かつそのスペクトル が既約位相空間となることである。前者の性質はある種の無限小の情報を保有しているとしばしば考えられ、対して後者はより幾何学的な情報を与えている。例えば、体 上の環 は整域でない（ および の属する類が零因子を与える）が、これは幾何学的にはこの環のスペクトルが既約でない（実際に、二つの既約成分である直線 と の和となる）ことに対応する。
見る カシュ環と非可換整域
零化イデアル
数学、特に加群論において、集合の零化イデアルあるいは零化域（annihilator, /ənáiəlèitər/, /ə-ˈnī-ə-ˌlā-tər/）はねじれや直交性を一般化した概念である。
見る カシュ環と零化イデアル
抽象代数学
抽象代数学（ちゅうしょうだいすうがく、abstract algebra）とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。
見る カシュ環と抽象代数学
極大イデアル
環 の極大左イデアル（きょくだいひだりいである、maximal left ideal）とは、 以外の左イデアルの中で（集合の包含関係に関して）極大なもののことである。すなわち、左イデアル を真に含む左イデアルが しかないときに を の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは（環が 0 でなく単位元をもつとき）ツォルンの補題によって存在が保証されるあらかじめ環にネーター性を仮定しておけば、ツォルンの補題を避けることもできる。。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。
見る カシュ環と極大イデアル
極小イデアル
環論という抽象代数学の分野において、環 R の極小右イデアル (minimal right ideal) とは、他の 0 でない右イデアルを含まない 0 でない右イデアルのことである。同様に、極小左イデアル は R の他の 0 でない左イデアルを含まない R の 0 でない左イデアルで、R の極小イデアルとは R の他の 0 でない両側イデアルを含まない 0 でないイデアルのことである。 別の言い方をすれば、極小右イデアルは包含で順序を入れた R の 0 でない右イデアル全体からなる半順序集合の極小元である。この文脈の外ではイデアルのある半順序集合は零イデアルを持つかもしれず 0 がその半順序集合における極小元となるかもしれないことに注意しよう。例えば素イデアルの集合がそうである。
見る カシュ環と極小イデアル
準同型
代数学において、二つの代数系が準同型（じゅんどうけい、homomorphic）であるとは、それらの間に数学的構造を保つ写像である準同型写像（じゅんどうけいしゃぞう、homomorphism) があることを意味する。 構造がまったく同じであることを表すときは、代わりに同型（どうけい、isomorphic）および同型写像（どうけいしゃぞう、isomorphism）という術語を用いる。 構造により、等長・等距、同相や射型などといった特定の術語が用いられることがある。
見る カシュ環と準同型
斜体 (数学)
斜体（しゃたい、skew field; 歪体, Schiefkörper, corps, corps gauche）は加減乗除が可能な代数系である。除法の可能な環であるという意味で可除環（かじょかん、, ）ともいう。係数環を持ち、多元環の構造を持つことを強調する場合は、特に多元体（たげんたい、,; 可除多元環）と呼称することも多いいかなる斜体も、その中心を係数体として多元環と見ることができるので、この区別は文脈上で立場を明確にする必要のある場合を除いてはさほど重要ではない。非可換な積を持つ体を非可換体（ひかかんたい、, ）という。
見る カシュ環と斜体 (数学)
参考情報
代数的構造
- Dammアルゴリズム
- イデアル (環論)
- カシュ環
- グロタンディーク群
- ブール代数
- マグマ (数学)
- モノイド
- 乗法群
- 代数的構造
- 加法群
- 半原始環
- 半環
- 半群
- 原始環
- 可換体
- 可換環
- 圏 (数学)
- 平面三項環
- 指数体
- 擬環
- 整拡大
- 有限生成アーベル群
- 束 (束論)
- 点付き集合
- 環 (数学)
- 環上の加群
- 群 (数学)
- 行列環
- 非可換整域
- 順序指数体
Kasch環 別名。