信号関手

数学の抽象代数の分野において、**信号関手**とは、潜在的有限部分群からアーベル群の非自明元の中心化群への写像である。**信号関手定理**は、そのような写像の源が実際に部分群となる条件を与える。

信号関手は、ダニエル・ゴーレンシュタインによって最初に定義された。 は可解群に対して可解信号関手定理を証明し また、パトリック・マクブライドは一般の群に対して証明した。信号関手に関する結果は、有限単純群の分類において重要な役割を果たす。

## 定義
A を有限群 G の非巡回基本アーベル p-部分群とする（p は素数）。G 上の A-**信号関手**（A と G が明らかな場合は単に**信号関手**）とは、A の非単位元集合から G の A-不変 p'-部分群（位数がpと互いに素な部分群）の集合への写像 \theta であり、以下の性質を満たすもの：

*任意の非単位元 a \in A に対して、群 \theta(a)  は a の中心化群 C_G(a) に含まれる。
*任意の非単位元の対 a, b\in A に対して、\theta(a) \cap C_G(b) \subseteq \theta(b)が成り立つ。

上記の2番目の条件は**均衡条件**と呼ばれる。部分群 \theta(a) がすべて可解である場合、信号関手 \theta 自体も可解であると言われる。

## 可解信号関手定理
\theta が与えられたとき、いくつかの比較的緩やかな追加の仮定を加えることで、部分群 \theta(a) によって生成される G の部分群 W= \langle \theta(a) \mid a \in  A, a \neq 1\rangle が実は p'-部分群であることを証明できる。

グラウバーマンによって証明された**可解信号関手定理**は、\theta が可解であり、A が少なくとも3つの生成元を持つ場合、これが成り立つことを述べている。 この定理は、これらの仮定の下では、 W 自体が可解であることも示している。

グラウバーマンの証明が発表される前に、この定理のより弱いバージョンがいくつか証明された。ゴーレンシュタインは、A の階数が少なくとも5であるというより強い仮定の下で証明した。 は、 A の階数が少なくとも4であるか、階数が少なくとも3の2-群であるという仮定の下で証明した。 ヘルムート・ベンダーはを用いて2-群に対して簡単な証明を与え、 ポール・フラベルは同様の考え方ですべての素数について証明を与えた。 グラウバーマンは、可解な信号関手について決定的な結果を与えた。 マクブライドは有限単純群の分類を用いて、\theta が可解であるという仮定なしに、W が p'-群であることを示した。

### 完備性
完備性という用語は、信号関手に関する議論でよく用いられる。\theta を上記の信号関手とし、次の条件を満たすすべての
A-不変 p'-部分群 H の集合 И を考える：
*H\cap C_G(a) \subseteq \theta(a) が、すべての非単位元 a \in A に対して成り立つ。
例えば、*θ* の均衡条件の結果として、部分群 \theta(a) は И に属する。

信号関手 \theta は、 И が包含関係によって順序付けられたときに唯一の極大元を持つ場合、**完備**であると言われる。この場合、唯一の極大元は上記の W と一致することが示され、W は \theta の**完備化**と呼ばれる。 \theta が完備であり、かつ W が可解であることが判明した場合、 \theta は可解完備であると言われる。

したがって、可解信号関手定理は、A が少なくとも3つの生成元を持つ場合、 G 上のすべての可解な A-信号関手は可解完備である、と言い換えることができる。

## 信号関手の例
信号関手を得る最も簡単な方法は、G の A-不変 p'-部分群 M から始めて、すべての非単位元 a \in A に対し \theta(a) = M\cap C_G(a) と定義することである。しかし、一般には \theta から始めて、それを用いて A-不変 p'-群を構築する方が実用的である。

実際に用いられる最も単純な信号関手は \theta(a) = O_{p'}(C_G(a)) である。

上で定義したように、A がアーベル群であるため、\theta(a) は確かに G のA-不変 p'-部分群である。しかし、この \theta が均衡条件を満たすことを示すには、いくつかの追加の仮定が必要になる。十分条件の1つは、任意の非単位元 a \in A に対して、群 C_G(a) が可解（または  p-可解、あるいは p-束縛）になることである。

この仮定の下での \theta の均衡条件の確認は、トンプソンの P\times Q-補題を用いて行うことができる。

## 素な作用
信号関手をより深く理解するには、有限群に関する以下の一般的な事実を知ることが不可欠である：

*E を有限群 X に作用する非巡回アーベル群とする。E と X の位数は互いに素であると仮定する。
*このとき、X = \langle C_X(E_0) \mid E_0 \subseteq E, \text{  か つ  } E/E_0 \text{  は 巡 回 群  }\rangle.

この事実は、シューア・ツァッセンハウスの定理を用いて証明することができる：X の位数を割り切る任意の素数q に対して、群 X は E 不変な Sylow q-部分群を持つ。これにより、X が q-群である場合に帰着する。次に、X の位数についての帰納法により、X が基本アーベル群で、E が既約に作用する場合に帰着する。従って、群 E/C_E(X) は巡回群でなければならず、結果が従う。

この事実は、可解信号関手定理の証明と応用の両方で用いられる。

例えば、有用な結果の一つとして、\theta が完備であれば、その完備化は上で定義した群 W となることが示される。

### 正規完備化
上記の事実から導かれるもう一つの結果は、信号関手の完備化がしばしば G において正規となることである：

\theta を G 上の完備な G 信号関手とする。

B を A の非巡回部分群とする。このとき素な作用という事実と均衡条件から、W= \langle \theta(a) \mid a \in  A, a \neq 1\rangle = \langle \theta(b) \mid b \in  B, b \neq 1\rangle  が成り立つ。

これを確かめるため、\theta(a) が "B"-不変なので、 \theta(a) = \langle \theta(a) \cap C_G(b) \mid b \in B, b \neq 1\rangle \subseteq \langle \theta(b) \mid b \in  B, b \neq 1\rangle  となることに着目しよう。 

上記の等式は素な作用という事実を利用し、包含関係は均衡条件を利用している。さて、\theta が「同変性」条件を満たすことはよくある。つまり、任意の g \in G と非単位元 a \in A に対して、\theta(a^g) = \theta(a)^g \,  が成り立つ。ここで、上付き文字は g による共役を表す。例えば、上記に示した信号関手の例である写像 a \mapsto O_{p'}(C_G(a)) はこの条件を満たす。

もし \theta が同変性を満たすならば、B の正規化群は W を正規化する。したがって、
G が A の非巡回部分群たちの正規化群によって生成されるならば、\theta (従って W) の完備化は G において正規となる。

## 参考文献