表示が違っても同じ群〜Tietze 変換で結ぶ 4 つの操作

$⟨a,b\mid aba=bab⟩$ と $⟨x,y\mid x^2=y^3⟩$ は、同じ群の表示です。生成元の個数も関係式の形も違うのに、定める群は一致します。

表示から表示へ移る操作が 4 つあり、それだけで同型な表示のあいだを行き来できる。Tietze が 1908 年に導入したものです^[3]。

4 つの操作

$F_S$ を $S$ 上の自由群、$N_D$ を $D$ の正規閉包とします。表示 $⟨S\mid D⟩$ に対する操作は次の 4 つです^[1]。

前の 2 つは関係式だけを動かし、後の 2 つは生成元と関係式を同時に 1 つずつ動かします。

群が変わらない理由

1 番目は $N_{D\cup E}=N_D$ から出ます。$E\subseteq N_D$ なら $E$ を足しても正規閉包は増えず、商が同じになる^[2]。

3 番目には少し手が要ります。$w\in F_S$、$y\notin S$ として、次の 2 本の準同型を作ります^[2]。

$$f:⟨S\cup \{y\}\mid D\cup \{y=w\}⟩\to ⟨S\mid D⟩,g:⟨S\mid D⟩\to ⟨S\cup \{y\}\mid D\cup \{y=w\}⟩$$

$f$ は $S$ の元を自分自身へ、$y$ を $w$ へ送ります。$D$ の関係式は左辺に入っているので保たれ、$y=w$ は $w=w$ に落ちる。だから well-defined です。

$g$ は $S$ の元を自分自身へ送るだけ。こちらも $D$ が両方に入っているので通ります。

合成を見ます。$f\circ g$ は $S$ 上で恒等。$g\circ f$ は $S$ 上で恒等で、$y$ については $g(f(y))=g(w)=w=y$ となる。最後の等号は関係式 $y=w$ そのものです。

生成元の上で恒等なら準同型として恒等なので、$f$ と $g$ は互いに逆。同型が示せました^[2]。

例：対称群を二面体群の形に直す

$S_3$ の表示 $⟨x,y\mid x^2,y^2,(xy{)}^3⟩$ から出発します^[2]。

$(yx{)}^3=x^{-1}(xy{)}^{3}x$ なので $(yx{)}^3$ は $(xy{)}^3$ の共役で、足せる関係式です。足したうえで $(xy{)}^3$ のほうを消すと $⟨x,y\mid x^2,y^2,(yx{)}^3⟩$ になる。

次に生成元 $z$ を $z=yx$ で導入します。すると $z^3=(yx{)}^3$ で、これは関係式から導ける。

$yz=y\cdot yx=y^{2}x=x$ なので $x=yz$ も導ける。$(yz{)}^2=x^2$ も同じ。3 本とも足してよい関係式です。

足したあとは $x^2$ と $(yx{)}^3$ が余分になるので消します。さらに $x=yz$ を使って生成元 $x$ を消すと、次が残る。

$$⟨y,z\mid y^2,z^3,(yz{)}^2⟩$$

最後の関係式を書き替えます。$yzyz=1$ から $zyz=y^{-1}=y$、両辺に左から $y$ を掛けて $yzy=z^{-1}$。$y^{-1}=y$ なので $y^{-1}zy=z^{-1}$ です。

$$⟨y,z\mid y^2,z^3,y^{-1}zy=z^{-1}⟩$$

位数 $3$ の回転と鏡映で書いた二面体群の表示になりました^[2]。$S_3\cong D_3$ が、表示の書き替えだけで出ています。

例：三葉結び目の群

冒頭の 2 つを結びます。$⟨a,b\mid aba=bab⟩$ から始めます。

生成元を 2 つ導入します。$x=aba$ と $y=ab$ です。

この 2 つから、もとの生成元が書けます。

$$\begin{array}{rl}{y}^{-1}x& =(ab{)}^{-1}(aba)=b^{-1}{a}^{-1}aba=a\\ x^{-1}{y}^2& =(aba{)}^{-1}(ab)(ab)=a^{-1}{b}^{-1}{a}^{-1}abab=a^{-1}{b}^{-1}bab=b\end{array}$$

$a=y^{-1}x$ と $b=x^{-1}{y}^2$ を関係式として足します。どちらも導けるので足してよい。

次に、この 2 本を使って $aba=bab$ を書き直します。

$$\begin{array}{rl}aba& =(y^{-1}x)(x^{-1}{y}^2)(y^{-1}x)=y^{-1}\cdot y^2{y}^{-1}x=x\\ bab& =(x^{-1}{y}^2)(y^{-1}x)(x^{-1}{y}^2)=x^{-1}{y}^2{y}^{-1}{y}^2=x^{-1}{y}^3\end{array}$$

もとの関係式 $aba=bab$ は $x=x^{-1}{y}^3$、つまり $x^2=y^3$ と同じです。これを足す。

