導入
唐突ですが、平面上に、3点をとり、
とすると、次のような乗法表を作ることができます。
一番左の列に並んでいる6個の行列は群をなしていることに注意してください。この群をと書きます。また、としておきましょう。この表(以下、表1)を考察していきます。
群の作用
まず、概念の定義から。
群の作用
を群、を集合とする。のへの左作用とは、写像であり、次の性質を満たすものである。
(1)
(2)
この定義1を使って、「表1はのへの作用を表している」と表現することができます。
行に注目
表1を行ごとにみると、いつもが一回ずつ現れていることがわかります。このことについて考えてみましょう。
定義1は、群の元を写像とみなしていると考えられます。ただし、写像の合成と群の積を対応させよう、というわけです。だから、のことをとも書きます。この対応により、各(に対応する写像)は全単射になります。なぜなら、任意のには逆元があり、これらは逆写像の関係にあるからです。すると、が有限集合のとき、が作用することを、の元をシャッフルすること、すなわち置換とみなすことができます。実際、表1において、同じ行にはが一回ずつ現れています。そして、例えばの行を参照することにより、は
と同一視することができるわけです。
列に注目
表1を列ごとにみると、いつもが二回ずつ現れていることがわかります。このことについて考えてみましょう。
まず、各の列のことを、のによる軌道、といいます。厳密には次のように定義されます。
軌道
群が集合に作用するとき、に対してと定義し、これをのによる軌道という。
さて、表1ではどのの軌道もに一致しますが、特に、各元が二回ずつ現れていることは注目に値します。これは偶然でしょうか。の列で考えてみましょう。
例えば、とは共にをに移します。
同様に、とは共にをに移します。
これは、であることを使うと、
と書き直せ、を考えれば当たり前の式です。さらに、
ですが、これもを考えれば当たり前だと思えるはずです。このことを明示的にするために、表1を書き直したものが下表です。
こうみると、もはやの列にが二回ずつ現れていたのは偶然ではないことがはっきりわかります。つまり、はのペア3組でできており、その各ペアのの移す先が等しいために、このようなことが起きていたのです。そして、このペアによる分類は、剰余類に他なりません。とはを自身に移す元の集合です。一般に、このような集合は群をなし、安定化群といいます。
この議論はどの列にも当てはまることなので、一般に次の定理が成り立ちます。
有限群が集合に作用するとする。このときの軌道とその安定化群による剰余類の間に一対一の対応がある。したがって特に、である。
なぜ「剰余」類というのか
この文脈において、私は「剰余」類という名前をより実感したような気がしました。というのも、とするとき、任意のに対して、となるわけですが、これは「をで割ったあまりが」といいたくなるような構造をしていると思うのです。
とでも書きたいくらいです。
群の作用の例
表1の話からは離れますが、少し群作用の例をみておきましょう。
自分自身への作用(1)
が有限群のとき、のへの作用を考えれば、各は、の元の置換、すなわちの元であるわけです。そして、写像の合成と群の積を対応させたものが群の作用でしたから、置換の積と群の積は当然対応しており、このようにしてからへの準同型が生まれます。すなわち、次の定理を得ます。
自分自身への作用(2) 共役による作用
を、で定義します。面倒なのでと書くことにします。するとこれも作用になっています。実際、
となります。となるとき、は共役であるといいます。
線型な作用
作用とは、群の元を写像とみなしたものでしたから、写像の中でも線型な写像を考えてみよう、というのは自然な発想です。直交群を考えてみます。行列とベクトルの積をそのまま用いれば、から列ベクトル空間への作用が得られます。の元に対応する写像は線型なので、こういう作用を、線型な作用といいます。
今日の記事はこの辺で終わりにしたいと思います。
読んでいただきありがとうございました。