輪積のソースを表示

[[数学]]の[[群論]]における'''輪積'''（りんせき、{{lang-en-short|''wreath product''}}; '''リース積'''）は、[[半直積]]をもとにして定義される二つの群の特殊化された積である。[[置換群]]の分類においてリース積は重要な道具であり、またリース積から群の興味深い例がさまざまに構成される。

二つの群 ''A'' および ''H'' が与えられたとき、それら輪積には'''非制限輪積''' {{math|''A'' Wr ''H''}} (あるいは {{math|''A'' ≀ ''H''}}) と'''制限輪積''' {{math|''A'' wr ''H''}} の二種類が考えられる。さらに[[群作用| ''H''-作用]]を持つ集合 Ω が与えられれば、{{math|''A'' Wr<sub>Ω</sub> ''H''}} あるいは {{math|''A'' wr<sub>Ω</sub> ''H''}} で表されるそれぞれの輪積の一般化が存在する。

== 定義 ==
二つの群 ''A'', ''H'' と集合 Ω で、''H'' は &Omega; の上に[[群作用|作用する]]ものとし、''K'' は集合 &Omega; を添字集合とする ''A'' のコピー ''A''<sub>ω</sub> := ''A'' の[[直積群|直積]] 
: <math>K \equiv \prod_{\omega\in\Omega} A_\omega</math>
と定義する。''K'' の元を &Omega; で添字付けられた ''A'' の任意の列 (''a''<sub>ω</sub>) と見做して、成分ごとの積入れれば、''H'' の Ω への作用は
: <math> h (a_\omega) \equiv (a_{h^{-1}\omega})</math>
と置くことにより、自然な仕方で ''H'' の群 ''K'' への作用に拡張される。このとき、''A'' の ''H'' による'''非制限輪積''' {{math|''A'' Wr<sub>Ω</sub> ''H''}} とは、[[半直積]] {{math|''K'' ⋊ ''H''}} のことを言う。輪積 {{math|''A'' Wr<sub>Ω</sub> ''H''}} の部分群としての ''K'' を、この輪積の'''底'''と呼ぶ。

'''制限輪積''' {{math|''A'' wr<sub>Ω</sub> ''H''}} は非制限輪積と同様の仕方で{{仮リンク|直和群|en|Direct sum of groups|label=直和}} 
: <math>K \equiv \bigoplus_{\omega \in \Omega} A_\omega</math>
を輪積の底として構成される。この場合の底 ''K'' の元は &Omega; で添字付けられた ''A'' の元の列 (''a''<sub>ω</sub>) で[[ほとんど (数学)|有限個の例外を除く]]全ての成分が ''A'' の[[単位元]]となるものである。

群 ''H'' は左からの積を考えることによって自然な仕方で自分自身の上に作用するから、{{math|Ω {{coloneqq}} ''H''}} と取ることもできる。この特別な（しかし非常に汎用な）場合の非制限輪積および制限輪積はそれぞれ {{math|''A'' Wr ''H''}} および {{math|''A'' wr ''H''}} で表され、'''正則''' (''regular'') であるという。

== 記法と慣習 ==
''A'' の ''H'' による輪積の構造は ''H''-集合 &Omega; に依存して決まり、&Omega; が無限集合のときは制限か非制限かにも関わるが、記法は文献によって必ずしも一貫しておらず文脈に注意を要する。

* 文献によっては {{math|''A'' ≀<sub>Ω</sub> ''H''}} が非制限輪積 {{math|''A'' Wr<sub>Ω</sub> ''H''}} だったり制限輪積 {{math|''A'' wr<sub>Ω</sub> ''H''}} だったりする。
* 同様に {{math|''A'' ≀ ''H''}} が正則非制限輪積 {{math|''A'' Wr ''H''}} に用いられたり、正則制限輪積 {{math|''A'' wr ''H''}} に対して用いられたりする。
* 文献によっては ''H''-集合 Ω を積の添字に付けることを {{math|Ω ≠ H}} の場合でさえ落とすことがある。
* {{math|''H'' {{=}} ''S''<sub>''n''</sub>}}（''n''-次[[対称群]]）という特別の場合に、''S'' が自然に作用する {{math|Ω {{=}} {1, ..., ''n''}}} と仮定する文献が多くあり、ここでも添字としての &Omega; を落とす記法が用いられる。つまりこの場合、記法 {{math|''A'' ≀ ''S''<sub>n</sub>}} が意味するのは正則輪積 {{math|''A'' ≀<sub>''S''<sub>''n''</sub></sub> ''S''<sub>''n''</sub>}} ではなくて {{math|''A'' ≀<sub>{1,...,''n''}</sub> ''S''<sub>''n''</sub>}} ということとなる。前者（正則輪積）の場合の底群は ''A'' の[[階乗| ''n''!]] 個のコピーの積だが、後者の場合だと ''n'' 個のコピーである。

