代数的構造だいすうてきこうぞうalgebraic structureと二項演算にこうえんざんbinary operation 基本きほん演習えんしゅう

1対応たいおうする講義こうぎ

問題もんだい1〜3は二項演算にこうえんざんの講義こうぎの後あとに解とける。問題もんだい4は半群はんぐん・モノイド・群ぐんの講義こうぎの後あとに取とり組くむ。

2関連かんれん演習えんしゅう

3問題もんだい1：二項演算にこうえんざんbinary operationか判定はんていする

$$\mathbb{N}$$\mathbb N 上じょうの引ひき算ざんsubtractionは二項演算にこうえんざんbinary operationか。理由りゆうも述のべよ。

3.1解答かいとう

二項演算にこうえんざんbinary operationではない。たとえば

であり、$$-3\notin \mathbb{N}$$-3\notin\mathbb N だからである。

3.2解説かいせつ

二項演算にこうえんざんbinary operation $$\text{[PARSE ERROR: Undefined("Command("ast")")]}:S\times S\to S$$\ast:S\times S\to S では、任意にんいの二ふたつの元げんelementから得えられる結果けっかが同おなじ集合しゅうごうset $$S$$S に戻もどる必要ひつようがある。ここでは閉包性へいほうせいclosureが壊こわれている。

4問題もんだい2：単位元たんいげんidentity elementを求もとめる

$$\mathbb{Z}$$\mathbb Z 上じょうの演算えんざんoperation $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b=a+b-3$$a\ast b=a+b-3 を考かんがえる。単位元たんいげんidentity elementを求もとめよ。

4.1解答かいとう

単位元たんいげんidentity elementを $$e$$e とすると、任意にんいの $$a$$a について

である。したがって

より $$e=3$$e=3 である。同どう様ように $$e\text{[PARSE ERROR: Undefined("Command("ast")")]}a=a$$e\ast a=a も成立せいりつするので、単位元たんいげんidentity elementは 3 である。

4.2解説かいせつ

単位元たんいげんidentity elementは「何なにもしない元げんelement」である。通常つうじょうの足たし算ざんadditionの 0 とは限かぎらない。演算えんざんoperationが変かわると単位元たんいげんidentity elementも変かわる。

5問題もんだい3：逆元ぎゃくげんinverse elementを求もとめる

問題もんだい2の演算えんざんoperationで、元げんelement $$a$$a の逆元ぎゃくげんinverse elementを求もとめよ。

5.1解答かいとう

逆元ぎゃくげんinverse elementを $$b$$b とすると、単位元たんいげんidentity elementが 3 なので

である。つまり

だから

である。この演算えんざんは $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b=b\text{[PARSE ERROR: Undefined("Command("ast")")]}a$$a\ast b=b\ast a を満みたすので、反対はんたいの順序じゅんじょでも $$b\text{[PARSE ERROR: Undefined("Command("ast")")]}a=3$$b\ast a=3 となる。

5.2解説かいせつ

逆元ぎゃくげんは単位元たんいげんに相対そうたいして定さだまり、左右さゆうのどちらから演算えんざんしても単位元たんいげんになる必要ひつようがある。ここでは単位元たんいげんが 3 であり、可換性かかんせいによって一方いっぽうの計算けいさんから両方りょうほうを確認かくにんできる。

6問題もんだい4：半群はんぐん・モノイド・群ぐんのどれか

問題もんだい2・3の演算えんざん $$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b=a+b-3$$a\ast b=a+b-3 について、閉包性へいほうせいと結合法則けつごうほうそくを確認かくにんし、$$(\mathbb{Z},\text{[PARSE ERROR: Undefined("Command("ast")")]})$$(\mathbb Z,\ast) が半群はんぐん、モノイド、群ぐんのどこまでの条件じょうけんを満みたすか答こたえよ。

6.1解答かいとう

任意にんいの $$a,b\in \mathbb{Z}$$a,b\in\mathbb Z について $$a+b-3\in \mathbb{Z}$$a+b-3\in\mathbb Z なので閉包性へいほうせいがある。また、任意にんいの $$a,b,c\in \mathbb{Z}$$a,b,c\in\mathbb Z について

なので結合法則けつごうほうそくを満みたし、$$(\mathbb{Z},\text{[PARSE ERROR: Undefined("Command("ast")")]})$$(\mathbb Z,\ast) は半群はんぐんである。問題もんだい2より単位元たんいげんは 3 なのでモノイドでもある。問題もんだい3より各元かくげん $$a$$a の逆元ぎゃくげんは $$6-a\in \mathbb{Z}$$6-a\in\mathbb Z なので、すべての元げんが逆元ぎゃくげんを持もつ。したがって $$(\mathbb{Z},\text{[PARSE ERROR: Undefined("Command("ast")")]})$$(\mathbb Z,\ast) は群ぐんである。

6.2解説かいせつ

単位元たんいげんや逆元ぎゃくげんを計算けいさんするだけでは、まだ群ぐんとは判定はんていできない。まず規則きそくが集合しゅうごう上じょうの二項演算にこうえんざんであり、結合法則けつごうほうそくを満みたすことも別べつに確認かくにんする必要ひつようがある。