二項演算

テンプレート:出典の明記 数学において、二項演算（にこうえんざん、テンプレート:Lang-en-short）は、数の四則演算（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。二項算法（にこうさんぽう）、結合などともいう。

定義

集合 A 上で定義される 2 変数の写像

$\mu :A\times A\to A;(x,y)\mapsto \mu (x,y)$

を A 上の二項演算あるいは乗法などと呼び、集合 A を二項演算 μ の台集合 (underlying set) などと呼ぶ。A の 2 元 x, y に対し、順序対 (x, y) の二項演算 μ による像 μ(x, y) を x と y の積あるいは結合などと呼んで、多くの場合に中置記法に則って x μ y のように記す（混乱のおそれの無い場合には、しばしば xy と略記する）。

また、A × A 上の写像 g が A 上の二項演算を与えるとき、A は g について閉じているあるいは テンプレート:Mvar は テンプレート:Mvar において閉じているという。

テンプレート:Mvar の任意の二つの対象から、第三の対象を与える「二項演算」の手続きのみが与えられていて、その手続きの値域がふたたび テンプレート:Mvar に含まれるかどうか（第三の対象が テンプレート:Mvar の対象となるか）が問題となるとき、この演算が閉じているかどうかを検討することが求められる。

そのような例として、ある集合 テンプレート:Mvar がより大きな集合 テンプレート:Mvar の部分集合であって、テンプレート:Mvar が特定の代数的構造を備えた代数系であるとき、テンプレート:Mvar が テンプレート:Mvar の部分代数系となること（すなわち、テンプレート:Mvar の各演算を テンプレート:Mvar に制限した演算を考えるとき テンプレート:Mvar 自身が同じ代数的構造を持つこと）は、各演算が テンプレート:Mvar において閉じていることが必要十分である。

諸概念

1つまたは複数の二項演算に結合律、可換律あるいは分配律などといった条件が成立するかどうかを考えることで、二項演算やそれらの関係を分類することができる。

台集合 $A$ とその上の二項演算 $\mu$ がなす組 $(A,\mu )$ をマグマという。マグマが持つ二項演算に課せられた条件に基づいて半群や環、アーベル群など、様々な代数的構造が見いだされる。

外部二項演算

ベクトル空間におけるベクトルのスカラー倍のようなものを二項演算と考える流儀もある。一般に、集合 A, B に対し、B の A への作用、つまり

$\mu :B\times A\to A;(b,a)\mapsto b\mu a$

の形で与えられる写像 μ を外部二項演算と呼んで二項演算の仲間に入れることがある。このとき、元の意味での二項演算を内部二項演算と呼んで区別する。外部二項演算 μ が与えられたとき、適当な写像

$\alpha :B\to A^A;b\mapsto {\alpha }_b$

を用いると、B の各元 b において A 上の作用素、つまり

${\alpha }_b(a)=b\mu a$

を満たす A 上の単項演算

${\alpha }_b:A\to A;a\mapsto b\mu a$

が得られるので、外部二項演算 μ を A 上の単項演算の族 {α_b}_b∈B と見なすことができる。これは、これらの単項演算が A の内部での演算になっているので、代数系の構造論を考える立場からは自然な見方である。なお一般の場合として、集合 A, B, C に対し 2 変数の写像

$f:A\times B\to C$

を形式にこだわらずに二項演算とか積などと呼ぶ場合もある。この立場では例えばベクトルの内積などが二項演算の仲間に含まれる。

関連項目

• マグマ
• 算法
• 代数的構造