== 性質 ==
* 群の有限直積は有限直和と同じものであるから、''H''-集合 &Omega; が有限集合の時は、非制限輪積 {{math|''A'' Wr<sub>Ω</sub> ''H''}} と制限輪積 {{math|''A'' wr<sub>Ω</sub> ''H''}}も一致する。特にこれは {{math|&Omega; {{=}} ''H''}} が有限なとき正しい。
* 制限輪積 {{math|''A'' wr<sub>Ω</sub> ''H''}} は常に非制限輪積 {{math|''A'' Wr<sub>Ω</sub> ''H''}} の[[部分群]]になる。
* 普遍埋め込み定理: 群 ''G'' が ''A'' の ''H'' による[[群の拡大|拡大]]ならば、非制限輪積 {{math|''A'' ≀ ''H''}} の部分群で ''G'' に同型なものが存在する<ref>M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de groupes III", Acta Sci. Math. Szeged 14, pp. 69-82 (1951)</ref>。
* ''A'', ''H'', Ω がいずれも有限ならば位数に関して<div style="margin: 1ex 2em">|''A''≀<sub>Ω</sub>''H''| = |''A''|<sup>|Ω|</sup>|''H''|</div>が成立する{{sfn|Rotman|1995|p={{google books quote|id=4x8BCAAAQBAJ|page=172|172}}}}。

== 輪積の標準作用 ==
群 ''A'' が集合 Λ に作用しているならば、集合 &Omega; と &Lambda; から輪積 {{math|''A'' Wr<sub>Ω</sub> ''H''}} の（したがって {{math|''A'' wr<sub>Ω</sub> ''H''}} も）作用することのできる集合を二種類の標準的な仕方で構成することができる。

