二項演算にこうえんざんbinary operationと閉包性へいほうせいclosure

抽象代数ちゅうしょうだいすうで最初さいしょに確認かくにんすべき操作そうさは、二ふたつの元げんから一ひとつの元げんを作つくる操作そうさである。これを二項演算にこうえんざんbinary operationという。

集合しゅうごう $$S$$S 上うえの二項演算にこうえんざんとは、写像しゃぞう

のことである。つまり、任意にんいの $$a,b\in S$$a,b\in S に対たいして、結果けっか $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$a\ast b が再ふたたび $$S$$S の元げんになる。

ここでいう写像しゃぞうは、入力にゅうりょくに対たいして出力しゅつりょくを一ひとつ定さだめる規則きそくである。$$S\times S$$S\times S は $$S$$S の元げんを二ふたつ並ならべた組くみの集合しゅうごうを表あらわす。

この「結果けっかが同おなじ集合しゅうごうの中なかに戻もどる」という条件じょうけんが閉包性へいほうせいである。

binary operation二項演算にこうえんざん and closure閉包性へいほうせい

The first operation to check in abstract algebra抽象代数ちゅうしょうだいすう is an operation that takes two elements and produces one element. This is called a binary operation二項演算にこうえんざん.

A binary operation二項演算にこうえんざん on a set $$S$$S is a map

That is, for any $$a,b\in S$$a,b\in S, the result $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$a\ast b is again an element of $$S$$S.

Here a map means a rule that assigns one output to each input. The set $$S\times S$$S\times S means the set of ordered pairs of elements of $$S$$S.

The condition that "the result returns to the same set" is closure閉包性へいほうせい.

1何故なぜ閉包性へいほうせいが必要ひつようか

閉包性へいほうせいがないと、演算えんざんを繰くり返かえせない。

たとえば自然数全体しぜんすうぜんたい $$\mathbb{N}$$\mathbb N で引ひき算ざんを考かんがえると、

は自然数しぜんすうではない。したがって引ひき算ざんは $$\mathbb{N}$$\mathbb N 上うえの二項演算にこうえんざんではない。

一方いっぽう、整数全体せいすうぜんたい $$\mathbb{Z}$$\mathbb Z で引ひき算ざんを考かんがえると、任意にんいの整数せいすう $$a,b$$a,b に対たいして $$a-b$$a-b は整数せいすうである。したがって引ひき算ざんは $$\mathbb{Z}$$\mathbb Z 上うえの二項演算にこうえんざんである。

1Why closure閉包性へいほうせい is necessary

Without closure閉包性へいほうせい, an operation cannot be repeated inside the same set.

For example, consider subtraction on the natural numbers $$\mathbb{N}$$\mathbb N:

The result is not a natural number. Therefore subtraction is not a binary operation二項演算にこうえんざん on $$\mathbb{N}$$\mathbb N.

On the other hand, if subtraction is considered on the integers $$\mathbb{Z}$$\mathbb Z, then for any integers $$a,b$$a,b, the result $$a-b$$a-b is an integer. Thus subtraction is a binary operation二項演算にこうえんざん on $$\mathbb{Z}$$\mathbb Z.

2結合法則けつごうほうそくと可換性かかんせい

結合法則けつごうほうそくassociative lawは、三みっつ以い上うえの元げんを演算えんざんするときに括弧かっこの位置いちが結果けっかに影響えいきょうしないことを表あらわす。

結合法則けつごうほうそくがあると、$$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b\text{[PARSE ERROR: Undefined("Command("ast")")]}c$$a\ast b\ast c と書かいても意味いみが曖昧あいまいにならない。

可換性かかんせいcommutativityは、順序じゅんじょを入いれ替かえても結果けっかが変かわらないことを表あらわす。

可換性かかんせいは常つねに仮定かていされるわけではない。行列積ぎょうれつせきや置換ちかんの合成ごうせいは一般いっぱんに可換かかんでない。

行列ぎょうれつと置換ちかんは非可換ひかかんな演算えんざんの例れいとして挙あげているだけで、このページの判定はんていには使つかわない。

2Associative law and commutativity

The associative law結合法則けつごうほうそく says that when three or more elements are operated on, the position of parentheses does not affect the result.

When the associative law結合法則けつごうほうそく holds, writing $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b\text{[PARSE ERROR: Undefined("Command("ast")")]}c$$a\ast b\ast c is not ambiguous.

Commutativity可換性かかんせい says that changing the order順序じゅんじょ does not change the result.

Commutativity is not always assumed. Matrix multiplication and composition of permutations are generally not commutative.

Matrices and permutations are mentioned only as examples of noncommutative operations; they are not used in the tests on this page.

3単位元たんいげんと逆元ぎゃくげん

単位元たんいげんidentity elementとは、演算えんざんしても相手あいてを変かえない元げんである。

