群の定義編

問題 1.1 群の定義は、簡単に言うと

(0)掛け算が定義されていて、

その掛け算は結合法則を満たす。
更に単位元が存在し、
その上割り算もできる。
というものです。
これを正確に集合の言葉を用いて述べなさい。 (適当な本を調べてノート/黒板に書きなさい。)

例 1.1 群

の「掛け算」というのは集合の言葉を使えば単に写像

$\displaystyle \phi:G\times G \to G$

のことです。(普通の意味の「掛け算」とは限らない事に注意しましょう。たとえば $\phi$ が実際には「足し算」の時もあります。 (下の問題1.2 を参照の事。) その手の混乱を避けるために、群の掛け算の事を「乗法」とか「積」とか難しい言葉で言うことが多いです。)

問題 1.2 いま、

として整数全体のなす集合 ${\mbox{${\mathbb{Z}}$}}$ をとり、乗法 $\phi$ を

$\displaystyle \phi(a,b)=a+b$

で定義すれば、 $(G,\phi)$ は群の公理を満たす事を確かめなさい。

次に、

	$\displaystyle \phi(a,b)=ab$	(1.1)
	$\displaystyle \phi(a,b)=a-b$	(1.2)
	$\displaystyle \phi(a,b)=b/a$	(1.3)

と置いたときは $(G,\phi)$ それぞれ群になるかどうか答えなさい。(こういう聞き方のときには当然理由を述べて答えてくださる事を期待してます。更に公理のうちどの部分は満足されているかも考えてください。以下も同様。)

問題 1.3 前の問題で、

として ${\mbox{${\mathbb{Z}}$}}$ の代わりに $\mbox{${\mathbb{Q}}$}$ $^\times=$ $\mbox{${\mathbb{Q}}$}$ $\setminus \{0\}$ (有理数の全体から 0 のみを除いた集合)を採ったときにはどうなりますか？

問題 1.4 0 以下の整数の全体 $% latex2html id marker 1015 $ {\mbox{${\mathbb{Z}}$}}_{\leq 0}$$ は足し算について群になっていますか？かけ算についてはどうですか？

問題 1.6 有理数を要素とする $n\times n$ -行列全体の集合

$\mbox{${\mathbb{Q}}$}$

について、乗法を行列の通常の意味の積で定義します。この集合は群の公理を満たしますか？

問題 1.7 集合

から

への写像全体のなす集合

を考えます。この集合に乗法 $\phi$ を「写像の合成」即ち

$\displaystyle (\phi(f,g))(x)=f(g(x))$

で定義できます。これを確かめなさい。 $(S,\phi)$ は群になりますか？

問題 1.8 次の各々のものは、写像になっていますか？それらは全射、単射、全単射ですか？

$f_1:\{$ $3$ の倍数 $\}\to \{$ $6$ の倍数 $\}$ を

$\displaystyle f_1(x)=4x$

で定義したもの。
$f_2:\{$ $3$ の倍数 $\}\to \{$ $6$ の倍数 $\}$ を

$\displaystyle f_2(x)=x^2$

で定義したもの。
$f_3:\{$ $2$ の倍数 $\}\to \{$ $8$ の倍数 $\}$ を

$\displaystyle f_3(x)=4x$

で定義したもの。
$f_4:\{$ $2$ の倍数 $\}\to \{$ $8$ の倍数 $\}$ を

$\displaystyle f_4(x)=x^3$

で定義したもの。