二項演算
表示
![]() |
数学において、二項演算︵にこにこどうが、英: binary operation︶は、数の四則演算︵加減乗除︶などの ﹁二つの数から新たな数を決定する規則﹂ を一般化した概念である。二項算法︵にこうさんぽう︶、結合などともいう。
を A上の二項演算あるいは乗法などと呼び、集合 Aを二項演算 μ の台集合 (underlying set) などと呼ぶ。A の2元 x, yに対し、順序対 (x, y) の二項演算 μ による像 μ(x, y) を xと yの積あるいは結合などと呼んで、多くの場合に中置記法に則って xμ yのように記す︵混乱のおそれの無い場合には、しばしば xyと略記する︶。
また、A × A上の写像 gが A上の二項演算を与えるとき、A は gについて閉じているあるいは gは Aにおいて閉じているという。
A の任意の二つの対象から、第三の対象を与える﹁二項演算﹂の手続きのみが与えられていて、その手続きの値域がふたたび Aに含まれるかどうか︵第三の対象が Aの対象となるか︶が問題となるとき、この演算が閉じているかどうかを検討することが求められる。
そのような例として、ある集合 Sがより大きな集合 Aの部分集合であって、A が特定の代数的構造を備えた代数系であるとき、S が Aの部分代数系となること︵すなわち、A の各演算を Sに制限した演算を考えるとき S自身が同じ代数的構造を持つこと︶は、各演算が Sにおいて閉じていることが必要十分である。
の形で与えられる写像 μ を外部二項演算と呼んで二項演算の仲間に入れることがある。このとき、元の意味での二項演算を内部二項演算と呼んで区別する。外部二項演算 μ が与えられたとき、適当な写像
を用いると、B の各元 bにおいて A上の作用素、つまり
を満たす A上の単項演算
が得られるので、外部二項演算 μ を A上の単項演算の族 {αb}b∈B と見なすことができる。これは、これらの単項演算が Aの内部での演算になっているので、代数系の構造論を考える立場からは自然な見方である。なお一般の場合として、集合 A, B, Cに対し2変数の写像
を形式にこだわらずに二項演算とか積などと呼ぶ場合もある。この立場では例えばベクトルの内積などが二項演算の仲間に含まれる。