逆元ぎゃくげんinverse elementとは、演算えんざんによって単位元たんいげんへ戻もどす元げんである。

単位元たんいげんと逆元ぎゃくげんは、方程式ほうていしきを解とくために重要じゅうようである。もし $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}x=b$$a\ast x=b を解ときたいなら、左ひだりから $$a^{-1}$$a^{-1} を作用さようさせて $$x=a^{-1}\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$x=a^{-1}\ast b としたくなる。この操作そうさができるためには、逆元ぎゃくげんが必要ひつようである。

3Identity element and inverse element逆元ぎゃくげん

An identity element単位元たんいげん is an element that leaves the other element unchanged when operated with it.

An inverse element逆元ぎゃくげん is an element that brings an element back to the identity element単位元たんいげん through the operation.

Identity elements and inverses are important for solving equations. If we want to solve $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}x=b$$a\ast x=b, we want to apply $$a^{-1}$$a^{-1} from the left and get $$x=a^{-1}\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$x=a^{-1}\ast b. This operation requires the existence of an inverse.

4具体例ぐたいれい：演算表えんざんひょうで見みる

集合しゅうごう $$S=\{0,1,2\}$$S=\{0,1,2\} に、3 で割わった余あまりの足たし算ざんを入いれる。

このとき演算表えんざんひょうは次つぎのようになる。

全すべての結果けっかが $$S$$S に入はいっているので閉包性へいほうせいがある。0 は単位元たんいげんであり、1 の逆元ぎゃくげんは 2、2 の逆元ぎゃくげんは 1 である。

4Concrete example: reading an operation table

Put addition modulo 3 on the set $$S=\{0,1,2\}$$S=\{0,1,2\}.

The operation table is as follows.

Every result lies in $$S$$S, so closure閉包性へいほうせい holds. The element 0 is the identity element単位元たんいげん, the inverse of 1 is 2, and the inverse of 2 is 1.

5演習えんしゅうリンク

5Exercise link

6まとめ

二項演算にこうえんざんは、集合しゅうごうの二ふたつの元げんから同おなじ集合しゅうごうの元げんを作つくる写像しゃぞうである。閉包性へいほうせい、結合法則けつごうほうそく、可換性かかんせい、単位元たんいげん、逆元ぎゃくげんは、群ぐん・環かん・体たいを定義ていぎするための基本きほん語彙ごいである。

6Summary

A binary operation二項演算にこうえんざん is a map that takes two elements of a set and produces an element of the same set. Closure閉包性へいほうせい, the associative law結合法則けつごうほうそく, commutativity可換性かかんせい, an identity element単位元たんいげん, and inverse elements逆元ぎゃくげん are the basic vocabulary used to define groups群ぐん, rings環かん, and fields体たい.

7判定はんてい補足ほそく：演算えんざんの性質せいしつは別々べつべつに確認かくにんする

集合しゅうごう $$S$$S と規則きそく $$\text{[PARSE ERROR: Undefined("Command("ast")")]}$$\ast が与あたえられたとき、まず $$a,b\in S\Rightarrow a\text{[PARSE ERROR: Undefined("Command("ast")")]}b\in S$$a,b\in S\Rightarrow a\ast b\in S を確認かくにんして、$$\text{[PARSE ERROR: Undefined("Command("ast")")]}:S\times S\to S$$\ast:S\times S\to S が二項演算にこうえんざんbinary operationとして定さだまっているかを見みる。これは閉包性へいほうせいclosureだけの確認かくにんであり、結合法則けつごうほうそく、可換性かかんせい、単位元たんいげん、逆元ぎゃくげんはまだ保証ほしょうしない。

たとえば $$\mathbb{Z}$$\mathbb Z 上じょうの引ひき算ざんsubtraction $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b=a-b$$a\ast b=a-b は閉包性へいほうせいclosureを持もつが、

なので結合法則けつごうほうそくを満みたさない。したがって、閉包性へいほうせいclosureがあることと群ぐんに近ちかい性質せいしつを持もつことは別問題べつもんだいである。

7Test supplement: check properties of an operation演算えんざん separately

Given a set $$S$$S and a rule $$\text{[PARSE ERROR: Undefined("Command("ast")")]}$$\ast, first check $$a,b\in S\Rightarrow a\text{[PARSE ERROR: Undefined("Command("ast")")]}b\in S$$a,b\in S\Rightarrow a\ast b\in S to see whether $$\text{[PARSE ERROR: Undefined("Command("ast")")]}:S\times S\to S$$\ast:S\times S\to S is a binary operation二項演算にこうえんざん. This checks only closure閉包性へいほうせい; it does not yet guarantee associativity, commutativity, an identity element単位元たんいげん, or inverse elements.

For example, subtraction $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b=a-b$$a\ast b=a-b on $$\mathbb{Z}$$\mathbb Z has closure, but

so it does not satisfy associativity. Thus having closure and having group-like properties are separate questions.