中心拡大とは? わかりやすく解説

群の拡大

(中心拡大 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/01 20:47 UTC 版)

ナビゲーションに移動 検索に移動

数学において、群の拡大(ぐんのかくだい、: group extension)は、一般に特定の正規部分群剰余群を使ってを記述することを意味する。Q および N をふたつの群とするとき、GN による Q拡大 (extension) であるとは短完全列

を可換にするときに言う。この拡大の同値類全体の成す集合はしばしば Ext(H, K) と書かれる。

自明な拡大

自明な拡大とは拡大

であって拡大

に同値なものを言う。ここで左の射は K × HK-成分への埋め込み、右の射は H-成分への射影である。

分解型拡大の分類

準同型 s: HG が存在して、s と商写像 π: GH との合成が H 上で恒等写像 (πs = idH) となるものが存在するとき、拡大

分解または分裂 (split) する、あるいは分解型であるなどという。またこのとき、s は上記の完全系列を分解するという。

分解型の拡大の分類は非常に簡単で、拡大が分解する必要十分条件は群 GK および H の半直積となることであり、半直積自体は分類が容易(Aut(K)K自己同型群とすれば、半直積は H から Aut(K) への準同型と一対一に対応する)だからである。

注意

一般に数学において構造 K の拡大と言ったときは通例 K を部分構造として持つ構造 L をいう(たとえば体の拡大等を参照)のであるが、群論においてはそれがあべこべになるような場合にも拡大ということばを使うことがある。これには "Ext(Q, N)"[注釈 2]という記法が簡単に QN による拡大と読めるとか、群の拡大では群 Q に焦点が当てられるからとかということが理由の一部にあると考えられる。

後述の非可換拡大に関するシュライヤー理論英語版の論文[3]では K の拡大がより大きな構造を与える用語法を用いている。

中心拡大

G中心拡大とは、短完全列

A が群 E中心 Z(E) に含まれるものをいう。GA に自明に作用しているときの GA による中心拡大の同型類全体の成す集合は、2次コホモロジー群 H2(G, A)一対一対応する[4]。(因子団英語版の項も参照。)

任意の群 G と任意のアーベル群 A を使って、E = A × G とおけば中心拡大の例が得られる。これは分裂型(GE の部分群と見れば上述した意味での分裂拡大)の例でありとくに面白くは無い(コホモロジー群との対応で言えば、H2(G, A) の元 0 に対応する)ものである。もっとちゃんとした例は射影表現論において射影表現がふつうの線型表現に持ち上げられない場合に見つけることができる。

有限完全群の場合には普遍完全中心拡大が存在する[5]

群の中心拡大と同様に、リー環中心拡大も完全列

で、 の中心に含まれるようなものとして定義される。

Maltsev多様体英語版における中心拡大の一般論が存在する(Janeldze & Kelly 2000)。

一般の拡大の一般化

群の拡大および H3 に関する論文 (Morandi) は GA による任意の拡大の同様の分類として準同型 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 とすれば、ega による(リー環の)中心拡大である。理論物理学の言葉では、a の生成元はセントラルチャージと呼ばれる。これら生成元は e の中心に入る。ネーターの定理により、対称性の群の生成元は保存量に対応し、チャージと呼ばれる。

被覆群としての中心拡大の基本的な例を挙げれば

  • スピン群は、特殊直交群の二重被覆であり、偶数次元の場合は射影直交群の二重被覆である。
  • メタプレクティック群は斜交群の二重被覆である。

などがある。SL2(R) の場合は基本群として無限巡回群 Z を伴う。ここでの中心拡大はモジュラー形式論でよく知られており、重みが 1/2 のものがこれに当たる。対応する射影表現はヴェイユ表現であり、(この場合は実数直線上の)フーリエ変換から構成される。メタプレクティック群は量子力学にも現れる。

関連項目

注釈

  1. ^ 実は、群準同型の存在を仮定するだけで十分である。すなわち、図式の可換性により準同型写像 T は自動的に同型となるからである(短五項補題英語版による)。
  2. ^ あるいは作用素を持つ拡大 Opext(Q, N, φ)[2]

出典

  1. ^ group+extension#Definition in nLab Remark 2.2.
  2. ^ MacLane, Saunders, Homology, p. 103 
  3. ^ Brown & Porter 1996.
  4. ^ Karpilovsky 1987, pp. 5, 7.
  5. ^ Karpilovsky 1987, pp. 92, 94.

参考文献

  • Karpilovsky, G. (1987), The Schur Multiplier, Clarendon Press, ISBN 0-19-853554-6, MR 1200015, 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.

中心拡大

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/01 20:47 UTC 版)

群の拡大」の記事における「中心拡大」の解説

群 G の中心拡大とは、短完全列 1 → A → E → G → 1 {\displaystyle 1\to A\to E\to G\to 1} で A が群 E の中心 Z(E)含まれるものをいう。G が A に自明作用しているときの G の A による中心拡大の同型全体の成す集合は、2次コホモロジー群 H2(G, A) と一対一対応する。(因子団(英語版)の項も参照。) 任意の群 G と任意のアーベル群 A を使ってE = A × G とおけば中心拡大の例が得られる。これは分裂型(G を E の部分群見れば上述した意味での分裂拡大)の例でありとくに面白くは無い(コホモロジー群との対応で言えば、H2(G, A) の元 0 に対応する)ものである。もっとちゃんとした例は射影表現論において射影表現がふつうの線型表現持ち上げられない場合に見つけることができる。 有限完全群の場合には普遍全中拡大存在する群の中心拡大同様にリー環の中心拡大も完全列 0 → a → e → g → 0 {\displaystyle 0\to {\mathfrak {a}}\to {\mathfrak {e}}\to {\mathfrak {g}}\to 0} で、 a {\displaystyle {\mathfrak {a}}} が e {\displaystyle {\mathfrak {e}}} の中心に含まれるようなものとして定義される。 Maltsev多様体英語版)における中心拡大の一般論存在する(Janeldze & Kelly 2000)。

※この「中心拡大」の解説は、「群の拡大」の解説の一部です。
「中心拡大」を含む「群の拡大」の記事については、「群の拡大」の概要を参照ください。

ウィキペディア小見出し辞書の「中心拡大」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「中心拡大」の関連用語

中心拡大のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



中心拡大のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの群の拡大 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの群の拡大 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS