logo

同型写像のスミス標準形 📂位相データ分析

同型写像のスミス標準形

要旨 1

自由アーベル群GGGG'は、それぞれ基底a1,,ana_{1} , \cdots , a_{n}a1,,ama_{1}' , \cdots , a_{m}'を持つとする。関数f:GGf : G \to G'準同型である場合、次を満たす唯一の整数の集合{λij}Z\left\{ \lambda_{ij} \right\} \subset \mathbb{Z}が存在する。 f(aj)=i=1mλijai f \left( a_{j} \right) = \sum_{i=1}^{m} \lambda_{ij} a_{i}' この時、行列(λij)Zm×n\left( \lambda_{ij} \right) \in \mathbb{Z}^{m \times n}を(GGGG'の基底に関する)ffの行列と呼ぶ。

自由アーベル群GGGG'のランクがそれぞれn,mn,mであり、f:GGf : G \to G'が準同型である場合、次のような行列を持つ準同型ggが存在する。 [d10000000000dr000000000000]Zm×n \begin{bmatrix} d_{1} & 0 & 0 & 0 & \cdots & 0 \\ 0 & \ddots & 0 & 0 & \cdots & 0 \\ 0 & 0 & d_{r} & 0 & \cdots & 0 \\ 0 & 0 & 0 & 0 & \cdots & 0 \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & 0 & \cdots & 0 \end{bmatrix} \in \mathbb{Z}^{m \times n} ここで、d1,,drNd_{1} , \cdots, d_{r} \in \mathbb{N}であり、d1drd_{1} \mid \cdots \mid d_{r}、つまりdkd_{k}dk+1d_{k+1}の約数divisorでなければならない。

説明

定理で言及された行列は、いわゆるスミス標準形であり、ffλij\lambda_{ij}が与えられた場合、d1,,drd_{1} , \cdots, d_{r}ガウスの消去法を用いて求められ、それ自体がλij\lambda_{ij}線形結合である。スミス標準形を得る過程の行操作はGG'の基底に、列操作はGGの基底に影響を与える。

この定理は、実質的に二つの自由群G,GG, G'を考える際、すべてのλij\lambda_{ij}を見ることなく、rmin(m,n)r \le \min \left( m,n \right)個のd1,,drd_{1} , \cdots , d_{r}だけで十分であり、これらはGGからGG'への情報を最も簡潔にまとめたものと見ることができる。

f(a)=x+yzf(b)=xy+z \begin{align*} f(a) =& x + y - z \\ f(b) =& x - y + z \end{align*} 例えば、f:F[a,b]F[x,y,z]f: F[a,b] \to F[x,y,z]が上記のように定義されている場合、それは自然に準同型であり、ffの行列は次の通りである。 [111111][100020] \begin{bmatrix} 1 & 1 & -1 \\ 1 & -1 & 1 \end{bmatrix} \sim \begin{bmatrix} 1 & 0 & 0 \\ 0 & 2 & 0 \end{bmatrix} 右辺は左辺のスミス標準形である。準同型の行列が左辺のように何でもよい形ではなく、いったんスミス標準形になれば、その形は一意である。

定理

GGGG'の任意の基底を選び、任意の準同型f(aj)=i=1mλijaif \left( a_{j} \right) = \sum_{i=1}^{m} \lambda_{ij} a_{i}'を定義する。ffの行列(λij)\left( \lambda_{ij} \right)は、整数からなる行列の集合Zm×n\mathbb{Z}^{m \times n}に属する。

スミス標準形計算アルゴリズムRR主理想整域である場合、すべての行列ARm×nA \in R^{m \times n}に対して、スミス標準形が一意に存在する。

Z\mathbb{Z}主理想整域であるため、行列(λij)\left( \lambda_{ij} \right)に対して、rr個の対角成分d1,,drd_{1} , \cdots , d_{r}を除くすべての成分が00であるスミス標準形が存在する。


  1. Munkres. (1984). Elements of Algebraic Topology: p55. ↩︎