#巡回群とは 20

Q.
N乗して1になる複素数を
z(N, k)＝cos(2π・k/N)＋i sin(2π・k/N)
とおく.
集合
S ＝ { z(N, k) | k＝0,1, …, N－1 }
から #巡回群 を作れ.

A.
S上の #二項演算 として
乗法を導入した #代数系 をGとおくと，
G は z(N, 1) を #生成元 とする
#位数 Nの有限巡回群.

#巡回群とは 19

Q.
虚数単位 i を #生成元 として
#巡回群
G＝‹i›＝{ i, -1, -i, 1 }
を作る.

(1) Gにおける -1 の #位数 は？
(2) Gにおける 1 の位数は？

A.
(1)
(-1)^n＝e＝1となる最小の自然数nは2なので
ord(-1)＝2.

(2)
1^n＝e＝1となる最小の自然数nは1なので
ord(1)＝1.

#巡回群とは 18

Q.
虚数単位 i を #生成元 として
#巡回群
G＝‹i›＝{ i, -1, -i, 1 }
を作る.

(1)#群 G の #位数 は？
(2) i の位数は？

A.
(1)
#有限群 で要素数が4なので
|G|＝4

(2)
iはGの生成元だから
ord(i)＝|G|＝4.
またi^n＝e＝1となる最小の自然数nは4なので
やはりord(i)＝4.

#巡回群とは 17

Q.
次の数を #生成元 として
乗法に基づいた #巡回群 を作り
その #位数 を求めよ

(1) 虚数単位 i
(2) -1

A.

(1)
‹ i › ＝ {
i,
i^2＝-1,
i^3＝-i,
i^4＝1
}
＝{ i, -1, -i, 1 }
位数は4.

(2)
‹ -1 › ＝ {
-1,
(-1)^2＝1
}
＝{ -1, 1 }
位数は2.

#巡回群とは 14

Q.
(1) #群 G の位数
(2) #巡回群 G の #生成元 a の位数
↑
どちらも #位数 と呼ぶので
紛らわしくないか？

A.
確かに同じ用語であるが，
群 G が巡回群である場合
(1)の「群の位数」と
(2)の「元の位数」で
値が一致するため，紛らわしくはない.

#巡回群とは 9

①「#群 G の 位数 |G| 」
②「#巡回群 ‹a› の #生成元 a の位数」
という
2種類の「#位数」の定義を学んだ.

①と②の間に
関連はあるのだろうか？

実は，巡回群が #有限群 の場合
②の値が n ならば
①の値も n である.

次ツイからその事を証明してゆこう.

#巡回群とは 8

Q.
#単位群(自明な群)は #巡回群 であり，
その #生成元 の #位数 が
1である事を示せ.

A.
単位群(自明群，trivial group)は
ただ1つの元(#単位元)からなる #群 {e}.

全要素が生成元 e の #べき で書けるので巡回群.

e^n＝eとなる最小の自然数は
n＝1なので，
eの位数は1.

#巡回群とは 7

Q.
#巡回群 G の
#生成元 が a であるとき，
a の #位数 とは.

A.
G が #有限群 の場合，
e を #単位元 とし
a^m ＝ e を満たす
最小の自然数 m が存在し
その m を
「元 a の位数」と呼ぶ.

#群論の知識

#群 の #表示 (presentation of group)
https://ja.wikipedia.org/wiki/...

群を
①#生成元 と
②生成元の間に成り立つ関係
によって特定すること.

一般に群は必ず表示を持つが
一意的ではない.

①の生成元のみがあり
②の関係が定義されない場合は，
#自由群 という.

#巡回群とは 6

Q.
#巡回群 は
#アーベル群 である事を示せ.

A.
#群 Gが
aを #生成元 とする巡回群 ‹ a › ならば
Gの任意の2元x,yは
x＝a^m
y＝a^n
という #べき の形である.(m,n∈ℤ)
xy＝(a^m)(a^n)＝a^{m+n}
yx＝(a^n)(a^m)＝a^{n+m}＝a^{m+n}＝xy
なので，#交換法則 が成り立つ.

#巡回群とは 5

Q.
#巡回群 G の
#生成元 a を考えるメリットは？

A.
G ＝ ‹ a ›
のように表記すれば，
#群 Gの全ての要素をいちいち列挙しなくて済み
面倒が省ける.

群がもつ全要素の情報を
aというただ1つの元だけで表せる.

群の本質的な情報を
簡潔に手短に言い表せる，ということ.

#巡回群とは 4

#巡回群(cyclic group)
https://ja.wikipedia.org/wiki/...

・ただ1つの元で生成される #群.
#生成 とは，群のどの元も
#生成元 の整数 #べき で書けるという事.

・単項生成群(monogenous group)とも.

・生成元(generator) のことを
原始元(primitive) とも呼ぶ.

#巡回群とは 3

Q.
#巡回群 とは.

A.
#群 G の
ある1つの元を a として，
G のすべての元が
a の #べき である( a^n に等しい)とき，
G ＝ ‹ a ›
と書き
G は「a を #生成元 とする巡回群」であるという.

#巡回群とは 1
↑
このタグでは
#群論の初歩 の内容を前提に
下記を学びますぞ！

▶#巡回群
･#べき
･#生成元 の位数
･巡回群の #位数
･例: #原始n乗根
･巡回群の #部分群

▶#群 の1つの元…
･…が #生成 する #巡回部分群
･…の位数

▶部分集合が #生成系 となる部分群
･#べき積