「圏論/代数系/古典的代数系」の版間の差分
編集の要約なし |
編集の要約なし |
||
78 行 | 78 行 | ||
また <math>X</math> の各元の[[圏論/代数系/古典的代数系#逆元|逆元]]もまた <math>X</math> に入っているとき(従って <math>G</math> の[[圏論/代数系/古典的代数系#単位元|単位元]] <math>e</math> も<math>X</math>に入る<ref> |
また <math>X</math> の各元の[[圏論/代数系/古典的代数系#逆元|逆元]]もまた <math>X</math> に入っているとき(従って <math>G</math> の[[圏論/代数系/古典的代数系#単位元|単位元]] <math>e</math> も<math>X</math>に入る<ref> |
||
<small> |
<small> |
||
<math>ab=e</math>, <math>a\in X, b\in X</math> において、 <math>X</math> が <math>G</math> の演算で閉じているのだから <math>ab=e\in G</math> |
<math>ab=e</math>, <math>a\in X, b\in X</math> において、 <math>X</math> が <math>G</math> の演算で[[圏論/代数系/古典的代数系#閉じている|閉じている]]のだから <math>ab=e\in G</math> |
||
</small></ref> |
</small></ref> |
||
), |
), |
||
87 行 | 87 行 | ||
<strong>1.4</strong> |
<strong>1.4</strong> |
||
例えば実数の集合 <math>R</math> はその上の加法という演算について[[圏論/代数系/古典的代数系#可換群|可換群]]である。 |
例えば実数の集合 <math>R</math> はその上の加法という演算について[[圏論/代数系/古典的代数系#可換群|可換群]]である。 |
||
有理数の集合 <math>Q</math>, 整数の集合<math>Z</math> はその部分群, <math>Z</math> はまた <math>Q</math> の部分群でもある. |
有理数の集合 <math>Q</math>, 整数の集合<math>Z</math> はその[[圏論/代数系/古典的代数系#部分群|部分群]], <math>Z</math> はまた <math>Q</math> の[[圏論/代数系/古典的代数系#部分群|部分群]]でもある. |
||
<math>R</math> は乗法については半群ではあるが群ではない. <ref> |
<math>R</math> は乗法については[[圏論/代数系/古典的代数系#半群|半群]]ではあるが[[圏論/代数系/古典的代数系#群|群]]ではない. <ref> |
||
<small> |
<small> |
||
<math>0</math> を含むと <math>0</math> の乗法についての単位元は存在せず、乗法に関する単位元を仮に <math>1</math> としても乗法に関して <math>0</math> の逆元は存在しない.これはすぐに後述される.</small></ref> |
<math>0</math> を含むと <math>0</math> の乗法についての[[圏論/代数系/古典的代数系#単位元|単位元]]は存在せず、乗法に関する[[圏論/代数系/古典的代数系#単位元|単位元]]を仮に <math>1</math> としても乗法に関して <math>0</math> の[[圏論/代数系/古典的代数系#逆元|逆元]]は存在しない.これはすぐに後述される.</small></ref> |
||
しかし<math>R</math> から <math>0</math> を除いた <math>R-\left\{0\right\}</math> は乗法について群となる。 |
しかし<math>R</math> から <math>0</math> を除いた <math>R-\left\{0\right\}</math> は乗法について[[圏論/代数系/古典的代数系#群|群]]となる。 |
||
正の実数の集合 <math>R^+</math> はその部分群である。<math>Q-\left\{0\right\}</math> および <math>Q^+=Q\cup R^+</math><ref> |
正の実数の集合 <math>R^+</math> はその[[圏論/代数系/古典的代数系#部分群|部分群]]である。<math>Q-\left\{0\right\}</math> および <math>Q^+=Q\cup R^+</math><ref> |
||
<small> |
<small> |
||
「<math>Q^+</math>を正の有理数の集合」としてもよいが,すでに定義している<math>R^+</math> を使用して定義したまでのこと.</small></ref> |
「<math>Q^+</math>を正の有理数の集合」としてもよいが,すでに定義している<math>R^+</math> を使用して定義したまでのこと.</small></ref> |
||
は乗法についてまた <math>R-\left\{0\right\}</math> の部分群である.<math>Z^+=Z\cup R^+</math> は <math>R</math> の部分半群であるが部分群ではない<ref> |
は乗法についてまた <math>R-\left\{0\right\}</math> の[[圏論/代数系/古典的代数系#部分群|部分群]]である.<math>Z^+=Z\cup R^+</math> は <math>R</math> の[[圏論/代数系/古典的代数系#部分半群|部分半群]]であるが[[圏論/代数系/古典的代数系#部分群|部分群]]ではない<ref> |
||
<small> |
<small> |
||
逆元が整数に収まらない.</small></ref>. |
[[圏論/代数系/古典的代数系#逆元|逆元]]が整数に収まらない.</small></ref>. |
||
可換でない半群の例として n 次の正方行列全体の集合がある.<ref> |
[[圏論/代数系/古典的代数系#可換|可換]]でない[[圏論/代数系/古典的代数系#半群|半群]]の例として n 次の正方行列全体の集合がある.<ref> |
||
<small> |
<small> |
||
行列 <math>A</math> の行列式が <math>0</math> であれば,<math>A</math> は逆行列を持たずしたがって逆元は持ちえない.</small></ref> |
行列 <math>A</math> の行列式が <math>0</math> であれば,<math>A</math> は逆行列を持たずしたがって[[圏論/代数系/古典的代数系#逆元|逆元]]は持ちえない.</small></ref> |
||
行列式が <math>0</math> でない <math>n</math> 次の正方行列全体の集合はその部分半群であるが,また群をつくる. |
行列式が <math>0</math> でない <math>n</math> 次の正方行列全体の集合はその[[圏論/代数系/古典的代数系#部分半群|部分半群]]であるが,また[[圏論/代数系/古典的代数系#群|群]]をつくる. |
||
行列式が <math>1</math> である <math>n</math> 次の行列全体の集合,<math>n</math> 次の直行行列全体の集合はまたその部分群となる. |
行列式が <math>1</math> である <math>n</math> 次の行列全体の集合,<math>n</math> 次の直行行列全体の集合はまたその[[圏論/代数系/古典的代数系#部分群|部分群]]となる. |
||
1.5 |
<div id="1.5"> |
||
<strong>1.5</strong> |
|||
一つの集合 <math>G</math> とその上の一つの演算を考察しているときには |
一つの集合 <math>G</math> とその上の一つの演算を考察しているときには |
||
<math>G</math> の二元 <math>a, b</math> からその演算で定まる元を単に <math>ab</math> で表せばよいが, |
<math>G</math> の二元 <math>a, b</math> からその演算で定まる元を単に <math>ab</math> で表せばよいが, |
2018年11月4日 (日) 02:55時点における版
1.1 集合 の元 の各対に対して G の第三の元(これを で表す)を対応させる演算が定義され, それが
- 結合律
- すべての元 に対して
をみたすとき, この演算は結合的であるといい, また は(この演算について)半群 であるという. 演算が結合的のときは上記の式の両辺は括弧を省略して単に と表してもよい. さらにこの演算が
- 可換律
- すべての元 に対して
をみたすとき, この演算, または半群 は可換であるという.
1.2 半群 の元 で のすべての元 に対して となるものをこの演算, または の単位元という. と が共に単位元ならば であるから, 単位元は存在すればただ一つである.[1]
単位元 を持つ半群 において, の元 に対して となるような元 が存在すればこれを の逆元という. このとき はまた の逆元となる. と が共に の逆元のとき [2] であるから の逆元は存在すればただ一つである.
半群 が単位元を持ち, また のすべての元が逆元を持つとき は群であるという.[3]
群の演算が可換であるとき は可換群, またはアーベル群という.
1.3 一般に が演算を持つ集合で がその部分集合のとき, のすべての元 について ならば, はこの演算について閉じているという. 特に が半群のとき は の部分半群という.
が群, がその空でない部分集合で, が の演算で閉じ, また の各元の逆元もまた に入っているとき(従って の単位元 もに入る[4] ), は の部分群という. 部分群はそれ自身ももとと同じ演算で群となっている.
1.4 例えば実数の集合 はその上の加法という演算について可換群である。 有理数の集合 , 整数の集合 はその部分群, はまた の部分群でもある. は乗法については半群ではあるが群ではない. [5] しかし から を除いた は乗法について群となる。 正の実数の集合 はその部分群である。 および [6] は乗法についてまた の部分群である. は の部分半群であるが部分群ではない[7]. 可換でない半群の例として n 次の正方行列全体の集合がある.[8] 行列式が でない 次の正方行列全体の集合はその部分半群であるが,また群をつくる. 行列式が である 次の行列全体の集合, 次の直行行列全体の集合はまたその部分群となる.
1.5 一つの集合 とその上の一つの演算を考察しているときには の二元 からその演算で定まる元を単に で表せばよいが, 上の加法と乗法のように一つまたはいくつかの集合の上で多くの演算を同時に取り扱うときには, それから定まる元は区別して表さなければならない. このため演算を表す記号を適当に,例えば などと定め,慣習的にそれを二元の間において, 例えば二元 から演算 で定まる元は というように表すことにする.
次に一つの集合 の上に二つの演算 と とが与えられている場合を考える.もし
- 左分配律
- すべての元 に対して
が成り立つとき演算 は に左から分配的であるといい,同様に
- 右分配律
- すべての元 に対して [9]
が成り立つとき演算 は に右から分配的であるという. が に同時に 左右から分配的のとき, は に(単に)分配的であるという.
1.6
二つの演算 と とを持つ集合 において,三つの条件
は について可換群である
は について半群である
は に分配的である
が満たされているとき は環であるといい,さらに演算 が可換のときには は可換環であるという.
1.7
二つ以上の元を持つ環 が についても群となることはできない.
それは についての単位元を , についての単位元を
で表せば,分配律から で,
すべての について となり, の逆元が存在できないからである.
しかしこの を除けば残りの集合が について群となることは可能で,
もし環 がさらに
は について群となる.
をみたすとき, は体であるという.
整数の集合 ,有理数の集合 ,実数の集合 は通常の加法 と乗法 について環であり,特に と は体でもある.
1.8 再び一つの演算を持った集合に帰り, は可換な半群とする. もしさらに が条件
- ベキ等律
- すべての元 について
を満たすとき, は半束であるという.
集合 上に二つの演算 があり, はどちらの演算についても半束で,さらに
- 吸収律
- すべての元 について
が満たされるとき, は束 であるという.さらに が に分配的, が に分配的のとき, は分配束であるという.
集合 の部分集合の全体の集合を で表し,これを のベキ集合という. は集合論的演算 (合併)と (共通部分)とで閉じているが, この二つの演算について分配束となっている.[10] 1.4 の , , はどれも二数 について とすればやはり分配束となる(, は それぞれ a, b, の大きいほう,小さいほうを表す).
officious
- ^
単位元の定義 にて を代入して
も単位元であるから
これに を代入して
以上2式より すなわち - ^ なんとなれば
- ^
群の公理に要請する条件としては かつ で十分である.
を の に代入して,
より
これと の辺々を比べて
すなわち と単位元の公式の残り半分が導出される.
また, を に代入して
a を右からかけて
先に導出した より
これと の辺々を比べて
と逆元の公式の残り半分が導出される. - ^ , において、 が の演算で閉じているのだから
- ^ を含むと の乗法についての単位元は存在せず、乗法に関する単位元を仮に としても乗法に関して の逆元は存在しない.これはすぐに後述される.
- ^ 「を正の有理数の集合」としてもよいが,すでに定義している を使用して定義したまでのこと.
- ^ 逆元が整数に収まらない.
- ^ 行列 の行列式が であれば, は逆行列を持たずしたがって逆元は持ちえない.
- ^ 以下慣例に従って は に優先して読み などの は省略する.
- ^ 一般的な集合演算を指している.集合演算の結果としてとりうる値(集合)をすべて集めてベキ集合と考える.