このページでは部分群・剰余群の概念を、抽象的な話にならないよう具体的な点群や空間群を例に挙げて説明していきます。
部分群
点群や空間群の説明のところで、群に何らかの対称操作を付け加え、次々と別の群を作り出していきました。作り出された新しい群には、もとの群の元がそのまま含まれています。一般に、ある群の部分集合が群の性質を満たすとき、それを部分群 (subgroup)といいます。一方、ある群を部分集合として含む全体集合が群の性質を満たすとき、それを超群 (supergroup)といいます。たとえば点群 2 は点群 2/m の部分群ですし、点群 2/m は点群 2 の超群です。要するに、群にも上下関係があるということです。
部分群の概念は、結晶の相転移現象を理解する際に役に立ちます。なぜなら結晶が、何らかの外的要因の変化（例えば温度低下）に伴って相転移するとき、相転移前後の空間群が超群/部分群の関係になることがあるからです。このような相転移は、原子の位置がわずかに変化するような場合（変位型相転移）によくみられ、その結果双晶構造や反位相構造が形成されます。部分群の概念は、このような構造を解析する際の手がかりになります。
部分群には、共役部分群や正規部分群と呼ばれるものがあります。簡単に説明します。
共役部分群と正規部分群
群 G とその部分群 H があるとします。群 G から元を一つ選び (g とします)、部分群 H の全ての元 (例えば hn ) に対して、g−1hng を計算してできる集合を、H′=g−1Hg と表現することにしましょう。このとき、H′も群Gの部分群となるという性質があります。H′ と H の関係を共役1といい、H′ と H は共役部分群 (conjugate subgtoup)である、といいます。さらに、群 G の全ての元 (g) について g−1Hg=H が成立するような場合（すなわち gH=Hg が成立する場合）、H を正規部分群 (normal subgroup)といいます。分かりにくいですね。以下に具体例を示します。
例えば点群 4 は以下のh0,h1,g0,g1 が元であり、h0,h1だけを選ぶと点群 2 になります。なお、eは単位行列(恒等変換)の意味です。
h0=e=⎛⎝⎜100010001⎞⎠⎟, h1=⎛⎝⎜−1000−10001⎞⎠⎟, g0=⎛⎝⎜0−10100001⎞⎠⎟, g1=⎛⎝⎜010−100001⎞⎠⎟
このとき、
g−10h0g0=h0,g−11h0g1=h0,g−10h1g0=h1,g−11h1g1=h1 という関係があります。したがって、点群
2 は点群
4 の正規部分群であるといえます。
点群32 は、三回回転軸と、それに直交する二回回転軸が3本存在するという対称性です。以下のような6つの行列が元となります。
t0=e=⎛⎝⎜100010001⎞⎠⎟,a0=⎛⎝⎜1000−1000−1⎞⎠⎟,t1=⎛⎝⎜⎜⎜−123√20−3√2−120001⎞⎠⎟⎟⎟,a1=⎛⎝⎜⎜⎜−123√203√212000−1⎞⎠⎟⎟⎟,t2=⎛⎝⎜⎜⎜−12−3√203√2−120001⎞⎠⎟⎟⎟,a2=⎛⎝⎜⎜⎜−12−3√20−3√212000−1⎞⎠⎟⎟⎟
eと
a0の集合は部分群です。同様に、
eと
a1の集合、
eと
a2 の集合も部分群です。それぞれを部分群
A0,A1,A2 と呼ぶことにします。主軸の方向は異なりますが、どれも記号としては点群
2 です。ただし、
A0,A1,A2 は正規部分群ではありません。例えば
A0 (
eと
a0の集合)について、
t−11 a0 t1=a1 となってしまうからです。だからと言って、
A0,A1,A2 が互いに無関係というわけでもありません。既に示したように
t−11 a0 t1=a1 ですから、
t−11 A0 t1=A1 であることが分かります。同様に、
t−12 A0 t2=A2 となります。すなわち、
A0,A1,A2 は共役部分群の関係であるといえます。
ところで、部分群が正規部分群であることが分かったら、どのような場面で役に立つのでしょうか。例えば実際の相転移に伴う微細組織（双晶や反位相構造）を観察したとして、「これは正規部分群に変化した結果である」などと判断することはおそらく困難です。正直に言って、実験や観察が主体の結晶学者にとって、即効薬になるような概念ではありません。正規部分群が力を発揮するのは、後述する剰余類を作るときです。正規部分群を法とすると左剰余類と右剰余類が等しくなるという性質があるからです。もとの点群や空間群から何らかの対称操作を差し引いたら、どのような群になるのかを考える際に役に立ちます。
剰余類・剰余群
剰余類とは、ある群をその部分群で割り算(のようなことを)して分類したものです。剰余類同士は群を作り、剰余群と呼ばれます。こんな説明で分かったら苦労しませんよね。以下に、もう少し丁寧に説明します。
G を群とし、その正規部分群を H とします。G から2つの元 g1 と g2 を選んで g−11g2 を計算し、それが正規部分群 H の元のどれか (仮にhn) と一致したとき、「 g1 と g2 は同じ仲間(同値関係)である」と定義2しましょう。
ここで、g−11g2=hn⇔g2=g1hn という関係がありますから、g1 とその仲間たちは、g1にh1,h2,h3⋯ のいずれかを掛けたものになるはずです。この集合を g1H と表記すると、
g1H={g1h | h∈H}
と表すことが出来ます。群論では、この
g1H を 「
g1 を含む
剰余類」
3といいます。
具体例を見てみましょう。足し算を算法とする整数全体の集合(群)をG、3の倍数の集合(部分群)をHとします。0を含む剰余類は当然Hそのものです。
0H={0+h | h∈H}
1を含む剰余類はどうでしょうか。1H={1+h | h∈H} ということですから、要するに3で割って1余る整数の集合ということになります。同様に2を含む剰余類は、3で割って2余る整数の集合2H={2+h | h∈H}となります。このようにして、整数全体の集合(群) G は、0H(=H),1H,2H という三つの剰余類に分けることが出来ました。
ところで、三つの剰余類の内、群としての構造を持つのは 0H のみです。1H と 2H は群になりません4。ただし、0H,1H,2H を3つの元とみなして群を作ることは出来ます。すなわち、剰余類同士の算法を「それぞれの剰余類からひとつづつ任意に取り出した要素同士の足し算」と定義すれば、三つの剰余類0H,1H,2H は群となります。もちろん単位元は0H です。群論では、このような各剰余類を元とみなして作られる群を 「3 (の倍数からなる部分群)を法とする剰余群」と表現します。記号としては、 G/H のように表現します。
点群の剰余類・剰余群
点群を使った剰余類の例を示しておきましょう。点群 4/m は以下の8つの行列が元となります。
e=⎛⎝⎜100010001⎞⎠⎟,s4=⎛⎝⎜10001000−1⎞⎠⎟,s1=⎛⎝⎜−1000−10001⎞⎠⎟,s5=⎛⎝⎜−1000−1000−1⎞⎠⎟,s2=⎛⎝⎜0−10100001⎞⎠⎟,s6=⎛⎝⎜0−1010000−1⎞⎠⎟,s3=⎛⎝⎜010−100001⎞⎠⎟s7=⎛⎝⎜010−10000−1⎞⎠⎟
この中から e と s1 を選ぶと正規部分群(点群 2 )になります。この部分群を eH を呼びましょう。eH の元に、たとえば s2 を掛けると、s2e=s2,s2s1=s3 となり s3 を掛けると s3e=s3,s3s1=s2 となりますから、 s2 と s3 は同じ剰余類であることが分かります。これを s2H と呼ぶことにしましょう。同様に、s4 と s5 、s6 と s7 も同じ剰余類であり、それぞれ s4H,s6H と呼びます。 これらの剰余類の集合は「 eH (=点群 2 )を法とする剰余群である」ということができます。
さて、この剰余群の構造を改めて眺めてみると、eH と s2H の間には180°回転操作の関係があり、s4H とs6H も同様の関係があります。このほかにも、eHとs4H の間やs2Hとs6H の間に鏡映操作などが見つかります。もうお分かりですね、そうです、この剰余群は 点群 2/m の構造と同じになっているのです。要するに「点群 4/m に対して部分群である点群 2 を法として剰余群をつくると、それは点群 2/m と同値構造である」というわけです。厳密さは欠けますがより直感的な表現として 「点群 4/m から点群 2 の成分を除去すると点群 2/m の性質が残る」、あるいは「点群 4/m を点群 2 で割ると点群 2/m になる」 といい換えてもいいでしょう。剰余群の記法は G/H のように書きますから、この場合は (4/m)/(2)となるわけです。割り算の記号がしっくりきますね。
空間群の剰余類・剰余群
最後に、空間群の剰余について考えます。空間群 Pnnn を例とします。この空間群は、以下のような8つの行列集合で表現することが出来ます。なお、n1,n2,n3 は全ての整数を表します。またe′は単位行列そのものではなく、単位行列をふくむ行列の集合ですからプライム記号を付けています。他も同様です。
e′=⎛⎝⎜⎜⎜100001000010n1n2n31⎞⎠⎟⎟⎟, s′1=⎛⎝⎜⎜⎜⎜10000100001¯012+n112+n2n31⎞⎠⎟⎟⎟⎟, s′2=⎛⎝⎜⎜⎜⎜1¯00001000010n112+n212+n31⎞⎠⎟⎟⎟⎟, s′3=⎛⎝⎜⎜⎜⎜100001¯00001012+n1n212+n31⎞⎠⎟⎟⎟⎟s′4=⎛⎝⎜⎜⎜⎜1¯0000100001¯012+n1n212+n31⎞⎠⎟⎟⎟⎟, s′5=⎛⎝⎜⎜⎜⎜1¯00001¯00001012+n112+n2n31⎞⎠⎟⎟⎟⎟, s′6=⎛⎝⎜⎜⎜⎜100001¯00001¯0n112+n212+n31⎞⎠⎟⎟⎟⎟, s′7=⎛⎝⎜⎜⎜⎜1¯00001¯00001¯0n1n2n31⎞⎠⎟⎟⎟⎟
e′ はこの空間群の並進群であり正規部分群です。まずは
e′ を法として剰余類を作ってみましょう。すぐにわかることですが、
s′1の中から任意の行列を選びそれを
e′ の中のどの行列と作用させても、その結果は必ず
s′1 に含まれます。
s′2 ~
s′7 も同様です。すなわち上記の8つの行列集合は、最初から
e′ を法とした剰余類になっていたということです。
e′ は正規部分群ですから、当然8つの行列集合は群の構造をもちます。
e′ が単位元です。念のため、この場合の算法は「それぞれの行列集合から1つずつ全ての組み合わせで行列を取り出しかけ合わせる」ということです。
空間群 Cc についても考えてみましょう。
e′0=⎛⎝⎜⎜⎜100001000010n1n2n31⎞⎠⎟⎟⎟, e′1=⎛⎝⎜⎜⎜⎜100001000010n1+12n2+12n31⎞⎠⎟⎟⎟⎟, s′2=⎛⎝⎜⎜⎜⎜100001¯000010n1n2n3+121⎞⎠⎟⎟⎟⎟, s′3=⎛⎝⎜⎜⎜⎜⎜100001¯000010n1+12n2+12n3+121⎞⎠⎟⎟⎟⎟⎟
先ほどと同様に、並進群を法としましょう。ただし、この場合の並進群は
e′0 だけでなく
e′1 も含みます。
e′0 と
e′1 を合わせて並進群 (
Eとします)となり、もちろん正規部分群でもあります。
E を法として剰余類を作ります。
s′2 から任意の行列を選び、それを
E から選んだ行列と作用させると、その結果は
s′2 あるいは
s′3 の中のどれかと必ず一致します。
s′3 の中から任意の行列を選び同じことをしても、やはりその結果は
s′2 あるいは
s′3 の中のどれかと一致します
5。すなわち
s′2 と
s′3 (後半の二つ)は同じ剰余類ということになり、これと
E (前半の二つ)とをあわせて位数が2の剰余群が形成されます。
あらためて、並進群を法として空間群を剰余した時の、各剰余類の関係を見てみましょう。いずれの例でも、左上の3行3列の部分行列(A とする) に注目すると、一切の重複がないことに気づくと思います。
⎛⎝⎜⎜⎜A11A21A310A12A22A320A13A23A330BxByBz1⎞⎠⎟⎟⎟=⎛⎝⎜⎜⎜A000B1⎞⎠⎟⎟⎟
空間群
Pnnn の場合はもともと
A の部分の重複はありませんでしたし、空間群
Cc の場合は
A の部分が同一の行列集合がまとまってひとつの剰余類になりました。並進群を法として剰余すると、かならずこのような性質が生まれます
6。アフィン変換行列の場合、
A の部分は
A の部分にしか影響を及ぼしませんから、結局このような剰余類の関係は
A の部分だけを取り出した群の構造と同値ということです。そして
A の部分は、並進を伴わない対称操作 (回転、回反、対称心、鏡映) を表すということを思い出してください。つまり、
空間群の部分群である並進群を法として剰余群を作ると、それは点群と同じ代数的構造を持っている、ということになります
7。これがずばり空間群と点群の群論的関係です。正確さには欠けますが、より直感的な表現として 「空間群から
A の部分だけ取り出した集合が点群である」 といってもよいかもしれません。上記の場合、空間群
Pnnn は 点群
mmm と、空間群
Cc は 点群
m に対応します。
部分群、剰余類に関連するいくつかの用語
部分群の指数 (Index of a subgroup)
もとの群に対して、ある部分群の大きさを示す概念が「指数 (index)」です。たとえば、G の部分群 H があって、G の元の半分が H に含まれるとき、指数は2となります。有限群の部分群を考える場合は、単純に「もとの群の位数 / 部分群の位数」 が指数ということになります。しかし、この式のままでは無限群へ拡張することが出来ません。より厳密には、H の G における指数は H の G における剰余類の個数として定義されます。上で挙げた例では、 Pnnn を並進群(=P1) を法として剰余した結果、8つの剰余類が得られました。つまり、P1 の Pnnn における指数は8ということになります。同様に、P1 の Cc における指数は4となります
通常、H の G における指数は、 |G:H| あるいは [G:H] のように表現されます。 英語では、”Index of H in G”のように表現されることが多いです。
極大部分群 (Maximal subgroup)
日本語では 「最大部分群」 として表現されることも多いのですが、全ての部分群の中で最も大きい(つまり指数が小さい)という意味ではないので、このHPでは極大部分群と表現します。ある群 G の部分群 H が極大部分群であるための要件は、H の超群となるようなG の部分群が (G や Hそのものは除いて) 存在しないことです。群 G の極大部分群が H であることは、H の極小超群 (Minimal supergroup) が群 G であるということと同義です。
例えば点群 4 に対して点群 2 は極大部分群です。点群 4 の部分群であって点群 2 の超群となるような群は存在しないからです。点群 32 の場合、極大部分群は点群 3と(方位の異なる3つの)点群 2 となります。前者の位数は2であり後者の位数は3ですが、位数の大小は関係ないということに注意しましょう。
空間群の場合、極大部分群は無限に存在します。例えば並進群のみを含む空間群 P1 の元は
⎛⎝⎜⎜⎜100001000010n1n2n31⎞⎠⎟⎟⎟ ただし、n1,n2,n3はすべての整数
となりますが、これに対して以下の元からなる部分群は極大部分群になります。
⎛⎝⎜⎜⎜100001000010pn1n2n31⎞⎠⎟⎟⎟ ただし、n1,n2,n3はすべての整数で、pは任意の素数
この部分群の位数は pです。素数は無限にありますから P1 の極大部分群も無限にあるということになります。空間群の部分群の考え方については、別のページで改めて解説しています。
脚注
