クローン–ローズの定理

数学とコンピュータサイエンスにおいて、**クローン–ローズ理論**（Krohn–Rhodes theory、**代数オートマトン理論**）は、有限半群とオートマトンを基本成分に分解する研究手法である。これらの成分は、フィードバックなしで結合された有限非周期半群と有限単純群に対応する（「リース積」または「カスケード」と呼ばれる）。

クローンとローズは有限オートマトンに対する一般的な分解を発見した。著者らは有限半群論における予想外の重要な結果を発見し、証明し、有限オートマトンと半群の間に深いつながりがあることを明らかにした。

## クローン・ローズ定理の定義と説明
T を半群とする。T の部分半群の準同型像である半群 S は、T の因子であるという。

有限半群のクローン・ローズの定理は、すべての有限半群Sは、Sの約数である有限単純群と有限非周期半群（非自明な部分群を含まない）の有限交代花輪積の約数であることを述べている。

オートマトン定式化において、有限オートマトンに対する**クローン・ローズ定理**は、状態 Q と入力集合 I、出力アルファベット U を持つ有限オートマトン A が与えられたとき、状態を Q' に拡張して、新しいオートマトン A' を「単純」で既約なオートマトンカスケードに埋め込むことができると述べています。具体的には、A は (1) 変換半群が有限単純群であるオートマトンと (2) 並列に実行されるフリップフロップのバンクであるオートマトンからなるフィードフォワードカスケードによってエミュレートされます。 新しいオートマトン A' は A と同じ入力シンボルと出力シンボルを持ちます。ここで、カスケードされたオートマトンの状態と入力はどちらも非常に特殊な階層座標形式を持ちます。

さらに、A の変換半群を分割する各単純群（素数）または非群既約半群（フリップフロップモノイドの部分半群）は、カスケードの何らかのコンポーネントの変換半群を分割する必要があり、コンポーネントの約数として発生する必要がある素数のみが A の変換半群を分割する素数です。

## グループの複雑さ
有限半群 S のクローン・ローズ複雑度（群複雑度または単に複雑度とも呼ばれる）は、S が約数である有限群と有限非周期半群の輪積内の群の最小数です。

すべての有限非周期半群の計算量は0ですが、非自明な有限群の計算量は1です。実際、あらゆる非負整数の計算量を持つ半群が存在します。例えば、1より大きい任意のnに対して、任意の固定有限体上のすべての(n+1)×(n+1)上三角行列の乗法半群の計算量はnです（Kambites, 2007）。

有限半群論における主要な未解決問題は、計算量の決定可能性である。すなわち、乗算表が与えられた有限半群のクローン・ローズ計算量を計算できるアルゴリズムは存在するのだろうか？計算量の上限値と、より正確な下限値が既に得られている（例えば、Rhodes & Steinberg, 2009を参照）。ローズは、この問題が決定可能であると予想している。

## 歴史と応用
1962年の会議で、ケネス・クローンとジョン・ローズは、（決定論的）有限オートマトンを、それ自体が有限オートマトンである「単純な」構成要素に分解する方法を発表しました。哲学にも影響を与えるこの共同研究は、クローンのハーバード大学における博士論文とローズのMITにおける博士論文の両方から構成されています。 より単純な証明や、この定理の無限構造への一般化は、その後も発表されています（概要については、ローズとスタインバーグの2009年の著書『有限半群のq理論』第4章を参照）。

1965年のクローンとローズの論文では、有限オートマトン（あるいは等価な逐次機械）の分解に関する定理の証明において、代数的半群構造が広範に用いられた。後の証明では、有限変換半群の有限花輪積を用いた大幅な簡略化が行われた。この定理は、有限群（素数は有限単純群である）に対するジョルダン・ヘルダー分解を、すべての有限変換半群（素数は有限単純群と「フリップフロップ」（上記参照）のすべての部分半群である）に一般化する。群分解とより一般的な有限オートマトン分解はどちらも、一般の分解の状態集合を拡張する必要があるが、入力記号の数は同数で済む。一般の場合、これらは階層的な「座標系」を持つより大きな構造に埋め込まれる。

