「圏論/代数系/古典的代数系」の版間の差分

出典: フリー教科書『ウィキブックス(Wikibooks)』
削除された内容 追加された内容
編集の要約なし
編集の要約なし
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 X</math>
</small></ref>
</small></ref>
),
),

2019年5月30日 (木) 04:19時点における版

1.1 集合 の元 の各対に対して の第三の元(これを で表す)を対応させる演算が定義され, それが

結合律
すべての元 に対して

をみたすとき, この演算は結合的であるといい, また は(この演算について)半群 であるという. 演算が結合的のときは上記の式の両辺は括弧を省略して単に  と表してもよい. さらにこの演算が

可換律
すべての元 に対して

をみたすとき, この演算, または半群 可換であるという.


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] この二つの演算について分配束となっている.[11] 1.4, , はどれも二数 について とすればやはり分配束となる ( , はそれぞれ の大きいほう,小さいほうを表す).

officious

  1. ^ 単位元の定義 にて を代入して

    単位元であるから
    これに を代入して

    以上2式より すなわち
  2. ^ なんとなれば
  3. ^ の公理に要請する条件としては かつ で十分である.
    に代入して,
    より

    これと の辺々を比べて
    すなわち 単位元の公式の残り半分が導出される.
    また, に代入して
    a を右からかけて
    先に導出した より
    これと の辺々を比べて
    逆元の公式の残り半分が導出される.
  4. ^ , において、 の演算で閉じているのだから
  5. ^ を含むと の乗法についての単位元は存在せず、乗法に関する単位元を仮に としても乗法に関して 逆元は存在しない.これはすぐに後述される.
  6. ^ を正の有理数の集合」としてもよいが,すでに定義している を使用して定義したまでのこと.
  7. ^ 逆元が整数に収まらない.
  8. ^ 行列 の行列式が であれば, は逆行列を持たずしたがって逆元は持ちえない.
  9. ^ 以下慣例に従って に優先して読み などの は省略する.
  10. ^ の部分集合同士の はやはり の部分集合であるし, の部分集合同士の もやはり の部分集合である,ということ.
  11. ^ 一般的な集合演算を指している.集合演算の結果としてとりうる値(集合)をすべて集めるとベキ集合と考える.