핵심 개념
有限群の簡約べき乗グラフ(有向および無向)の自己同型群の構造を完全に記述し、巡回群、二面体群、一般四元数群などの具体的な群に対して、その自己同型群を決定する。
本論文は、有限群の簡約べき乗グラフ(有向および無向)の自己同型群の構造を明らかにすることを目的とする。簡約べき乗グラフは、群の各要素を頂点とし、ある要素が別の要素のべき乗であり、かつそれらの生成する巡回群が異なる場合にのみ、対応する頂点間に辺が存在するグラフである。本論文では、このグラフの自己同型群を、群の構造に基づいた具体的な方法で記述する。
まず、有限群 G の簡約べき乗グラフの自己同型群 Aut(RP(G)) および Aut(→RP(G)) を決定するために、2つの重要な群作用を導入する。
1つ目は、G の極大巡回部分群の集合 M(G) に作用する置換群 M(G) であり、これは G 自身への忠実な作用を誘導する。
2つ目は、G の要素を同値類に分割する同値関係 ≃ を定義し、各同値類上の対称群の直積として得られる群 Qt
i=1 S b
ui
である。
次に、Aut(RP(G)) および Aut(→RP(G)) の誘導作用が、同値関係 ≃ によって定義される同値類の集合 R(G) にどのように作用するかを調べる。特に、Aut(RP(G)) の各軌道は、同じタイプの同値類のみから構成されることを示す。
これらの結果を用いて、Aut(→RP(G)) = Qt
i=1 S b
ui
⋊ M(G) であり、G が位数 2^m の巡回群と位数 2^α の一般四元数群を除けば、Aut(RP(G)) も同じ構造を持つことを証明する。
最後に、巡回群、二面体群、一般四元数群、準二面体群、位数 8n の群 V8n、位数 6n の群 U6n、指数 p の p 群、および非自明な要素がすべて位数 p または q の位数 pmq の非冪零群など、いくつかの具体的な群に対して、簡約べき乗グラフの自己同型群を決定する。