Core Concepts
本論文では、偶数ディヒドラルアーティン群におけるねじれ共役問題を解決する。
Abstract
本論文は以下の内容を扱っている:
偶数ディヒドラルアーティン群G(m)は、Baumslag-Solitar群BS(n, n)と同型であることを示す。この表現を用いて、G(m)の外部自己同型群を記述する。
G(m)の準同型表現Fn⋊Zを用いて、ねじれ共役問題を解決するアルゴリズムを構築する。このアルゴリズムは、ねじれ共役クラスの最小長代表元を見つける「シフト」操作に基づいている。
ねじれ共役問題の計算量を分析し、偶数ディヒドラルアーティン群の場合は二次時間複雑度であることを示す。
外部自己同型群の部分群の軌道決定可能性を示し、ディヒドラルアーティン群の拡大群における共役問題の可解性を証明する。
Stats
ディヒドラルアーティン群G(m)は、Baumslag-Solitar群BS(n, n)と同型である。ここで、n = m/2 ≥ 2。
外部自己同型群Out(G(m))は、D∞×C2 と同型である。
Quotes
「本論文は、偶数ディヒドラルアーティン群におけるねじれ共役問題の完全な解決を目的とする。」
「我々のアルゴリズムは、ねじれ共役クラスの最小長代表元を見つけるための「シフト」操作に基づいている。」
「偶数ディヒドラルアーティン群の場合、ねじれ共役問題の計算量は二次時間複雑度である。」