正則環と環 (数学)

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

正則環と環 (数学)の違い

正則環 vs. 環 (数学)

可換環論において、正則環 (regular ring) は可換ネーター環であって任意の素イデアルにおける局所化が正則局所環であるようなものである。つまり、すべてのそのような局所化は、その極大イデアルの生成元の最小個数がクルル次元と等しいという性質をもつ。 Jean-Pierre Serre は正則環を大域ホモロジー次元が有限の可換ネーター環として定義し、これは上記の定義と同値であることを示す。正則環のクルル次元は大域ホモロジー次元と一致する。 正則環の例は（次元0である）体やデデキント整域を含む。A が正則であれば A も正則であり、次元が1だけ増える。 正則環は被約であるが整域である必要はない。例えば、2つの正則整域の積は正則だが整域でない。. 数学における環（かん、ring）は、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルをつかって剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.

可換環論

可換環論（かかんかんろん、英語：commutative algebra、commutative ring theory）は、その乗法が可換であるような環（これを可換環という）に関する理論の体系のこと、およびその研究を行う数学の一分野のことである。.

可換環論と正則環 · 可換環論と環 (数学) · 続きを見る »

ネーター環

数学においてネーター環（ネーターかん、Noetherian ring）は、イデアルの昇鎖条件などのある種の有限性を持つ環の一種。エミー・ネーターによって提唱された。すべてのイデアルは有限生成という条件から単項イデアル整域の一般化と見ることもできる。.

ネーター環と正則環 · ネーター環と環 (数学) · 続きを見る »

デデキント環

デデキント環（デデキントかん、Dedekind ring）、あるいはデデキント整域（デデキントせいいき、Dedekind domain）とは、任意の0でない真のイデアルが、有限個の素イデアルの積にかけるような整域のことである。そのような分解は一意であることが知られており、イデアル論の基礎定理と呼ばれる。.

デデキント環と正則環 · デデキント環と環 (数学) · 続きを見る »

シュプリンガー・サイエンス・アンド・ビジネス・メディア

ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.

シュプリンガー・サイエンス・アンド・ビジネス・メディアと正則環 · シュプリンガー・サイエンス・アンド・ビジネス・メディアと環 (数学) · 続きを見る »

被約環

論において、被約環（ひやくかん、reduced ring）とは、0でないベキ零元をもたない環のことである。（ベキ零元とは何乗かすると0になる元のことである。）被約環は数学の分野である可換環論や代数幾何学で役割を果たす。被約スキームとは茎が被約なスキームである。可換環上の可換多元環は環として被約なとき被約多元環と呼ばれる。 この記事は可換環論に関するものである。とくに、環は単位元をもち可換なものを考える。環準同型は単位元を単位元に写す。詳細は可換環論を見られたい。.

正則環と被約環 · 環 (数学)と被約環 · 続きを見る »