; 集合 {{math|&Lambda; &times; &Omega;}} の上への'''非原始的'''輪積作用
: {{math|((''a''<sub>ω</sub>),''h'') ∈ ''A'' Wr<sub>Ω</sub> ''H''}} および {{math|(λ,ω') ∈ Λ × Ω}} に対して<div style="margin: 1ex 2em"><math>((a_{\omega}), h) \cdot (\lambda,\omega') := (a_{h(\omega')}\lambda, h\omega')</math></div>で与えられる。
; 集合 Λ<sup>Ω</sup> の上への'''原始的'''輪積作用
: Λ<sup>Ω</sup> の元は ''H''-集合 &Omega; で添字付けられた列 (λ<sub>ω</sub>) であり、与えられた元 {{math|((''a''<sub>ω</sub>), ''h'') ∈ ''A'' Wr<sub>Ω</sub> ''H''}} の {{math|(λ<sub>ω</sub>) ∈ Λ<sup>Ω</sup>}} への作用は<div style="margin: 1ex 2em;"><math>((a_\omega), h) \cdot (\lambda_\omega) :=  (a_{h^{-1}\omega}\lambda_{h^{-1}\omega})</math></div>で与えられる。

== 例 ==
[[File:Double log tree.png|thumb|300px|{{math|[[自己同型群|Aut]]''T'' &cong; (''S''{{sub|2}} ≀ ''S''{{sub|2}}) ≀ ''S''{{sub|4}}}}]]
* {{仮リンク|ランプライター群|en|Lamplighter group}}は制限輪積 {{math|ℤ<sub>2</sub> ≀ ℤ}} である
* {{仮リンク|一般化対称群|en|Generalized symmetric group|label=一般化された対称群}} {{math|ℤ<sub>m</sub> ≀ ''S''<sub>''n''</sub>}} は、この輪積の底が ℤ<sub>''m''</sub> のコピーの ''n''-重直積<div style="margin: 1ex 2em;">ℤ<sub>''m''</sub><sup>''n''</sup> = ℤ<sub>''m''</sub> × ... × ℤ<sub>''m''</sub></div>に ''n''-次[[対称群]]の作用 {{math|φ: ''S''<sub>''n''</sub> → Aut(ℤ<sub>''m''</sub><sup>''n''</sup>)}} が<div style="margin: 1ex 2em;">φ(σ)(α<sub>1</sub>,..., α<sub>''n''</sub>) := (α<sub>σ(1)</sub>,..., α<sub>σ(''n'')</sub>)</div>で与えられるものである<ref>J. W. Davies and A. O. Morris, "The Schur Multiplier of the Generalized Symmetric Group", J. London Math. Soc (2), 8, (1974), pp. 615-620</ref>。
* {{仮リンク|超八面体群|en|Hyperoctahedral group}} {{math|''S''<sub>2</sub> ≀ ''S''<sub>''n''</sub>}} は、''S''<sub>''n''</sub> の {1,...,''n''} への作用は自然なものとして、二次の対称群 ''S''<sub>2</sub> は巡回群 {{math|ℤ<sub>2</sub>}} に[[群同型|同型]]であるから、超八面体群は一般化対称群の特別な場合になる<ref>P. Graczyk, G. Letac and H. Massam, "The Hyperoctahedral Group, Symmetric Group Representations and the Moments of the Real Wishart Distribution",  J. Theoret. Probab.  18  (2005),  no. 1, 1-42.</ref>。
* [[素数]] ''p'' と自然数 {{math|''n'' ≥ 1}} に対し、''P'' は ''p''<sup>''n''</sup>-次対称群 ''S''<sub>''p''<sup>''n''</sup></sub> の[[シロー部分群|シロー ''p''-部分群]]とすると、''P'' は {{math|ℤ<sub>''p''</sub>}} の ''n'' 個のコピーの反復正則輪積（輪冪）{{math|''W''<sub>''n''</sub> {{=}} ℤ<sub>''p''</sub> ≀ ℤ<sub>''p''</sub> ≀ … ≀ ℤ<sub>''p''</sub>}} に同型である。ここで、{{math|''W''<sub>1</sub> :{{=}} ℤ<sub>''p''</sub>}} および任意の {{math|''k'' ≥ 2}} に対して {{math|''W''<sub>''k''</sub> :{{=}} ''W''<sub>''k''-1</sub> ≀ ℤ<sub>''p''</sub>}} である{{sfn|Rotman|1995|p={{google books quote|id=4x8BCAAAQBAJ|page=176|176}}}}<ref>L. Kaloujnine, "La structure des p-groupes de Sylow des groupes symétriques finis", Annales Scientifiques de l'École Normale Supérieure. Troisième Série 65, pp. 239–276 (1948)</ref>。
* {{仮リンク|ルービックキューブ群|en|Rubik's Cube group}}は輪積の直積 {{math|(ℤ<sub>3</sub> ≀ ''S''<sub>8</sub>) × (ℤ<sub>2</sub> ≀ ''S''<sub>12</sub>)}} の指数の小さい部分群で、それぞれの因子は頂点の対称性が 8 と辺の対称性が 12 個それぞれあることに対応する。

== 注 ==
{{reflist}}

== 参考文献 ==
* {{cite book
    |last1              = Rotman
    |first1             = Joseph J
    |year               = 1995
    |title              = An Introduction to the Theory of Groups
    |edition            = Fourth
    |series             = Graduate Texts in Mathematics
    |volume             = 148
    |url                = {{google books|4x8BCAAAQBAJ|plainurl=yes}}
    |publisher          = Springer
    |isbn               = 978-1-4612-8686-8
    |mr                 = 1307623
    |zbl                = 0810.20001
    |ref                = harv
}}

== 外部リンク ==
* {{PlanetMath|urlname=WreathProduct|title=Wreath Product}}
* [http://www.encyclopediaofmath.org/index.php/Wreath_product Springer Online Reference Works]
* [http://www.abstractmath.org/Papers/SAWPCWC.pdf Some Applications of the Wreath Product Construction]

{{DEFAULTSORT:りんせき}}
[[Category:群論]]
[[Category:置換群]]
[[Category:二項演算]]
[[Category:数学に関する記事]]