可換環と整数

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

可換環と整数の違い

可換環 vs. 整数

数学、特に抽象代数学の一分野である環論における可換環（かかんかん、commutative ring）は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。. 数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.

可逆元

数学、とくに代数学における可逆元（かぎゃくげん、invertible element）または単元（たんげん、unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。.

可換環と可逆元 · 可逆元と整数 · 続きを見る »

可換体

抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.

可換体と可換環 · 可換体と整数 · 続きを見る »

一意分解環

数学における一意分解環（いちいぶんかいかん、unique factorization domain,UFD; 一意分解整域）あるいは素元分解環（そげんぶんかいかん）は、大雑把に言えば整数に対する算術の基本定理の如くに（特別の例外を除く）各元が素元（あるいは既約元）の積に一意的に書くことができるような可換環のことである。ブルバキの語法にしたがってしばしば分解環 (anneau factriel) とも呼ばれる。 環のクラスの中で、一意分解環は以下のような包含関係に位置するものである。.

一意分解環と可換環 · 一意分解環と整数 · 続きを見る »

交換法則

交換法則（こうかんほうそく、Commutative property) は数学における法則の一つ。可換則（かかんそく）や交換律（こうかんりつ）ともいう。.

交換法則と可換環 · 交換法則と整数 · 続きを見る »

モノイド

数学、とくに抽象代数学における単系（たんけい、monoid; モノイド）はひとつの二項演算と単位元をもつ代数的構造である。モノイドは単位元をもつ半群（単位的半群）であるので、半群論の研究対象の範疇に属する。 モノイドの概念は数学のさまざまな分野に現れる。たとえば、モノイドはそれ自身が「ただひとつの対象をもつ圏」と見ることができ、したがって「集合上の写像とその合成」といった概念を捉えたものと考えることもできる。モノイドの概念は計算機科学の分野でも、その基礎付けや実用プログラミングの両面で広く用いられる。 モノイドの歴史や、モノイドに一般的な性質を付加した議論などは半群の項に譲る。.

モノイドと可換環 · モノイドと整数 · 続きを見る »

分配法則

集合 S に対して、積 × と和 + が定義されている時に、.

分配法則と可換環 · 分配法則と整数 · 続きを見る »

アーベル群

数学、とくに抽象代数学におけるアーベル群（アーベルぐん、abelian group）または可換群（かかんぐん、commutative group）は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群（加法群）としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法（例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す）が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.

アーベル群と可換環 · アーベル群と整数 · 続きを見る »

剰余類環

数学において、自然数 を法とする合同類環（ごうどうるいかん）あるいは剰余（類）環（じょうよかん、n, n）は、整数を で割った「剰余」を抽象的な類別として捉えたものである。 本項は剰余類環 の代数的な定義と性質について述べる。合同類別に関するより平易な導入については整数の合同を参照のこと。.

剰余類環と可換環 · 剰余類環と整数 · 続きを見る »

算術の基本定理

pp.

可換環と算術の基本定理 · 整数と算術の基本定理 · 続きを見る »

環 (数学)

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

可換環と環 (数学) · 整数と環 (数学) · 続きを見る »

零因子

抽象代数学において、環 R の元 a は、ax.

可換環と零因子 · 整数と零因子 · 続きを見る »

集合

数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.

可換環と集合 · 整数と集合 · 続きを見る »

抽象代数学

抽象代数学 (ちゅうしょうだいすうがく、abstract algebra) とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。.

可換環と抽象代数学 · 抽象代数学と整数 · 続きを見る »

準同型

準同型（じゅんどうけい、homomorphic）とは、複数の対象（おもに代数系）に対して、それらの特定の数学的構造に関する類似性を表す概念で、構造を保つ写像である準同型写像（じゅんどうけいしゃぞう、homomorphism) を持つことを意味する。構造がまったく同じであることを表すときは、準同型・準同型写像の代わりに同型（どうけい、isomorphic）および同型写像（どうけいしゃぞう、isomorphism）という術語を用いる。しばしば、準同型写像・同型写像のことを指して単に準同型・同型と呼ぶ。いずれも、「型」の代わりに「形」が用いられることが稀にある。.

可換環と準同型 · 整数と準同型 · 続きを見る »

有理数

有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.

可換環と有理数 · 整数と有理数 · 続きを見る »

数学

数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

可換環と数学 · 数学と整数 · 続きを見る »

整域

抽象代数学における整域（せいいき、integral domain）は、零因子を持たない可換環であって、自明環 でないものをいう。整域の概念は整数全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域のことをいう。 上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある。しかし、「整域」(integral domain) という語を可換の場合のために用い、非可換の場合には「域」(domain) を用いることにすると約束するのがたいていの場合には有効である（奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる）。別な文献では（ラングが顕著だが）整環 (entire ring) を用いるものがある「整環」という用語は、代数体の整環 (order) などに対しても用いられる。。 いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。 零因子の非存在（零積法則）は、整域において非零元による乗法の簡約律が満足されることを意味する。つまり、a ≠ 0 のとき、等式 から が結論できる。.

可換環と整域 · 整域と整数 · 続きを見る »