群の拡大
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/01 20:47 UTC 版)
ナビゲーションに移動 検索に移動数学において、群の拡大(ぐんのかくだい、英: group extension)は、一般に特定の正規部分群と剰余群を使って群を記述することを意味する。Q および N をふたつの群とするとき、G が N による Q の拡大 (extension) であるとは短完全列

を可換にするときに言う。この拡大の同値類全体の成す集合はしばしば Ext(H, K) と書かれる。
自明な拡大
自明な拡大とは拡大
であって拡大
に同値なものを言う。ここで左の射は K × H の K-成分への埋め込み、右の射は H-成分への射影である。
分解型拡大の分類
準同型 s: H → G が存在して、s と商写像 π: G → H との合成が H 上で恒等写像 (π ∘ s = idH) となるものが存在するとき、拡大
は分解または分裂 (split) する、あるいは分解型であるなどという。またこのとき、s は上記の完全系列を分解するという。
分解型の拡大の分類は非常に簡単で、拡大が分解する必要十分条件は群 G が K および H の半直積となることであり、半直積自体は分類が容易(Aut(K) を K の自己同型群とすれば、半直積は H から Aut(K) への準同型と一対一に対応する)だからである。
注意
一般に数学において構造 K の拡大と言ったときは通例 K を部分構造として持つ構造 L をいう(たとえば体の拡大等を参照)のであるが、群論においてはそれがあべこべになるような場合にも拡大ということばを使うことがある。これには "Ext(Q, N)"[注釈 2]という記法が簡単に Q の N による拡大と読めるとか、群の拡大では群 Q に焦点が当てられるからとかということが理由の一部にあると考えられる。
後述の非可換拡大に関するシュライヤー理論の論文[3]では K の拡大がより大きな構造を与える用語法を用いている。
中心拡大
群 G の中心拡大とは、短完全列
で A が群 E の中心 Z(E) に含まれるものをいう。G が A に自明に作用しているときの G の A による中心拡大の同型類全体の成す集合は、2次コホモロジー群 H2(G, A) と一対一対応する[4]。(因子団の項も参照。)
任意の群 G と任意のアーベル群 A を使って、E = A × G とおけば中心拡大の例が得られる。これは分裂型(G を E の部分群と見れば上述した意味での分裂拡大)の例でありとくに面白くは無い(コホモロジー群との対応で言えば、H2(G, A) の元 0 に対応する)ものである。もっとちゃんとした例は射影表現論において射影表現がふつうの線型表現に持ち上げられない場合に見つけることができる。
有限完全群の場合には普遍完全中心拡大が存在する[5]。
で、 が の中心に含まれるようなものとして定義される。
Maltsev多様体における中心拡大の一般論が存在する(Janeldze & Kelly 2000)。
一般の拡大の一般化
群の拡大および H3 に関する論文 (Morandi) は G の A による任意の拡大の同様の分類として準同型 G → Out(A) の言葉を用いたものを与えた。これにはコホモロジー群 H3(G, Z(A)) および H2(G, Z(A)) を含む、面倒だが明示的に確認可能な存在条件が与えられている。
リー群の拡大
リー群論における中心拡大は代数的位相幾何学に関連して生じる。大まかに言えば、リー群の離散群による中心拡大は被覆群と同じものになっている。より精確には、連結リー群 G の連結被覆群 G* は自然に G の中心拡大となり、そのとき射影 π: G* → G は全射な群準同型である(G* 上の群構造は G の単位元に写る単位元の選び方に依存する)。例えば、G* が G の普遍被覆であるとき、同型の違いを除いて π の核は G の基本群になる(これが可換群となることはよく知られている。H空間を参照)。この構成が中心拡大を与えているのである。逆に、与えられたリー群 G と離散中心的部分群 Z に対し、剰余群 G/Z はリー群で、G はその被覆空間になる。
より一般に、中心拡大に現れる群 A, E, G がリー群で、それらの間の射がリー群準同型であるとき、それらリー群の付随するリー環をそれぞれ a, e, g とすれば、e は g の a による(リー環の)中心拡大である。理論物理学の言葉では、a の生成元はセントラルチャージと呼ばれる。これら生成元は e の中心に入る。ネーターの定理により、対称性の群の生成元は保存量に対応し、チャージと呼ばれる。
被覆群としての中心拡大の基本的な例を挙げれば
などがある。SL2(R) の場合は基本群として無限巡回群 Z を伴う。ここでの中心拡大はモジュラー形式論でよく知られており、重みが 1/2 のものがこれに当たる。対応する射影表現はヴェイユ表現であり、(この場合は実数直線上の)フーリエ変換から構成される。メタプレクティック群は量子力学にも現れる。
関連項目
注
注釈
出典
- ^ group+extension#Definition in nLab Remark 2.2.
- ^ MacLane, Saunders, Homology, p. 103
- ^ Brown & Porter 1996.
- ^ Karpilovsky 1987, pp. 5, 7.
- ^ Karpilovsky 1987, pp. 92, 94.
参考文献
- Karpilovsky, G. (1987), The Schur Multiplier, Clarendon Press, ISBN 0-19-853554-6, MR1200015, Zbl 0619.20001
- Mac Lane, Saunders (1975), Homology, Classics in Mathematics, Springer Verlag, ISBN 3-540-58662-8
- Taylor, R.L. Covering groups of non connected topological groups, Proc. Amer. Math. Soc. 5, (1954) 753-768.
- Brown, R.; Mucuk, O. Covering groups of non-connected topological groups revisited, Math. Proc. Camb. Phil. Soc, 115 (1994) 97-110.
- Brown, R.; Porter, T. On the Schreier theory of non-abelian extensions: generalisations and computations, Proceedings Royal Irish Academy 96A (1996) 213-227.
- Janeldze, G.; Kelly, G. M. Central extensions in Malt'sev varieties Theory and Applications of Categories, 7 (2000) 219-226.
- Morandi, P. J. Group Extensions and H3. From his collection of short mathematical notes.
- 群の拡大のページへのリンク