作用素をもつ群
表示
作用素をもつ群[1]︵さようそをもつぐん、英: group with operators、仏: groupe à opérateurs︶または作用域︵英: operator domain︶を持つ群[2]とは、1920年代にエミー・ネーターやヴォルフガング・クルルによって研究されはじめた[3]群の一般化であり、群自己準同型からなる集合をもつ群のことである[1]。現代的にはΩ群︵英: Ω-group︶と言う[2]。群作用︵英: group action︶やω群︵対象が一つの∞亜群[4]︶と混同しないように注意する必要がある。
で群の演算に対して分配的であるようなものからなる族 Ω を合わせて考えたものである。このとき Ω を作用域といい、その元を G上の作用素という。
変換 ω による群 Gの元 gの像を gω と書けば、作用の分配性は
と表せる。また、G の部分群 Sが Ω の作用に関する固有部分群もしくは安定部分群 (stable subgroup)あるいは Ω-不変部分群または簡単に Ω-部分群であるとは、
が成り立つときに言う。
としても捉えることができる。