スポンサーリンク

「部分群とは？」「生成系とは？」「正規部分群とは？」丁寧に解説！【代数学の基礎シリーズ】群論編 その2

代数学
2022.10.17

本記事の内容

本記事は、部分群、生成系、正規部分群について解説する記事です。

本記事を読むにあたり、「群とは何か？」について知っている必要があるため、以下の記事も合わせて御覧ください。

「群とは？」「演算とは？〜例から丁寧に解説！〜【代数学の基礎シリーズ】群論編 その1
...
for-spring.com
2022.10.16

「群とは何か？」の軽い復習

群とは以下でした。

群

GGを空でない集合とする。GG上の演算φ:G×G⟶Gφ:G×G⟶Gが定められていて、次の性質を満たすとき、GGを群(group)という。
  1. 結合律
    2. 任意のa,b,c∈Ga,b,c∈Gに対して、φ(φ(a,b),c)=φ(a,φ(b,c))φ(φ(a,b),c)=φ(a,φ(b,c))が成り立つ。
  2. 単位元の存在
    3. あるe∈Ge∈Gが存在して、任意のa∈Ga∈Gに対してφ(a,e)=φ(e,a)=aφ(a,e)=φ(e,a)=aが成り立つ。このe∈Ge∈Gを単位元と呼び、1Gと書くことがある。
  3. 逆元の存在
    4. 任意のa∈Gに対して、あるb∈Gが存在して、φ(a,b)=φ(b,a)=eが成り立つ。このb∈Gをa∈Gの逆元といい、a−1で表す。

演算φ:G×G⟶Gに対して
φ(a,b)=ab
と書くことにすると、

群(簡易的な記法を使ったver.)

Gを空でない集合とする。G上の演算が定められていて、次の性質を満たすとき、Gを群(group)という。
  1. 結合律
    2. 任意のa,b,c∈Gに対して、(ab)c=a(bc)が成り立つ。
  2. 単位元の存在
    3. あるe∈Gが存在して、任意のa∈Gに対してae=ea=aが成り立つ。このe∈Gを単位元と呼び、1Gと書くことがある。
  3. 逆元の存在
    4. 任意のa∈Gに対して、あるb∈Gが存在して、ab=ba=eが成り立つ。このb∈Gをa∈Gの逆元といい、a−1で表す。

以降、断りがない限り、演算φ:G×G⟶Gの演算結果をφ(a,b)=abで表すことにします。

部分群

まずは、部分群について解説します。

部分群を一言で。

部分群を一言で述べれば、

群Gの部分集合が、同じ演算で群になるときに、その部分集合を部分群という。

ということです。

実は、すでに似たようなことを学習しています。
それは、部分空間です。

部分空間とは以下でした。

部分空間、部分ベクトル空間

線型空間Vの空でない部分集合Wが、Vにおける和とスカラー倍の演算によって線型空間になるとき、WをVの部分空間、または部分ベクトル空間という。

これを一言で述べれば

線型空間の部分集合が線型空間であるとき、その部分集合を部分空間という。

ということでした。
部分群はニュアンスとしては部分空間と同じです。

前回、「線型空間は群だ」と述べました。
実は、部分空間は、線型空間を群としてとらえたときには部分群です。

「同じ演算」って？

ここで重要なのが、「群Gと同じ演算で」というところです。
つまり、群Gとその部分集合H⊂Gがまた群だったとしても、GとHの演算が”異なって”いれば、HはGの部分群とはいいません。
このとき、Hは単に別物の群です。

ただ、この”異なっていれば”ということも注意が必要です。
演算は写像でした。
写像が等しいというのは、

写像の相等

2つの写像f1:X1→Y1とf2:X2→Y2が等しいとは、
X1=X2かつY1=Y2かつ(∀x∈X1) f1(x)=f2(x)
が成り立つことをいう。

でした。
要するに、定義域と終域と、定義域の要素が終域の元とどのように対応するか、という規則が全て一致しているときに写像は等しいといいます。
つまり、定義域と終域と、定義域の要素が終域の元とどのように対応するか、という規則がのうち、どれか1つでも異なっていれば、写像としては等しくありません。
つまり、演算も等しくありません。

では、「同じ演算で」というのはどういう意味か、というと、群Gの演算φ:G×G⟶Gに対して、H⊂Gが演算φ|H×H:H×H⟶Hで群であるときに、HはGの部分群といいます。

