ベクトル空間から始める圏論入門 - 散れども切れぬ備忘録

題名の通りです。
備忘録なので多少雑に書きますが、できる限り丁寧に書きます。

まえがき
第一部ベクトル空間のことば
第二部圏論のことば

まえがき

この記事はざっくりと「線形代数の最初あたりでどんなことを学ぶのか知りたい」「圏論を始めてみたい」といった人に向けて書かれた物です。

第一部では体,ベクトル空間と線型写像等、基本になる概念の定義等を述べます。集合論の初歩(直積,商集合や全単射写像など)を知っていれば読めます。
第二部では圏や関手等、圏論の基本になる概念の定義等を述べます。圏論と言うと抽象度の高さが目立ちますが、ベクトル空間という簡単な対象を例に採用しているので安心して読んでください。
第三部として対称モノイダル閉圏(ベクトル空間の圏論的性質)のことを書くつもりだった名残で余計な定義や足りない概念がありますがご容赦ください。

第一部ベクトル空間のことば

この節では最終的にベクトル空間と線型写像を定義することを目標とします。
したがって、しばらく定義と例の羅列が続きます。演習問題がてら、例がちゃんと例になっていることを確かめる等してみてください。

アーベル群

[定義]
集合 $X$ に対し、写像 $X×X→X$ を演算と呼びます*1。
集合 $G$ 上の演算 $+\colon G×G→G$ が以下の条件を満たすとき、組 $(G,+)$ をアーベル群と呼びます:
$G$ の任意の元 $a,b,c$ に対して
① $(a+b)+c=a+(b+c)$
②単位元と呼ばれる元 $0∈G$ が在って、 $0+a=a=a+0$
③ $a$ の逆元と呼ばれる元 $-a∈G$ が在って、 $a+(-a)=0=-a+a$
④ $a+b=b+a$
アーベル群の演算は、しばしば+と表され加法と呼ばれます。
また、しばしば $(G,+)$ を単に $G$ と表します。

(例)
(1)整数全体の集合 $ℤ$ と足し算はアーベル群を成します。
(2)1のn乗根全体の集合 $Z_n=\{ζ_n=cos(2πk/n)+isin(2πk/n);k=0,...,n\}$ と掛け算はアーベル群を成します。
(3)実数全体の集合 $ℝ$ と足し算はアーベル群を成します。
また、 $ℝ$ から0を除いた集合と掛け算もアーベル群*2を成します。

[定義]
2つのアーベル群 $(G,+_G),(H,+_H)$ に対して、写像 $f\colon G→H$ が次を満たすとき、 $f$ を群準同型写像(あるいは単に準同型)と呼びます:
任意の $G$ の元 $g,g'$ に対し
$f(g+_Gg')=f(g)+_Hf(g')$

(例)
(1) $f\colon ℤ→ℝ$ を $f(n)=n$ と定めるとこれは準同型になります。
(2) $f_k\colon ℤ→ℤ$ を $f_k(n)=kn$ (kは整数)とするとこれは準同型になります。
(3)任意のアーベル群 $G$ に対して $f\colon G→G$ を $f(g)=g$ とするとこれは準同型になります。(恒等写像と呼びます。)

[定義]
準同型 $f\colon G→H$ に対して、準同型 $g\colon H→G$ が存在し $f∘g,g∘f$ が恒等写像であるとき、 $f$ を同型写像と呼びます。
また、同型 $f\colon G→H$ が存在するとき、 $G$ と $H$ は同型であるといい、 $G≅H$ と表します。

(例)
集合 $\{0,...,n-1\}$ を考え、mod nの足し算を演算としてアーベル群とみなし、これを $ℤ/nℤ$ と表します。
このとき、 $ℤ/nℤ$ と $Z_n$ は同型です。

アーベル群の演算

[定理]
2つのアーベル群 $(G,+_G),(H,+_H)$ の直積 $G×H$ にもアーベル群の構造が入ります:
$(g,h)+_{G×H}(g',h')=(g+_Gg',h+_Hh')$ とすれば
$(G×H,+_{G×H})$ はアーベル群になります。
[証明]
読者への演習問題とします。■

アーベル群の直積 $G×H$ があると、準同型 $p_1\colon G×H→G,p_2\colon G×H→H$ が $p_1( (g,h) )=g,p_2( (g,h) )=h$ によって定まります。この準同型を射影と呼びます。

アーベル群 $G$ の部分集合 $H$ があり、これが $G$ の上の演算についてアーベル群になっているとき、これを $G$ の部分アーベル群または単に部分群と呼びます。
(例)
(1) $nℤ=\{nk;k∈ℤ\}$ とすると、これはアーベル群 $ℤ$ の部分群になります。
(2)一般に、アーベル群の直積 $G×H$ に対して $G×\{0\}$ は部分群になります。また、 $G×\{0\}$ は $G$ と同型なのでしばしば同一視されます。

直積の双対*3として直和も定義できます。
[定義]
アーベル群 $G,H$ に対して $(g,h)∈G×H$ を $g+h$ と"形式的に"和の形で表すことにします。和なので無限和は許されません。つまり、 $Σ_ig_i$ のうち $g_i$ は有限個を除いて0とします。 $Σ_ig_i$ の形で表される元全体の集合を $G\oplus H$ と表し、 $G,H$ の直和と呼びます。
(例)
有限個のアーベル群の直積と直和は一致しますが、無限個になるとそうとは限りません。
例えば、ℤのN(自然数全体の集合(の濃度) )個の直積 $ℤ^N$ と直和 $ℤ^{(N)}$ を見てみましょう。前者の元はただの整数の組なので制約はありませんが、後者は有限個を除いて0でなくてはなりませんから、例えば(1,2,...)は $ℤ^{(N)}$ に属しません。
また直和は直積の部分群になります。

アーベル群の直和 $G⊕︎H$ があると、準同型 $i_1\colon G→G⊕︎H,i_2\colon H→G⊕︎H$ が $i_1(g)=(g,h),i_2(h)=(g,h)$ によって定まります。この準同型を入射と呼びます。

アーベル群 $G$ とその部分群 $H$ に対して、二項関係 $\sim$ を $a\sim b⇔a-b∈H$ と定めるとこれは同値関係になります(確かめてみてください)。
$G$ をこの同値関係〜で割った同値類*4の集合(商集合) $G/\sim$ には $\bar{a}+_{G/ \sim}\bar{b}=\overline{a+b}$ として演算が入り、特にアーベル群になります(確かめてみてください)。
こうしてできたアーベル群 $G/\sim$ を $G/H$ と表し、 $G$ の $H$ による商アーベル群または単に商群と呼びます。
(例)
$ℤ$ とその部分群 $nℤ$ を考えます。
同値関係〜は「mod n」のことに他なりません。
また、 $a∈ℤ$ の同値類は $\bar{a}=a+nℤ=\{a+nk;k∈ℤ\}$ であり、商群 $ℤ/nℤ$ とは先の例に出てきたアーベル群 $ℤ/nℤ$ と全く同じものです。

商群 $G/H$ に対して、 $G$ からの写像 $π\colon G→G/H\colon g⟼\bar{g}$ を定めることができ、さらにこれが準同型になります。
これを(商群に対する)自然な準同型と呼びます。

体

アーベル群 $(K,+)$ に対して、
もう1つの演算 $・\colon K×K→K$ があり、 $K^×=\{a∈K;a≠0\}$ と･の組 $(K^×,・)$ がアーベル群になり*5、これらが分配法則を満たす*6とき、 $(K,+,・)$ を体と呼びます。また、しばしば $(K,+,・)$ を単にKとも表します。
(例)
ℚやℝは体になります。
ℤは体にはなりませんが、pが素数のとき $ℤ/pℤ$ は体になります。

