こんにちは.
ぱいです.
先週, オンラインの整数論ゼミで群の基礎的な概念についての発表をしました.
その発表の中で, モジュラー群 の生成系の話をしました.
は以下の 2 種類の行列で生成されます.
\begin{align} \mathrm{SL}(2,\mathbb{Z}) = \left\langle \left( \begin{array}{c} 1 & 1 \\ 0 & 1 \end{array} \right), \left( \begin{array}{c} 0 & -1 \\ 1 & 0 \end{array} \right) \right\rangle \end{align}ゼミで, この式を証明抜きで紹介しました.
せっかくなので, ここに証明を書いておきます.
以下, 行列 をそれぞれ
\begin{align} S := \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}, \quad T := \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \end{align}とおきます.
僕の知っている証明方法は, 以下の 2 種類です.
① から への左作用を通して, Euclid の互除法を使い初等代数的に証明する方法.
② から上半平面 への左作用を通して, 幾何的に証明する方法.
両方書くと長くなるので, 今日は ① の方だけ書きます.
② の方はまた次回書きます.
目次
〈S, T〉の群構造や作用の観察
まず, の生成元 , の位数を見てみましょう.
は位数 の元で, 巾 は
\begin{align} T^{n} = \begin{pmatrix} 1 & n \\ 0 & 1 \end{pmatrix} \quad ( \forall, n \in \mathbb{Z} ) \end{align}となります.
は位数 の元で, 巾 は以下の表のとおりになります.
そこで, , をそれぞれ
\begin{align} S^{+} = S, \quad S^{-} := S^{3} = -S \end{align}とおいておきます.
から への自然な左作用を考えましょう.
つまり, 任意の と に対して, を通常の行列の積 で定義します.
に や をそれぞれ作用させると,
\begin{align} T^{n} \cdot X &= \begin{pmatrix} x+nz & y+nw \\ z & w \end{pmatrix}, \\ S^{\pm} \cdot X &= \begin{pmatrix} \pm z & \pm w \\ \mp x & \mp y \end{pmatrix} \end{align}となります.
よって, に を作用させれば
\begin{align} S^{\pm} T^{n} \cdot X= \begin{pmatrix} \pm z & \pm w \\ \mp (x+nz) & \mp (y+nw) \end{pmatrix} \end{align}となります.
行列の第 1 列 に注目してみましょう.
符号の違いさえ無視すれば は Euclid の互除法の逆向きの操作をしていることが分かります.
(cf. 互除法: .)
したがって, 群の作用が可逆であることを踏まえれば, 作用 を通じて Euclid の互除法を辿れることが分かります!
SL(2,Z) = 〈S, T〉 の証明
では, 実際に Euclid の互除法を辿りながら を示しましょう.
を任意に取ります.
や のときは簡単なので, 以下, かつ のときだけ考えます.
まず, 互除法により, 以下の等式たちをみたすような整数列 , を用意しておきます:
\begin{align} & x = zq_{1}+r_{1}, & 0 \leq r_{1} < |z|, \\ & z = r_{1}q_{2}+r_{2}, & 0 \leq r_{2} < r_{1}, \\ & r_{1} = r_{2}q_{3}+r_{3}, & 0 \leq r_{3} < r_{2}, \\ & \qquad \vdots \end{align}
より なので, ある で , となり, 互除法は止まります.
この一連の操作を の動きで追うと, 以下のようになります.
(あとで群作用 と見比べやすいよう, 変数をわざと縦に並べて書いておきます.)
\begin{align} \gcd \begin{pmatrix} x \\ z \end{pmatrix} = \gcd \begin{pmatrix} z \\ r_{1} \end{pmatrix} = \gcd \begin{pmatrix} r_{1} \\ r_{2} \end{pmatrix} = \cdots = \gcd \begin{pmatrix} r_{n-1} \\ 1 \end{pmatrix} = 1 \end{align}
この最大公約数の一連の動きを群作用 で表してみましょう.
以下, 「 」は「 に左から を作用させて を得ること」つまり「 」を意味する記号とします.
また, 行列の第 2 列は重要でないため で表すことにします.
最大公約数 の動きは, 群作用で以下のように表せます.
\begin{align} \begin{pmatrix} x & y \\ z & w \end{pmatrix} \stackrel{ S^{-}T^{-q_{1}} }{\longrightarrow} \begin{pmatrix} z & * \\ -r_{1} & * \end{pmatrix} \stackrel{ S^{+}T^{q_{2}} }{\longrightarrow} \begin{pmatrix} r_{1} & * \\ -r_{2} & * \end{pmatrix} \to \cdots \to \begin{pmatrix} r_{n-1} & * \\ \pm 1 & * \end{pmatrix} \stackrel{ S^{\pm}T^{\pm r_{n-1}} }{\longrightarrow} \begin{pmatrix} \pm 1 & 0 \\ 0 & \pm 1 \end{pmatrix}\end{align}
つまり,
\begin{align} S^{\pm 1} T^{\pm r_{n-1}} \cdots S^{+} T^{q_{2}} S^{-} T^{-q_{1}} X = \begin{pmatrix} \pm 1 & 0 \\ 0 & \pm 1 \end{pmatrix} \end{align}となります.
ここで, 最後の は または と表せます.
よって, となり, が分かります.
は明らかなので, 以上から
\begin{align} \mathrm{SL}(2,\mathbb{Z}) = \langle S, T \rangle \end{align}が示せました!
最後まで読んでいただきありがとうございました!
【予告】
次回の記事では, から上半平面への作用を通して の幾何的な証明方法を紹介します.