部分群とは？(数学的なお話)

では、「部分群とは何か？」ということを数学的にお話します。

部分群

Gを群、H⊂Gとする。HがGの演算によって群になるとき、HをGの部分群(H is a subgroup of G)という。

部分群であることの必要十分条件

部分空間を解説した際にも、部分空間であることの必要十分条件を述べました。
それと同様に、部分群であるための必要十分条件もあります。

定理1.(部分群であることの必要十分条件)

群Gの部分集合HがGの部分群になるための必要十分条件は次の3つの条件が満たされることである。
  1. 1G∈Hである。ただし、1Gは群Gの単位元である。
  2. x,y∈H⇒xy∈Hである。
  3. x∈H⇒x−1∈Hである。

定理1.の証明

(1)HがGの部分群ならば、1.、2.、3.を満たすことの証明

(1)-①. 条件1.を満たすことの証明

Hの演算はGの演算と一致するので、Hの単位元1Hに対して、Gでの演算により1H1H=1Hが成り立ちます。
この等式に左から1−1Hを施すと
1−1H1H1H=1−1H1H
が得られます。
1HはHの単位元だから、Gの演算で1Hと一致します。
つまり、

(左辺)=1H

です。
一方で、右辺はの1−1HはGの演算で1Hの逆元だから、

(右辺)=1G

となります。
故に、1H=1Gとなるため、1H∈Hから1G∈Gとなり、1.が成り立ちます。

(1)-②. 条件2.を満たすことの証明

Gの演算によりHが群になるので、そもそも演算が定まっています。
従って、x,y∈Hに対してxy∈Hとなります。

(1)-③. 条件3.を満たすことの証明

x∈Hに対して、Hでのxの逆元をyとしましょう。
すると、Gの演算でxy=yx=1Hです。
(1)-①.の証明から、1H=1Gだったので、xy=yx=1H=1Gです。
これはyがxのGでの逆元でもある、ということを意味しています。
従って、y=x−1∈Hとなり、条件3.を満たします。

(2)Hが条件1.、2.、3.を満せば、HはGの部分群であることの証明

逆に、Hが条件1.、2.、3.、を満たすとしましょう。
条件1.により、Hは空集合ではありません。
任意のx∈Gに対して、x1G=1Gx=xが成り立つので、H⊂Gだから、任意のx∈Hに対してもx1G=1Gx=xが成り立ちます。
故に、1GはHでも単位元です。
Gは群であるので、結合律を満たすから、その部分集合Hでも結合律を満たします。
x∈Hであれば、Gの要素としてのx−1は、条件3.によりHの要素でもあり、xx−1=x−1x=1G=1Hなので、これはHにおいてもxの逆元です。
以上のことから、HはGの演算でもって群になります。

定理1.の証明終わり

部分群の例

たとえば、どんなのが部分群か、ということを紹介します。

例2.(自明な部分群)

Gを群とするとき、{1G}、G自身はGの部分群です。
実際、

  1. 1G∈{1G}、
  2. 1G1G=1G∈{1G}、
  3. 1G1G=1Gにより、1Gは1Gの逆元だから1−1G=1G∈{1G}

であり、Gはそもそも群であるから、{1G}とGはGの部分群です。

これらをGの自明な部分群といいます。

例3.(nZ)

前回証明したとおり、Zはたし算で群です(これについては【代数学の基礎シリーズ】群論編 その1を御覧ください)。
n∈Zとするとき、
nZ={nx|x∈Z}
とします。
つまり、整数の範囲でのnの倍数の集合、ということです。
実は、nZはZの部分群です。

Zの単位元は0です。
n×0=0∈Zだから、定理1.の条件1.を満たします。

nZの任意の2つの要素はnx, ny (x,y∈Z)という形をしています。
すると、nx+ny=n(x+y)∈nZとなります。
ただし、今考えている演算は+だ、ということに注意です。
従って、定理1.の条件2.を満たします。

nxの逆元は、−nx=n(−x)∈nZだから、定理1.の条件3.も満たします。
従って、nZはZの部分群です。

※ちなみに、Zの部分群はすべてnZという形をしています。

例4.(特殊線型群)

前回、一般線形群というものを紹介しました。
“一般”に対して”特殊”が存在します。

