交換法則と可換体

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

交換法則と可換体の違い

交換法則 vs. 可換体

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

加法

加法（かほう、addition, summation）とは、数を合わせることを意味する二項演算あるいは多項演算で、四則演算のひとつ。足し算（たしざん）、加算（かさん）、あるいは寄せ算（よせざん）とも呼ばれる。また、加法の演算結果を和（わ、）という。記号は「+」。 自然数の加法は、しばしば物の個数を加え合わせることに喩えられる。また数概念の拡張にしたがって、別の意味を持つ加法を考えることができる。たとえば実数の加法は、もはや自然数の加法のように物の個数を喩えに出すことはできないが、曲線の長さなど別の対象物を見出すことができる。 減法とは互いに逆の関係にあり、また例えば、負の数の加法として減法が捉えられるなど、加法と減法の関連は深い。これは代数学において加法群の概念として抽象化される。 無限個の数を加えること（総和法）については総和、級数、極限、ε–δ 論法などを参照。.

交換法則と加法 · 加法と可換体 · 続きを見る »

実数

数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

交換法則と実数 · 可換体と実数 · 続きを見る »

乗法

算術における乗法 (じょうほう、multiplication) は、算術の四則と呼ばれるものの一つで、整数では、一方の数 (被乗数、ひじょうすう、multiplicand) に対して他方の数 (乗数、じょうすう、multiplier) の回数だけ繰り返し和をとる（これを掛けるまたは乗じるという。）ことにより定義できる演算である。掛け算（かけざん）、乗算（じょうざん）とも呼ばれる。代数学においては、変数の前の乗数（例えば 3y の 3）は係数（けいすう、coefficient）と呼ばれる。 逆の演算として除法をもつ。乗法の結果を積 (せき、product) と呼ぶ。 乗法は、有理数、実数、複素数に対しても拡張定義される。また、抽象代数学においては、一般に可換とは限らない二項演算に対して、それを乗法、積などと呼称する（演算が可換である場合はしばしば加法、和などと呼ぶ）。.

乗法と交換法則 · 乗法と可換体 · 続きを見る »

二項演算

数学において、二項演算（にこうえんざん、binary operation）は、数の四則演算（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。二項算法（にこうさんぽう）、結合などともいう。.

二項演算と交換法則 · 二項演算と可換体 · 続きを見る »

代数的構造

数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.

交換法則と代数的構造 · 代数的構造と可換体 · 続きを見る »

分配法則

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

交換法則と分配法則 · 分配法則と可換体 · 続きを見る »

アーベル群

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

アーベル群と交換法則 · アーベル群と可換体 · 続きを見る »

結合法則

数学、殊に代数学における結合法則（けつごうほうそく、associative law) 、結合則、結合律あるいは演算の結合性（けつごうせい、associativity）は二項演算に対して考えられる性質の一つ。ひとつの数式にその演算の演算子が2個以上並んでいる時、その演算子について、左右どちらの側が優先されるかに関わらず結果が同じになるような演算は結合的 (associative) である。.

交換法則と結合法則 · 可換体と結合法則 · 続きを見る »

複素数

数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.

交換法則と複素数 · 可換体と複素数 · 続きを見る »

有理数

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

交換法則と有理数 · 可換体と有理数 · 続きを見る »