ここまで来ると $aba=bab$ と $x=aba$ と $y=ab$ が余分になります。消してから、$a$ と $b$ を略記の除去で落とす。

$$⟨x,y\mid x^2=y^3⟩$$

生成元が $2$ 個、関係式が $1$ 本という数は変わりません。中身だけが入れ替わりました。

同じ群が $⟨x,y\mid x^2=y^3⟩$ とも書ける、というのは見え方を変えます。こちらの形からは、位数 $2$ と位数 $3$ の巡回群の融合積という構造がすぐ読める。$aba=bab$ を見ているあいだは、それが見えません。

例：クラインの壺の群

もう 1 つ短い例を挙げます。$⟨a,b\mid aba{b}^{-1}⟩$ に $x=ab$、$y=b^{-1}$ を導入します。

$$x^2{y}^2=(ab)(ab)(b^{-1})(b^{-1})=abab\cdot b^{-2}=aba{b}^{-1}$$

もとの関係式そのものになりました。逆向きには $b=y^{-1}$、$a=x{b}^{-1}=xy$ と書けるので、$a$ と $b$ を消せます。

$$⟨a,b\mid aba{b}^{-1}⟩\cong ⟨x,y\mid x^2{y}^2⟩$$

左は「進んで曲がって戻ると裏返る」形、右は $2$ 乗が $2$ 本という形です。どちらもクラインの壺の基本群を表しています。

Tietze の定理

操作が群を変えないことは見ました。逆が定理です^[1]。

有限表示 $⟨S\mid D⟩$ と $⟨T\mid E⟩$ が同型な群を定めるなら、有限回の Tietze 変換で一方から他方へ移れる。

証明は同型写像を表示に書き込む形で進みます^[2]。$S\cap T=\varnothing$ としてよく、同型 $\theta$ を固定します。

$\theta (s)$ を $T$ 上の語 $w_s$ で、${\theta }^{-1}(t)$ を $S$ 上の語 $w_t$ で表します。まず $⟨S\mid D⟩$ に生成元 $T$ と関係式 $t=w_t$ を足す。ここまでは 3 番目の操作です。

次に $E$ と $s=w_s$ を関係式として足します。$\theta$ が同型なので、$E$ の関係式を $w_t$ で書き直したものは $N_D$ に入る。$s^{-1}{w}_s$ も同じ。だから 1 番目の操作で足せます。

こうしてできた表示は $S$ と $T$ の両方を含み、$D$ と $E$ の両方を関係式に持ちます。反対側から出発しても同じ表示に届く。操作には逆があるので、片方へ上がって他方へ下りればよい^[2]。

定理が解いていないこと

同型なら有限回で移れる。それでも、何回で移れるかは分かりません。

だから 2 つの表示を渡されたとき、変換を順に試すだけでは判定になりません。同型なら探索はいつか当たりますが、同型でなければ止まる理由がない。

Tietze 自身が 1908 年の論文でそのことを書いています^[3]。与えられた群のすべての生成のしかたを特徴づける一般的な問題も、2 つの表示が同型かを決める方法を見つける特別な問題も、解けていない。

3 年後に Dehn がこれを 3 つの判定問題として並べ直しました^[3]。同型問題は、そのうちの 3 番目です。

生成元の個数と関係式の個数

有限表示 $⟨S\mid D⟩$ について $|S|-|D|$ を見ます。

略記の導入と除去では、生成元と関係式が同時に $1$ つずつ増減するので、この差は動きません。関係式の追加と削除では、関係式だけが動くので差が変わる。

同じ群にいくらでも冗長な関係式を足せるので、差はいくらでも小さくできます。上へは行けない。そこで表示にわたる最大値をとると、群の不変量になります。

$$\mathrm{def}(G)=\max \{|S|-|D|:⟨S\mid D⟩\text{ は }G\text{ の有限表示}\}$$

三葉結び目の群は $2-1=1$ で、上に見た 2 つの表示のどちらでも同じ値でした。表示を替えても差が動かなかったのは、使った操作が略記の出し入れだけだったからです。

どこから来たか

Tietze がこの操作を作った目的は、群論の中にはありませんでした^[3]。

1908 年の論文で、Tietze は多様体の基本群を定義し、それが位相不変量であることを示しています。空間を胞体に分けて基本群の表示を作ると、分け方ごとに違う表示が出る。同じ空間から出た表示が同じ群を定める、と言うために操作が要りました。

有限な 2 次元複体が有限表示群に対応し、複体の張り替えが表示の書き替えに対応する^[4]。この対応が、いまも組み合わせ群論と低次元トポロジーをつないでいます。

平衡表示、つまり生成元と関係式の個数が等しい自明群の表示を、制限した操作だけで自明な表示へ落とせるか。Andrews と Curtis の予想と呼ばれるこの問いは、いまも開いています^[4]。

表示は群そのものではなく、群の書き方です。書き方を替える操作が 4 つあり、同型な書き方はすべてその操作で結ばれている。結べることと、結び方を見つけられることが別だという点だけが、100 年経っても動いていません。

参考文献