GLn(R)={A|Aは(n,n)型の正則な行列}

は、行列の積を演算として群でした(これについては【代数学の基礎シリーズ】群論編 その1を御覧ください)。
そして、GLn(R)を一般線型群と呼ぶのでした。

このとき、
H={B∈GLn(R)|detB=1}
とすると、HはGLn(R)の部分群です。

実際、

  1. Inをn次の単位行列とすると、detIn=1だからIn∈Hです。
  2. C,D∈Hとすると、det(CD)=detC⋅detD=1⋅1=1により(これについては【線型代数学の基礎シリーズ】行列式編 その6を御覧ください)、CD∈Hです。
  3. 任意のB∈Hに対して、1=detIn=det(BB−1)=detB×detB−1だから、
    detB−1=(detB)−1=1−1=1
    です。
    故に、B−1∈Hです。

により、定理1.によりHはGLn(R)の部分群です。

このH={B∈GLn(R)|detB=1}のことをSLn(R)と書いて、つまり
SLn(R)={B∈GLn(R)|detB=1}
と書いて、特殊線型群といいます。

余談(SLn(R)という記号について) 記号SLn(R)のSLは、GLn(R)と同様に、特殊線型群の英語名Special Liner Groupが由来です。

生成された部分群

次に、生成された部分群について解説します。

「生成された部分群」を一言で。

生成された部分群を一言で述べれば

群Gの部分集合で、あるS⊂Gを含む最小の部分群のこと。

です。
要するに、群Gのとある部分集合Sを含む最小の部分群がSにより生成された部分群です。

「”最小”の？」となるかもしれませんが、これはどういうことかと言うと、HがGの部分群であり、なおかつS⊂Hであれば、必ず”Sによって生成された部分群”と呼ばれるGの部分群はHに含まれる、という意味です。

「生成された部分群」とは？(数学的なお話)

まず、語(word)というものを定めます。

語(word)

Gを群、S⊂Gとする。x1,…,xn∈Sによりx±11⋯x±1nという形をしたGの要素をSの要素による語(word)という。
ただし、n=0ならばx±11⋯x±1nは単位元1Gを表すとし、±1は各xiごとに1か−1のどちらでも良いとする。

ここで、x±1iという記号ですが、x+1iはxiそのものを意味し、x−1iはxiの逆元を意味しています。

このとき、次が成り立ちます。

定理5.

⟨S⟩をSの要素による語全体の集合とするとき、次の1.、2.が成り立つ。
  1. ⟨S⟩はGの部分群である。
  2. HがGの部分群でSを含むならば、⟨S⟩⊂Hである。すなわち、⟨S⟩がSを含むような最小の部分群である。

ただし、注意として、⟨S⟩⊂GはGの部分群ですが、S⊂Gは群とは限りません。

定理5.の証明

(1)の証明

  1. 語の部分で定めたn=0の場合により、1G∈⟨S⟩です。
  2. x1,…,xn,y1,…,yn∈Sであれば、 (x±11⋯x±1n)(y±11⋯y±1n)=x±11⋯x±1ny±11⋯y±1n もSの要素による語となり、⟨S⟩の要素です。
  3. 次の事実を使います。

    命題6.

    1. 群の単位元は唯一つである。
    2. a∈Gに対して、その逆元は一意的に定まる。
    3. a,b∈Gならば、(a∗b)−1=b−1∗a−1である。
    4. a∈Gならば、(a−1)−1=aである。
    命題6.の証明は【代数学の基礎シリーズ】群論編 その1を御覧ください。
    命題6.の3.と4.からx±11⋯x±1nの逆元はx∓1n⋯x∓11であり、これもSの要素による語となるので、⟨S⟩の要素です。
    従って、定理1.から、⟨S⟩はGの部分群です。

(2)の証明

HがGの部分群で、S⊂Hを含むとしましょう。
n=0の場合に対応する⟨S⟩の要素1Gは、HがGの部分群であることからHの要素です。
x1,…,xn∈Sであれば、S⊂Hなのでx1,…,xn∈Hです。
故に、x±11,…,x±1n∈Hです。
HはGの部分群なので、定理1.の2.により、任意のx,y∈Hならばxy∈Hだから、x±11⋯x±1n∈Hです。
従って、⟨S⟩⊂Hです。

定理5.の証明終わり

定理5.の⟨S⟩のことをSによって生成された部分群、Sのことを生成系、Sの要素を生成元といいます。

これをまとめると、次です。

生成された部分群、生成系、生成元

⟨S⟩をSの要素による語全体の集合とするとき、⟨S⟩をSによって生成された部分群、Sのことを生成系、Sの要素を生成元という。

生成された部分群の例

Gを群、x∈G、S={x}とします。
n∈Zであれば、xn∈⟨S⟩です。
x±1⋯x±1は、+の数がa個、−の数がb個なら、xa−bです。
a−bは全ての整数になり得るので、
⟨S⟩={xn|b∈Z}
です。
例えば、G=Z、n∈Z、S={n}としましょう。
このとき、⟨S⟩=nZです。
ちなみに、このnは先のxnのxに対応します(nには対応しません)。

巡回群

1つの要素で生成される群を巡回群といいます。

巡回群、巡回部分群

1つの要素で生成される群を巡回群という。群の部分群で、かつ巡回群であるものを巡回部分群という。

言い換えれば、群Gが巡回群である、というのは、

ある要素x∈Gが存在して、任意のg∈Gがg=xn (n∈Z)という形をしている。

ということです。

一番簡単な巡回部分群の例はZでしょう。
なぜなら、Z=⟨1⟩だからです。
実際、任意のn∈Zはn=n×1と書けるからです。
故に、先ほど紹介したnZはnを生成元とするZの巡回部分群です。

正規部分群

部分群の中で、特別な性質を持つものを正規部分群といいます。
正規部分群は後に解説する準同型写像とも深く関わっており、重要な概念です。

「正規部分群」とは？

正規部分群

HをGの部分群とする。任意のg∈G、任意のh∈Hに対して、ghg−1∈Hとなるとき、HをGの正規部分群(normal subgroup of G)という。またこのとき、H◃G、あるいはG▹Hと書く。

これが正規部分群です。
この旨味は剰余群(商群)や準同型写像(後の記事で解説します)を学ぶと分かると思います。

正規部分群の例

例7.(可換群の部分群は正規部分群)

群Gが可換群で、HがGの任意の部分群であれば、Hは必ず正規部分群です。

実際、任意のg∈Gと任意のh∈Hに対して
ghg−1=gg−1h=1Gh=h∈h
だからです。

例8.(特殊線型群は一般線形群の正規部分群)

先程述べた、特殊線型群
SLn(R)={B∈GLn(R)|detB=1}
は、一般線形群

GLn(R)={A|Aは(n,n)型の正則な行列}

の正規部分群です。

実際、行列式の性質det(AB)=detA⋅detB(これについては【線型代数学の基礎シリーズ】行列式編 その6を御覧ください)を使うと、A∈GLn(R)とB∈SLn(R)に対して、
det(ABA−1)=detA⋅detB⋅det(A−1)=detA⋅detB⋅(detA)−1=detB=1
が成り立ちます。
故に、ABA−1∈SLn(R)となります。
従って、SLn(R)◃GLn(R)です。

正規部分群の判定法

群Gの部分群Hが正規部分群であることを確かめるとき、先に行ったghg−1∈Hを満たすかどうかを確かめる方法以外もあります。

定理9.(正規部分群の判定法)

Nは群Gの部分群で、G、Nはそれぞれ部分集合S、Tで生成されているとする。このとき、任意のx∈S、任意のy∈Tに対してxyx−1∈Nかつx−1yx∈Nならば、Nは正規部分群である。もしGが有限群、すなわち群Gの要素の数が有限個の場合は、条件xyx−1∈Nだけで十分である。

定理9.の証明

証明の前に記号を導入します。
g∈Gに対して
gHg−1={ghg−1|h∈H}
とします。

まず、任意のx∈Sに対して、xNx−1⊂Nかつx−1Nx⊂Nを示します。
Nの任意の要素zはTの要素による語なので、y1,…,yn∈Tによりz=y±11…y±1nという形をしています。
すると、
xy±11…y±1nx−1=xy±11x−1xy±12x−1…xy±1nx−1
ですが、xyix−1∈Nなので、
(xyix−1)−1=xy−1ix−1∈N
でもあります。
従って、xzx−1∈Nです。
x−1Nx⊂Nとなることも同様です。

Gの任意の要素はSの要素による語です。
つまり、x1,…,xm∈Sが存在して、g=x±11…x±1mという形をしています。
すると、
gNg−1=(x±11…x±1m)N(x±11…x±1m)−1=(x±11…x±1m−1)x±1mN(x±1m)−1(x±11…x±1m−1)−1⊂(x±11…x±1m−1)N(x±11…x±1m−1)−1
です。
mに関する数学的帰納法でこれはNの要素となります。
従って、Nは正規部分群です。

※以下、「位数」という先の話を使います。
以下の記事を参照の後、お読み下さい。
【代数学の基礎シリーズ】群論編 その4、【代数学の基礎シリーズ】群論編 その15

もし、Gが有限群ならば、n=|G|とすると、任意のx∈Sに対してxn=1Gです。
x−1=xn−1なので、Sの要素を語として、x1,…,xm∈Sによりx1⋯xmという形をしたものだけを考えれば良いです。
従って、上の証明から、xyx−1∈Nが任意のx∈S、y∈Tに対して成り立てば十分です。

定理9.の証明終わり

定理9.が述べていることは

正規部分群であることの判定には、G、Nともに生成元だけ考えればOKだ。

ということです。
定理9.の系として以下を述べておきます。

系10.

Gを群、S⊂Gとする。このとき N=⟨{xyx−1|x∈G y∈S}⟩ はSを含む最小のGの正規部分群である。

皆様のコメントを下さい！

今回はガウスについてお話します。

カール・フリードリヒ・ガウス(1777-1855)は、数学史上に燦然と輝く業績を数多く挙げた数学者です。
「数学の王」とも称せられます。
哲学ではカントがそうであるように、すべての数学は一旦ガウスに流れ込み、大きく形を変えてガウスから流れ出たと言っても過言ではありません。
ドイツのブラウンズウィッグで貧しい家に生まれましたが、幼少の頃から数学の才能を示し、フェルディナンド大公の庇護のもとでゲッチンゲン大学で学びます。
代数方程式は常に(複素数)解を持つという「代数学の基本定理」の 証明により、1799 年に学位を取得しました。
1807年から終生ゲッチンゲン大学の教授の地位にありました。
天文学・電磁気学に対する貢献も大きいです。

19歳のときに正17角形の作図が可能であることを発見。
これがガウスを数学、特に整数論の研究に向かわせる動機となりました。
整数論に対するガウスの貢献は極めて多大なものであり、その後の代数的整数論の発展に決定的な影響を与えました。
また、ガウスの未発表のノートにおいて展開された楕円関数論は、時代を超越する高度の内容を持ちます。
実際、ガウスの見越していた楕円関数論の道筋は，その後アーベルとヤコビによって完成されました。

ガウスは「完全主義者」であったこともあり、開拓途上ということで、多くの発見を論文や著書として発表することがありませんでした。
複素関数論や位相幾何学に繋がる結果も未発表です。
複素関数論はコーシーにより、位相幾何学は弟子のリスティングを経てポアンカレにより発展されました。
また、ロバチェフスキーとボヤイにより独立に発見された非ユークリッド幾何学も、ガウスが既に知っていたことは、友人への書簡に表明されている内容から明かですが、決して公にされることはありませんでした。
非ユー クリッド幾何学の発見は曲面の微分幾何学の創始とともに、ガウスが「空間概念」の新理論に壮大な構想を持っていたことを示唆しています。
ガウスの夢は、1854年にリーマンの教授資格講演の中で実現することになりました。

いかがでしたか？
ガウスは最も偉大な数学者と言っても過言ではないような大数学者です。
ここに書かれている事のほかにでガウスについてご存知のことがあれば是非コメントで教えて下さい！

結

今回は部分群、生成系、正規部分群について解説しました。
部分群とは、部分集合でかつ同じ演算で群となる集合で、生成される部分群は、ある集合を含む最小の部分群、正規部分群は特別な性質を持つ部分群です。

次回は準同型写像について解説します。

乞うご期待！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。

代数についてより詳しく知りたい方は以下を参考にすると良いと思います！

スポンサーリンク

