作用素をもつ群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 作用素をもつ群の意味・解説 

作用素をもつ群

(作用を持つ群 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/14 07:16 UTC 版)

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

作用素をもつ群[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日閲覧。

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  作用素をもつ群のページへのリンク

辞書ショートカット

すべての辞書の索引

作用素をもつ群のお隣キーワード
検索ランキング

   

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



作用素をもつ群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS