1

Abstract Algebra1.1

101
2
$$$$

こんにちは、itouです。これはAbstract AlgebraのPart1Chapter1の勉強ノートです。
前回

記事の編成について

Abstract Algebraに従ってまとめていきます。演習は別にまとめようと思います。つけました。

写経1.1

以下、$G$を(空でない)集合とする

定義

二項演算(binary operation)

(1)$G$上の二項演算★とは関数★:$G×G→G$のことをいい,a★bとかく.
(2)二項演算★が結合法則(associative property)を満たすとは,任意の$a,b,c \in G$について$a★(b★c)=(a★b)★c$が成立することをいう.
(3)任意の$a,b \in G$について$a★b=b★a$が成立するなら、★(や$G$)は可換(commutative)であるという.

群(group)

(1)下の(i)(ⅱ)(ⅲ)を満たす集合と二項演算の組(G,★)を群という.
(i)★が可換
(ⅱ)ある$G$の元$e$が存在して,任意の$a \in G$に対し$a★e=e★a$が成立する.(この$e$を単位元という)
(ⅲ)任意の$a \in G$に対し$G$の元$b$が存在して,$a★b=b★a=e$が成立する.(この$b$$a$の逆元といい,$a^{-1}$とかく)

以下、$G$は群、$a,b \in G$とする。

命題1

(1)$G$の単位元はただ一つである.
(2)$a$の逆元はただ一つである.
(3)$(a^{-1})^{-1}=a$
(4)$ (a★b)^{-1}=(b^{-1}★a^{-1})$
(5)任意の$a_1,a_2,…,a_n$について、$a_1★a_2★…★a_n $の値は()のつけ方によらない.

以降、★は省略します。$a★b$$ab$$\underbrace{a \cdots \cdots a}_{n \text{ 個}}$$a^n$とかきます。

命題2

方程式$ax=b$,$ya=b$はただ一つの解$x,y \in G$をもつ.また,以下が成り立つ.
(1)$au=av$ならば$u=v$
(2)$ub=vb$ならば$u=v$

位数

$x \in G$とする.$x^n=1$を満たす最小の自然数$n$$x$の位数という.

ポイント:
位数を使えば群のすべての元をいくつかの元だけで表せる
実際、次のようにできます。

二面体群(Dihederal Groups)

二面体群$D_{2n}$とは、正$n$多角形を自分自身に移す変換がなす群です。つまり回転と鏡映です。$\frac{2\pi}{n}$radの回転を$r$、鏡映を$s$に対応させます。二項演算は変換の合成です。例えば2回$\frac{2\pi}{n}$rad回転する変換は$r・r=r^2$、鏡映してから$\frac{2\pi}{n}$rad回転する変換は$rs$です。(操作は右から行う)
集合の中身はこんな感じです。
\begin{multline} \begin{split} D_{2n}=\{1,r,r^2,…r^{n-1},s,sr,sr^2,…,sr^{n-1}\} \end{split} \end{multline}
重要な性質として、

  1. $r^n=1$(一回転する操作は恒等変換)
  2. $s^2=1$(2回鏡に映す操作は恒等変換)
  3. $r^is=sr^{-i}$(鏡に映してから回転する操作と逆回転してから鏡に映す操作は同じ)

集合の中身をみると、$r,s$の記号しか登場していないことに気づきます。また、これらの性質を合わせて考えると、$r,s$と上の性質さえ用意すれば、二面体群を作れるのではないかと思います。
このことを強調するために、次の概念を導入します。

群の生成系(generating set of a group)

$G$の部分集合$S$であって$G$のすべての元が(群演算のもとで)その部分集合の有限個の元とそれらの逆元の結合として表せるとき,$S$$G$の生成系という.より一般に、$G$が部分集合$S$といくつかの関係式の組$R_1,R_2,…,R_m$で生成されるとき,これらを群の表示(presentation of group)といい,(この関係式のことを基本関係という)次のようにかく.$G=〈S|R_1,R_2,…,R_m〉$

二面体群は
$D_{2n}=〈r,s|r^n=s^2=1,rs=sr^{-1}〉$とかけます。二面体群の性質が一目でわかりますね。この表示では群の構造を把握することができます。しかし、いつもうまくいくわけではありません。例えば$Y=〈u,v|u^4=v^3=1,uv=v^2u^2〉$という群を考えてみると、実は$v=u=1$であることがわかります。(式変形によって$uv^{-1}=vu^{-1}$つまり$uv^{-1}=(uv^{-1})^{-1}$より$ u=v$なので)

対称群(Symmetric Groups)

置換(permutation),対称群(Symmetric groups)

$\Omega=\{1,2,…,n\}$とする.$\Omega$から$\Omega$への全単射な写像全体がなす集合を$S_n$とする.($S_n$の元を置換という)$S_n$の元は写像の合成に関して群をなす.これを対称群という.

$S_n$の単位元は恒等変換です。置換とは「入れ替え」のことです。あみだくじをイメージすればよいです。$S_n$の元は$n!$個あります。

例えば{1,2,3,4}を{2,3,4,1}に移す置換を(1,2,3,4)とかくことにします。(このような「1つずらす」置換を巡回置換といい、このカッコの中身の整数の個数を長さといいます)すべての置換は巡回置換の積で表示できます。

写経1.4

環(ring)

二項演算+,・が定められた集合$R$について,(R,+)が可換群であり,乗法について単位元が存在し,結合法則が成立し,分配法則が成立するなら,($R$,+,・)を環と呼ぶ.さらに乗法について可換である環を可換環という.

体(field)

二項演算+,・が定められた集合$F$について,($F$,+,・)が可換環であり,かつ0でない任意の元についてその乗法の逆元が存在するとき,($F$,+,・)を体という.

0は加法+の単位元のことです。
分配法則とは以下のことです。
$a・(b+c)=(a・b)+(a・c) a,b,c \in F$

例えば$\mathbb Z/p\mathbb Z$($p$は素数)は体となります。

行列群,四元数群

紹介だけです。

行列群(Matrix Group)

可換環 $F$上の n 次正則行列全体の集合を行列群といい,$GL_n(F)$と表す.

行列の積について群となります。

四元数群(Quaternion Groups)

四元数群$Q_8$とは,
$Q_8=〈1,i,j,k|i^2=j^2=k^2=-1〉$の定める群のことである.(ただし$1,i,j,k$$\mathbb R$上で線形独立)

写経1.6

二つの群が「同じ」であるとはどういうことでしょうか。つまり実際の定義のやり方は違っても、それらが群として、代数的構造が同じであるとはどういうことでしょうか。一言で言えば、それは二つの群の間で全単射写像がつくれることです。

準同型(homomorphism),同型(isomorphic)

準同型(homomorphism)

$(G,★)$,$(H,◇)$を群とする.次のような写像$\phi:G→H$があるとき,$(G,★)と(H,◇)$は準同型であるという.
任意の$x,y \in G$に対し$\phi(x★y)=\phi(x)◇\phi(y)$
(この写像$\phi$を準同型写像という)

同型(isomorphic)

$(G,★)$,$(H,◇)$を群とする.準同型写像$\phi:G→H$が存在して,全単射ならば,$G,H$は同型であるという.

ある群が別のよく知られた群と同型だとわかることは非常に重要です。

群作用(group action)

対称群や行列群などは、それ自体が変換の集まりであるので、それらを集合に作用することをきちんと定式化しておきます。

群作用(group action)

集合$A$への群$G$による群作用とは,$G×A$から$A$への写像($ga,\ g \in G,a \in A$とかく)
が次を満たすことをいう.
(1)任意の$g_1,g_2 \in G,a \in A$について$g_1(g_2a)=(g_1g_2)a $
(2)任意の$a$について$1a=a$

(正式にはこれを左作用という)

EXERCISE

一部だけ略解を載せます。正しさは保証しません。

c1.1

(21)$|x|=2n-1$とすると$x^{2n-1}=1$より$x^2n=x$.よって$k=n$とすればよい.
(22)\begin{multline} \begin{split} (g^{-1}xg)^n&=(g^{-1})^ng^nx^n(可換)\\&=x^n \end{split} \end{multline}
よりわかる.
(23)
$(x^{s})^a=1$なる$a$があるとすると.$a=pt+q$として,$(x^s)^a=(x^s)^{pt+q}=(x^s)^q=1$となるがこれは$n$の最小性に矛盾.
(31)群の位数を$2n$とすれば,$x^n$の位数は2
(32)$x^i=x^j(0 \leq j< n)$なる$i,j$が存在するとすれば,$x^{j-i}=1$であるが,これは$x$の位数の最小性に矛盾

c1.2

(4)$|r^k|$=2はすぐにわかる.$xr^k=r^kx$を示す.$x=r^a$のときは自明.$x=sr^a$のとき,
\begin{multline} \begin{split} x^{-1}r^kx&=(sr^a)^{-1}r^ksr^a\\ &=r^{-a}s^{-1}r^ksr^a\\ &=r^{-a}s^{-1}(sr^{-k})r^a(r^ks=sr^{-k}より)\\ &=r^k\\ \end{split} \end{multline}

よりわかる.
(5)ある$y$が存在してすべての$x$に対し$xy=yx$を満たす$y$$y=1$のみであることを示す.$x=sr^a,y=r^b$とすると,(4)と同様に$x^{-1}yx$を計算することで,
$x^{-1}yx=r^{-b}=r^b$よって$r^{2b}=1$.
いま,群の位数は奇数だから$b=0$しかありえない.よって$ y=1$が必要で,$y=1$は条件を満たすことは明らか.

(6)
$x^2=y^2=1$に注意して,
$txt=xyx^2y=x$.よって$tx=xt^{-1} $
(17)(a)(b)
(b)$X_{2n}$の元を書き下すと$1,x,x^2,y,yx,yx^2$である.
$n=3k+1$のとき
$x^{3k+1}=1$$x^3=1$より$x=1$.
$n=3k+2$のとき
$x^{3k+2}=1$$x^3=1$より$x^2=1$.
となる.
(a)$n=3k$のときは上の6個の元は相異なることがわかる.
(18)(b)(c)(d)(e)
(b)
\begin{multline} \begin{split} v^2u^3vu^{-3}&=v^2u^3vu=(v^2u^2)(uv)u\\ &=(uv)(v^2u^2)u\\ &=uv^3u^2u=u^4=1 \end{split} \end{multline}
よりわかる.
(c)
\begin{multline} \begin{split} v^{-1}u^{-1}vu&=v^2u^3vu=v^2(u^3v)u\\ &=v^2(vu^3)u=v^3u^4=1 \end{split} \end{multline}
よりわかる.
(d)$uv=v^2u^2=vu$より$uv=1$
(e)$v=u^{-1}$より$v^3=(u^{-1})^3=u^{-3}=u=1$より$u=v=1$.

以上でChapter1は終わりです。

感想

具体例とか省きながら写経してるので読みづらい所が結構ありますね、、演習やる方が大事かも、、

謝辞

ここまで読んで下さりありがとうございました。誤植、間違い等あればご指摘お願いします。

投稿日:45
更新日:46
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

itou
itou
140
12122
数学勉強中. https://twitter.com/G7UOMb0Zd8V7LdP

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中