コメントをする

  1. 名前:名無しさん : 投稿日：2023/02/16(木) 12:06:03 ID：MzODMzOTM

    語の定義において、n=1のとき、というのはn=0のとき、だと思われます。
    また、正規部分群の判定法において、元の位数が群の位数の約数であることを用いていますが、少なくともこの時点までに扱われてはいないと思います。

    アーベル、ガウスの逸話ともに面白かったです！

    返信
    • 名前:オノコウスケ : 投稿日：2023/02/19(日) 02:13:32 ID：Y1MDQ3MDI

      名無し様

      >語の定義において、n=1のとき、というのはn=0のとき、だと思われます。
      ご指摘ありがとうございます。
      おっしゃるとおりです。訂正いたしました。

      >また、正規部分群の判定法において、元の位数が群の位数の約数であることを用いていますが、少なくともこの時点までに扱われてはいないと思います。
      ご指摘ありがとうございます。
      これもまたおっしゃるとおりでした。追記いたしました。

      &gr;アーベル、ガウスの逸話ともに面白かったです！
      ありがとうございます。励みになります！

      返信
  2. 名前:名無しさん : 投稿日：2023/11/02(木) 10:23:36 ID：k4Mzg4NjI

    表記が見にくいかもしれませんがどうかお許しください。
    「Gを群、S⊂Gとする。x1,…,xn ∈S により x1^±1・x2^±1・ … ・xn^±1 という形をしたGの要素をSの要素による語(word)という。」という記述で質問です。

    　「 x1,…,xn ∈S 」ですが、 x1, x2, x3, x4, x5,…,xn は Ｓの元であれば同じものを繰り返して使ってもよい、と読んでよいのでしょうか？
    そしてnもＳの元の個数ということではなく、適当なnと考えればよいのでしょうか？

    　最初、Ｓのn個の元をそれぞれ +1乗か-1乗して、演算をすると考えたのですが、それだと群に必要な語(word)が全て生成されないように思えて、不思議でした。 たとえば、Ｇ=Ｚ、Ｓ={ 2,4,6 } で、±2±4±6 だと ={ -12,-8,-4, 0, 4, 8, 12 } で、群になりません。

    　群にするには、±2、±4、±6 を必要なだけ使って、
    ±2±2±2…±4±4±4…±6±6±6…… を計算しないといけないと思うのですが、 「x1^±1・x2^±1・ … ・xn^±1 という形をしたGの要素」というのは、そういう解釈でよいのでしょうか？

    返信
    • 名前:オノコウスケ : 投稿日：2023/11/05(日) 00:42:28 ID：kwMDkzODE

      名無し様

      コメントありがとうございます。
      >「 x1,…,xn ∈S 」ですが、 x1, x2, x3, x4, x5,…,xn は Ｓの元であれば同じものを繰り返して使ってもよい、と読んでよいのでしょうか？そしてnもＳの元の個数ということではなく、適当なnと考えればよいのでしょうか？
      とのお問い合わせにつきまして、お答えいたします。

      1. 「 x1,…,xn ∈S 」ですが、 x1, x2, x3, x4, x5,…,xn は Ｓの元であれば同じものを繰り返して使ってもよい、と読んでよいのでしょうか？
      おっしゃる通りでございます。群の生成のモチベーションの1つとして、「群の部分集合を含むような部分群を構成したい」というものがあります。
      例えば、Gを群、S(≠∅)⊂Gとします。仮に、S={x,y}であったとすれば、Sを含むような部分群の要素としてはx−1やらy−1やらが存在していなければなりません(群だから)。
      また、群である以上、演算について閉じていないといけないため、xyもy−1x−1も含まれていないといけませんし、これらだけではありません。となると、たくさんパターンがあります。
      もう1つ例を挙げれば、xyx−1y2x−1なども要素として含まなければなりません。これを一般化したものが「x±11x±12⋯x±1n」となるのです。
      したがって、x1,x2,⋯,xn∈S⊂Gにおいて、xi=xjなる1≤i,j≤nが存在してもOKです。

      2. そしてnもＳの元の個数ということではなく、適当なnと考えればよいのでしょうか？
      おっしゃる通りです。nは有限の自然数であれば、何でもOKです。実際、生成された部分群を構成する際、nも変数となります。というのも、1.で述べたようにS={x,y}の時でも、Sによって生成された部分群はx−1やy−1だけでなくxyやy−1x−1、xyx−1y2x−1なども要素として含まなければならないからです。

      返信
タイトルとURLをコピーしました