コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

作用素をもつ群

出典: フリー百科事典『ウィキペディア(Wikipedia)』
作用を持つ群から転送)

作用素をもつ群[1](さようそをもつぐん、: group with operators: groupe à opérateurs)または作用域: operator domainを持つ群[2]とは、1920年代にエミー・ネーターヴォルフガング・クルルによって研究されはじめた[3]の一般化であり、群自己準同型からなる集合をもつ群のことである[1]。現代的にはΩ群: Ω-group)と言う[2]群作用: group action)やω群(対象が一つの∞亜群英語版[4])と混同しないように注意する必要がある。

定義

[編集]

集合 Ω の作用素をもつ群 (G, Ω) は、群 G とその上の写像

で群の演算に対して分配的であるようなものからなる族 Ω を合わせて考えたものである。このとき Ω を作用域といい、その元を G 上の作用素という。

変換 ω による群 G の元 g の像を gω と書けば、作用の分配性は

と表せる。また、G の部分群 S が Ω の作用に関する固有部分群もしくは安定部分群 (stable subgroup)あるいは Ω-不変部分群または簡単に Ω-部分群であるとは、

が成り立つときに言う。

注意

[編集]

作用素をもつ群圏論の言葉を用いて言い換えれば、M単一対象圏とするときの函手圏 GrpM の対象である。ここに Grp群の圏を表す。

作用素を持つ群は、G の群自己準同型全体の成す集合 Endgrp(G) を用いれば、写像

としても捉えることができる。

[編集]
  • 任意の群 G は自明な作用素をもつ群 (G, ∅) とみなせる。
  • R-加群 M は作用域 Rスカラー乗法による作用素をもつ群 M である。より具体的に任意のベクトル空間は作用素をもつ群である。

応用

[編集]

群に対するジョルダン・ヘルダーの定理は作用素をもつ群の文脈で考えても成立する。群が組成列をもつという仮定は位相幾何学におけるコンパクト性に似て、しばしば強すぎる条件を与える。コンパクト性の代わりに相対コンパクト性を考えるほうが自然であることがよくあるのと同様に、組成列についても各正規部分群が考えている群の作用域 X に対して相対的な作用部分群となっているものだけを考える。

関連項目

[編集]

出典

[編集]
  1. ^ a b ブルバキ 著、銀林浩・清水達雄 訳『ブルバキ数学原論 代数1』東京図書、1968年、74頁。 
  2. ^ a b 日本数学会『岩波 数学辞典 第4版』岩波書店、2007年、326頁。 
  3. ^ Birkhoff, Garrett (1993). Lattice theory. American Mathematical Society (3rd ed ed.). Providence, R.I.: American Mathematical Society. p. 160. ISBN 0-8218-1025-1. OCLC 30684596. https://www.worldcat.org/oclc/30684596 
  4. ^ Omega-group in nLab”. ncatlab.org. 2022年5月14日閲覧。

外部リンク

[編集]