ベクトル空間

以下 $K$ を体とします。分かりにくければℝをイメージしてください。
[定義]
アーベル群 $(M,+_M)$ と体 $(K,+_K,・_K)$ に対してスカラー倍と呼ばれる写像 $*\colon K×M→M$ があり、これが任意の $m,n∈M,a,b∈K$ に対して次の条件を全て満たすとき、アーベル群Mとスカラー倍の組 $(M,*)$ をK-ベクトル空間と呼びます:
･ $a*(n+_Mm)=(a*n)+_M(a*m)$
･ $(a・_Kb)*m=a*(b*m)$
･ $(a+_Kb)*m=(a*m)+_M(b*m)$
･ $1*m=m$
これらは演算の記号を省略すると次のようにも書けます:
･ $a(n+m)=an+am$
･ $(ab)m=a(bm)$
･ $(a+b)m=am+bm$
･ $1m=m$
K-ベクトル空間 $(M,*)$ を単に $M$ と表したり、体Kが明らかな場合には単にベクトル空間と言ったりもします。
(例)
n個の実数の組 $(a_1,...,a_n)$ をn次ベクトルと呼ぶことにします。n次ベクトル全体の集合 $ℝ^n$ は $(a_1,...,a_n)+(b_1,...,b_n)=(a_1+b_1,...,a_n+b_n)$ とするとアーベル群になりますが、特にスカラー倍を $r*(a_1,...,a_n)=(ra_1,...,ra_n)$ で定義するとℝ-ベクトル空間になります。
これは数学Bで学ぶ「ベクトル(大きさを持った有向線分)」と全く同じものです。

[定義]
$V,W$ をK-ベクトル空間とします。
写像 $f\colon V→W$ が次を満たすとき、fをK-線型写像と呼びます:
･fはアーベル群の準同型写像である
･fはスカラー倍を保つ。すなわち、 $f(a*_Vm)=a*_Wf(m)$
体Kが明らかな場合にはK-線型写像を単に線型写像と呼びます。
(例)
ℂを複素数全体の集合とします。これはℝ-ベクトル空間です。
写像 $f\colon ℝ^2→ℂ$ を $f( (a_1,a_2) )=a_1+a_2i$ と定めるとこれはℝ-線型写像になります。

[定義]
線型写像 $f\colon V→W$ に対して、線型写像 $g\colon W→V$ が存在し $f∘g,g∘f$ が恒等写像であるとき、 $f$ を同型写像と呼びます。
また、同型 $f\colon V→W$ が存在するとき、 $V$ と $W$ は同型であるといい、 $V≅W$ と表します。
(例)
先の線型写像は同型写像でもあります。実際に、 $g\colon a+bi⟼(a,b)$ がfの逆を与えます。

ベクトル空間の演算

[定理]
2つのK-ベクトル空間 $V,W$ の直積 $V×W$ にもK-ベクトル空間の構造が入ります:
アーベル群の直積なのでアーベル群になり、またスカラー倍を $a*_{V×W}(v,w)=(a*_Vv,a*_Ww)$ と定めるとベクトル空間にもなります。
[証明]
読者への演習問題とします。■

ベクトル空間の直積 $V×W$ があると、線型写像 $p_1\colon V×W→V,p_2\colon V×W→W$ が $p_1( (v,w) )=v,p_2( (v,w) )=w$ によって定まります。この線型写像を射影と呼びます。

ベクトル空間 $V$ の部分集合 $W$ があり、これが $V$ の上の演算についてベクトル空間になっていて、さらに $KW=\{kw;k∈K,w∈W\}⊂W$ を満たすとき、これを $V$ の部分空間と呼びます。
(例)
(1)ℝはℚ-ベクトル空間ですが、ℚはℝの部分空間になります。
(2)一般に、アーベル群の直積 $V×W$ に対して $V×\{0\}$ は部分空間になります。また、 $V×\{0\}$ は $V$ と同型なのでしばしば同一視されます。