クローンとローズは、自らの定理をオートマトンにおける「素数分解定理」と明確に呼んでいるため、「素数」の概念を理解する際には注意が必要である。しかし、分解の構成要素は素数オートマトン（素数が単純に定義されている）ではない。むしろ、素数の概念はより洗練され、代数的なものである。分解を構成するオートマトンに関連付けられた半群と群は、花輪積に関して厳密かつ自然な代数的意味で素数（または既約）である（Eilenberg, 1976）。また、以前の分解定理とは異なり、クローン・ローズ分解では通常、状態集合の拡張が必要となるため、拡張されたオートマトンが分解対象のオートマトンを覆い（エミュレートし）、それを模倣する。これらの事実により、定理は理解が難しく、実際的な適用が困難でしたが、最近になって計算実装が可能になってからは状況は変わりました (Egri-Nagy & Nehaniv 2005、2008)。

H.P. ジーゲル (1967) は、ホロノミー分解 (エリンバーグ1976) と呼ばれる重要な変形を証明した。

ホロノミー法は比較的効率的であると思われ、A. イグリナギー (イグリナギー & ナハニブ2005) によって計算機に実装された。

マイヤーとトンプソン (1969) は、ハートマニスとスターンズが以前に開発した分解と同等の有限オートマトン用のクローン-ローズ分解のバージョンを与えているが、有用な分解のためには、元のオートマトンの状態セットを拡張するという概念が不可欠である (非順列オートマトンの場合)。

クローン・ローズ分解には現在、多くの証明と構成法が存在する（例えば、[クローン,ローズ& ティルソン1968]、[エシク2000]、[ディカートet al. 2012]）。その中でも、ホロノミー法は最も一般的で、一般的には効率的である（ただし、すべての場合に当てはまるわけではない）。[ツマーマン2010][1]は、この定理の初等的な証明を与えている。モノイドと圏論の密接な関係により、クローン・ローズ定理の一種は圏論にも適用可能である。この観察と類似の結果の証明は、Wells (1980) によって提示された。

半群／モノイドに対するクローン＝ローズ定理は、有限群に対するジョルダン＝ヘルダー定理（群ではなく半群／モノイドに対する）の類似物である。そのため、この定理は半群／モノイド理論における奥深く重要な結果である。この定理は多くの数学者やコンピュータ科学者にとっても驚くべきものであった。なぜなら、それまで半群／モノイド公理は構造定理として成立するには弱すぎると広く信じられていたためであり、先行研究（ハートマニスとスターンズ）では有限オートマトンに対して、はるかに厳格で一般性の低い分解結果しか示せなかったからである。

イグリナギー と ネハニブ(2005、2008-) による研究では、コンピュータ代数システム GAP を使用して、有限群の関連する分解 (いわゆるフロベニウス-ラグランジュ座標) を拡張した -Rhodes 分解のホロノミー バージョンをさらに自動化し続けています。

半群理論とモノイド理論以外の応用も、現在では計算的に可能となっています。これには、生物学および生化学システム（例：イグリナギー  & ネハニブ 2008）、人工知能、有限状態物理学、心理学、ゲーム理論（例：Rhodes 2009）における計算が含まれます。

## 参照

* 半群作用
* 変換半群
* グリーン関係式

## 注

----


## 参考文献

* 
* 
* 
* Egri-Nagy, A.; and Nehaniv, C. L. (2005), "Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn–Rhodes Theory", in *9th International [[Conference on Implementation and Application of Automata]] (CIAA 2004), Kingston, Canada, July 22–24, 2004, Revised Selected Papers*, Editors: Domaratzki, M.; Okhotin, A.; Salomaa, K.; *et al.*; Springer Lecture Notes in Computer Science, Vol. 3317, pp.&nbsp;315–316, 2005
* 
*  Two chapters are written by Bret Tilson.
* 
* 
* 
* 
* Krohn, K. R.; and Rhodes, J. L. (1962), "Algebraic theory of machines", *Proceedings of the Symposium on Mathematical Theory of Automata* (editor: Fox, J.), (Wiley–Interscience)
* 
* 
* 
* 
* 
* 
* 
* 
* 
*  Erratum: Information and Control **11**(4): 471 (1967), plus erratum.

## さらに読む

* 
* 
* 

## 外部リンク
* Prof. John L. Rhodes, University of California at Berkeley webpage
* SgpDec: Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups, developed by A. Egri-Nagy and C. L. Nehaniv.  Open-source software package for the GAP computer algebra system.
* 
* An introduction to the Krohn-Rhodes Theorem (Section 5); part of the Santa Fe Institute Complexity Explorer MOOC Introduction to Renormalization, by Simon DeDeo.