ベクトル空間の直積がベクトル空間になるように、ベクトル空間の直和もまたベクトル空間になります。スカラー倍も同様に定義すればよいです。

ベクトル空間の商加群 $V/W$ にもベクトル空間の構造が入ります:
同値類 $\bar{v} = v+W$ に対して
スカラー倍を $a*_{V/W}\bar{v}=\overline{a*_Vv}$ と定めればよいです。
これを商ベクトル空間、または単に商空間と呼びます。
自然な準同型も商群の時と同様に定義されます。

ベクトル空間のテンソル積

[定義]
ベクトル空間 $V$ の部分集合 $B$ を含む最小の $V$ の部分空間を $< B >$ と書き、 $B$ によって生成される部分空間と呼びます。
(例)
$ℝ^3$ の部分集合 $\{(1,0,0),(0,1,0)\}$ によって生成される部分空間は $ℝ^2$ です。

(蛇足)
*7

[定義]
$K^{(V×W)}$ を集合 $V×W$ で生成されるK-ベクトル空間*8とし、 $t$ を適当な $v_1, v_2 ∈ V, w_1, w_2 ∈ W, c ∈ K$ を用いて
$(v_1, w_1) + (v_2, w_1) − (v_1 + v_2, w_1)$ ,
$(v_1, w_1) + (v_1, w_2) − (v_1, w_1 + w_2)$ ,
$c(v_1, w_1) − (cv_1, w_1)$ ,
$c(v_1, w_1) − (v_1, cw_1)$
の何れかの形に書けるの元全体から生成される $K^{(V×W)}$ の部分空間とします。
商空間 $K^{(V×W)}/t$ を $V⊗︎_KW$ と表し、VとWのK上のテンソル積と呼びます。
Kが明らかな場合には略することがあります。
また、 $(v,w)∈V×W$ の同値類を $v⊗︎w∈V⊗︎W$ と表します。
(例)
(1) $ℝ^2$ はℝ-ベクトル空間でした。
その基底は(1,0),(0,1)なので、 $ℝ^2⊗︎_ℝℝ^2$ の基底は(1,0)⊗︎(1,0),(1,0)⊗︎(0,1),(0,1)⊗︎(1,0),(0,1)⊗︎(0,1)になります。つまり $ℝ^2⊗︎_ℝℝ^2≅ℝ^4$ となります。
より一般に、 $K^n⊗︎_KK^m≅K^{nm}$ が成り立ちます。
(2)ℂはℝ-ベクトル空間でした。
ℝ-ベクトル空間 $V$ とℂをテンソル積にしたベクトル空間 $V⊗︎_ℝℂ$ をしばしば $V_C$ と表し、ℝ-ベクトル空間Vの複素化*9と呼びます。
$V_C$ は ℂからのスカラー倍を $α*_ℂ(v⊗︎β)=v⊗︎(αβ)$ で定めるとℂ-ベクトル空間とみなすこともできます。
より一般に、K-ベクトル空間 $V$ と Kの拡大体*10K'について、K'をK-ベクトル空間だと思って、K上でVとテンソル積を取ったもの $V_{K'}=V⊗︎_KK'$ を係数拡大と呼びます。

テンソル積は次の性質を持ちます:
[定理]
$X,Y,Z$ をK-ベクトル空間、 $f\colon X×Y→Z$ をK-双線型写像 *11とします。
このとき、K-双線型写像 $g\colon X×Y→X⊗︎Y$ があり、
さらに $f=g∘h$ を満たすK-線型写像 $h\colon X⊗︎Y→Z$ がただ1つ存在します。
これをテンソル積 $( (X⊗︎Y),g)$ の普遍性といいます。
[証明]
まずgを構成しましょう。
$i\colon X×Y→K^{(X×Y)}\colon (x,y)⟼x⊗︎y$
という線型写像があります(埋込みと呼ぶことにします)。
また、商空間の自然な準同型から $π\colon K^{(X×Y)}→K^{(X×Y)}/t=X⊗︎Y$ を得ます。
これらの合成をgとします。つまりg=π∘iです。
gは $g(x,y)=x⊗︎y$ という写像で、特に線型写像です。
つぎにhを構成します。
$f\colon X×Y→Z$ は $f'\colon K^{(X×Y)}→Z$ に"拡張"できます*12。
このとき、tの基底(生成元)を取ってf'で写すと0になります。
例えば、 $(x+x')⊗︎y-x⊗︎y-x'⊗︎y∈t$ を取ると、
$f'( (x+x')⊗︎-x⊗︎y-x'⊗︎y)=f(x+x',y)-f(x,y)-f(x',y)=0$ となります。(他の場合についても確かめてみてください。)
よって、tのどの元もf'で写せば0になります。
故に、 $h(x⊗︎y)=f(x,y)$ を満たす $h\colon K^{(X×Y)}/t=X⊗︎Y→Z$ を得ることができます*13。
このhはfに依って決まるので、1つのfに対してただ1つだけ存在します。
以上でテンソル積の普遍性は示せました。
■

(例)
Kを体として、多項式環 $K[x],K[y]$ のテンソル積 $K[x]⊗︎_KK[y]$ を考えます。
写像 $μ\colon K[x] × K[y] → K[x,y], (f(x),g(y) )⟼f(x)g(y)$
は K-双線型なので, テンソル積の普遍性によってK-線型写像
$φ\colon K[x] ⊗︎_K K[y] → K[x,y]; f(x) ⊗ g(y) ⟼ f(x)g(y)$
が存在します。
一方、K-線型写像
$ψ\colon K[x,y] → K[x] ⊗_K K[y];$
$∑_{i,j} a_{i\ j} X^iY^j ⟼ ∑_{i,j} a_{i\ j} X^i ⊗ Y^j$
を考えると、 $ψ∘φ,φ∘ψ$ はどちらも恒等写像です。
したがって $K[x]⊗︎_KK[y]≅K[x,y]$ です。

第二部圏論のことば

圏

この節では圏論の基本的な知識を紹介し、次の節に備えます。米田の補題や極限等の少し進んだ圏論は紹介しませんので、それらを知りたい場合は『ベーシック圏論』や壱大整域等をご覧下さい。

さて、k-ベクトル空間全体の集まりを $Vect_k$ と表すことにすると、これは以下の性質を満たします:

･ $Vect_k$ の元はk-ベクトル空間である。
･ $Vect_k$ の2つの元 $V,W$ について、これらの間のk-線形写像を集めた集合 $Hom_k(V,V')$ がある。
･2つのk-線形写像 $f∈Hom_k(V,V'),g∈Hom_k(V',V'')$ があったとき、これらを合成してk-線形写像 $g∘f∈Hom_k(V,V'')$ を得ることができる。
･また、k-線形写像の合成は結合法則を満たす。
･全てのk-ベクトル空間 $V$ に対して恒等写像と呼ばれるk-線形写像 $id_V∈Hom_k(V,V)$ があって、これが合成に関する単位元となる。つまり、 $f∈Hom_k(V,V')$ に対して $f∘id_V=f=id_{V'}∘f$ となる。

この性質を抽象化すると圏という概念が得られます。
$C$ が圏であるために満たすべき公理は以下の通りです:
･ $C$ は $ObC,MorC$ からなる。( $ObC$ の元を対象、 $MorC$ の元を射と呼ぶ。)
･2つの対象 $a,b$ に対して、その間の射を集めた集合 $Hom_C(a,b)$ がある。(Hom集合と呼ぶ。)
･2つの射 $f∈Hom_C(a,b),g∈Hom_C(b,c)$ があるとき、これらを"合成"して $g∘f∈Hom_C(a,c)$ を得ることができる。
･また、射は合成に関して結合法則を満たす。
･全ての対象 $a$ に対して恒等射と呼ばれる射 $id_a∈Hom_C(a,a)$ があって、これが合成に関する単位元となる。つまり、 $f∈Hom_C(a,b)$ に対して $f∘id_a=f=id_b∘f$ となる。

(例)
(1)対象も射も持たない圏が存在します。これを空圏と呼び0や∅と表します。
(2)対象も射もただ一つの圏、つまり $ObC=\{a\},MorC=\{id_a\}$ を満たす圏 $C$ が存在します。これを1と表します。
(3)既に見た通り、 $Vect_k$ は圏になります。
(4)対象が1つだけの圏(のHom集合)は、アーベル群の条件のうち「逆元が存在する」「可換(ab=ba)である」を満たしません。これをモノイドといいます。

様々な圏･射

[定義]
圏 $C$ の射 $f\colon a→b$ に対して射 $g\colon b→a$ があり、 $f∘g,g∘f$ がどちらも恒等射になるとき、 $f$ を同型射と呼び、aとbは同型であるといいます。
(例)
(1) $Vect_k$ において同型射と同型写像は一致します。
(2)対象が1つで射が全て同型射である圏(のHom集合)は、アーベル群の条件のうち「可換である」を満たしません。これを群といいます。また、対象が1つとは限らないが射は全て同型射である圏は亜群(groupoid)と呼ばれます。

[定義]
圏 $C$ に対し、その反対圏と呼ばれる圏 $C^{op}$ を次のように定義します:
･ $C^{op}$ の対象は $C$ の対象である。つまり $Ob(C^{op})=Ob(C)$ 。 $a∈Ob(C)$ を反対圏の対象とみなすとき、しばしば $a^{op}$ とも書く。
･ $Hom_{C^{op}}(a^{op},b^{op})=Hom_C(b,a)$ とする。
･射の合成や恒等射も先の条件に合わせて"反対"に定義する。例えば反対圏における射の合成 $∘^{op}$ は $f^{op}∘^{op}g^{op}=g∘f$ とする。

反対圏は圏になります(確かめてみてください)。

圏 $C,D$ に対して、その直積圏 $C×D$ を定義することができます。
･ $Ob(C×D)=ObC×ObD$ とする。
･ $Hom_{C×D}( (c,d),(c',d') )=Hom_C(c,c')×Hom_D(d,d')$ とする。
･射の合成は成分ごとに行う。

これも圏になります(確かめてみてください)。

関手

今までは対象や対象と対象の間の射を考えてきましたが、圏と圏の間にも射を考えることができます。
この射は関手と呼ばれます。定義は以下の通りです:
[定義]
圏C,Dに対して $F\colon C→D$ が関手であるとは、
･ $c∈C$ に対して $F(c)∈D$
･ $f\colon a→b\ (in\ MorC)$ に対して $F(f)\colon F(a)→F(b)\ (in\ MorD)$
･ $F(g∘f)=F(g)∘F(f)$
･ $F(id_c)=id_{F(c)}$
を満たすことです。

特に、反対圏から/への関手を反変関手、直積圏からの関手を双関手といいます。

対象の間の同型が定義されたように、圏にも同型が定義されます:
[定義]
圏 $F\colon C→D$ が同型関手であるとは、関手 $G\colon D→C$ があって $F∘G,G∘F$ が恒等関手になることです。またこのとき、 $C,D$ は圏同型であるといいます。

自然変換

さらに関手と関手の間にも射が定義されます。

[定義]
圏 $C,D$ とその間の関手 $F,G\colon C→D$ に対して、 $θ\colon F⇒G$ が自然変換であるとは、
$θ$ は圏 $C$ の対象で添字付けられた射の族 $θ=\{θ_a\colon Fa→Ga\}_{a∈C}$ であって、任意の射 $f\colon a→b\ (in\ MorC)$ に対して自然性の公理 $Gf∘θ_a=θ_b∘Ff$ を満たすことをいいます。
また、自然変換 $θ$ に対して $θ_a$ を成分と呼びます。

自然変換を用いて関手の同型を定義することもできます。
[定義]
関手 $F,G\colon C→D$ に対して自然変換 $θ\colon F⇒G$ が同型であるとは、自然変換 $τ\colon G⇒F$ があって $θ∘τ,τ∘θ$ がどちらも恒等自然変換であることをいう。またこのとき、関手 $F,G$ は自然同型であるという。

この自然同型には次のようなわかりやすい(扱いやすい)特徴付けがあります。
[定理]
自然変換が同型であることとその成分が全て同型射であることは同値である。
(証明は略します。)

圏論をやるとわかるのですが、実は圏同型という条件は強すぎてあまり使い物になりません(というのも、対象と射両方について逆を与えなければいけないからです)。これを緩めた同値関係として「圏同値」とよばれるものがあります。
[定義]
圏 $C,D$ が圏同値であるとは、関手 $F\colon C→D,G\colon D→C$ があり、 $F∘G,G∘F$ が恒等関手に自然同型であることをいいます。
また、圏同値が反変関手で与えられているとき、圏同値を反変圏同値や双対と呼ぶことがあります。

さらにこれを弱めた関係(もはや同値関係ではありません)として随伴というのもあります。いくつか定義がありますが、ここでは最も簡単と思われるものを紹介するのみとします。
[定義]
関手 $F\colon C→D,G\colon D→C$ が随伴(特にFが左随伴でGが右随伴)であるとは、
$Hom_D(Fa,b)≅Hom_C(a,Gb)$ が自然に同型となる、
つまり、双関手の自然同型 $Hom_D(F-,-)≅Hom_C(-,G-)$ が成り立つことをいいます。

(例)
$V$ をn次元k-ベクトル空間とすると
$Hom_{Set}(n,W)≅Hom_{Vect_k}(V,W)$ が自然同型になるので、
自然数nに対してn次元k-ベクトル空間を対応させる関手とベクトル空間をただの集合だと思う(構造を忘れる)対応の関手は随伴になります。特に、前者を自由関手、後者を忘却関手といいます。

圏論入門の記事はこれで終わりです。
ここまでの内容が理解できていると、例えば他の記事で紹介している対称モノイダル圏や閉モノイダル圏などの概念が理解できるようになります。
後半は随分杜撰になってしまった気がしますが、ここまで読んで頂き有難うございました。

*1:f:X×X→Xが演算であるとき、f(a,b)はしばしばafbと書かれることに注意してください。

*2:単位元は1になります。

*3:圏論の用語です。よくわからなければ"対になる概念"という認識で構いません。

*4: $a$ の同値類を $\bar{a}$ と表すことにします。

*5:しばしば単位元は1、逆元はa⁻︎¹︎や1/aと表されます。

*6:任意の元 $a,b,c∈K$ に対し $a・(b+c)=a・b+a・c$ を満たすということ。これは・が双線形である( $a・-\colon K→K$ と $-・b\colon K→K$ がどちらもアーベル群準同型写像である)ということと同値です。

*7:< B >に対してBを生成系と呼びます。生成系が有限集合であるとき、< B >は有限生成であるといいます。一次独立な生成系を基底と呼びます。基底の数は基底の取り方に依らず一定です。この数をベクトル空間の次元といいます。全てのベクトル空間は基底を持ちます(ZFC)。基底を持つベクトル空間を自由加群と呼びます(本来は環上の加群に対する用語です)。全てのベクトル空間は自由加群です。自由加群であることとKのいくつかの直和で表されることは同じです。

*8:つまり、 $K^{(V×W)}=\{Σ_i(a_i(v_i⊗︎w_i);a_i∈K,v_i∈V,w_i∈W\}$ で、このベクトル空間の基底は $v⊗︎w$ という形の元(全体)です。