2016-01-25

可解群の性質

数学群論

可解群の性質は比較的保存される．
それらを命題にしてまとめる．

命題
$G$ は可解群で， $N \triangleleft G$ ならば $G/N$ は可解群である．

（証明）
$G$ は可解群であるから，
1) $G=H_0 \triangleright H_1 \triangleright H_2 \triangleright \cdots \triangleright H_r =\{ 1 \}$ という列で，
2) $H_i /H_{i+1}(i=0,1,2, \ldots r-1)$ がアーベル群
を満たすものが存在する．ここで群の部分集合 $A,B$ に対して， $AB=\{ ab \mid a \in A, b \in B \}$ と定める． $AB=BA$ ならば $AB$ は部分群となる．
1)の列に対して $G=GN=H_0N \supset H_1 N \supset H_2 N \supset \cdots \supset H_r N = N$ を作る．
$N$ は正規部分群であるから，列の要素はすべて $G$ の部分群である．
また $H_i \triangleright N,H_i \triangleright H_{i+1}$ から，各 $an \in H_{i}N$ に対して
$(an)^{-1} H_{i+1}N(an)$
$=n^{-1}(a^{-1} H_{i+1})( N a)n$
$=n^{-1}(H_{i+1}a^{-1})(aN) n$
$=n^{-1} H_{i+1}N$
$=n^{-1} N H_{i+1}$
$=NH_{i+1}$
$=H_{i+1}N$
となる．つまり $H_{i}N \triangleright H_{i+1}N$ である．
さらに
$G/N=GN/N=H_0N/N \supset H_1 N/N \supset H_2 N/N \supset \cdots \supset H_r N/N = \{ [ 1 ] \}$
とすれば，第3同型定理より $(H_{i}N/N )/(H_{i+1}N/N) \cong H_{i}N/H_{i+1}N$ である．
第2同型定理より $H_i N/H_{ i+1 } N \cong H_i /( H_{i+1}N \cap H_i)$ で，右辺は $H_i / H_{i+1}$ に含まれるのでアーベル群である．
つまり $G/N$ は可解群である．（証明終）

命題
$N \triangleleft G$ とする． $G/N,N$ がともに可解群ならば $G$ も可解群である．

（証明）
それぞれ可解群であるから，定義を満たす列として
$G/N=H_0/N \triangleright H_1 /N \triangleright H_2 /N \triangleright \cdots \triangleright H_r /N = \{ [ 1 ] \}$
$N \triangleright N_1 \triangleright N_2 \triangleright \cdots N_s=\{ 1 \}$
がとれる．
このとき
$G \triangleright H_1 \triangleright \cdots \triangleright H_r=N \triangleright H_1 \triangleright \cdots N_s$
が $G$ の可解群の定義を満たす列である．（証明終）

命題
$G$ は可解群であれば $G$ の部分群 $H$ は可解群である．

（証明）
$G$ は可解群であるから，
1) $G=H_0 \triangleright H_1 \triangleright H_2 \triangleright \cdots \triangleright H_r =\{ 1 \}$ という列で，
2) $H_i /H_{i+1}(i=0,1,2, \ldots r-1)$ がアーベル群
を満たすものが存在する．1)の列に対して
$H=G \cap H=H_0 \cap H \triangleright H_1 \cap H \triangleright H_2 \cap H \triangleright \cdots \triangleright H_r \cap H=\{ 1 \}$
を作る．第2同型定理より $(H_i \cap H)/(H_{i+1} \cap H) \cong (H_i \cap H)/H_{i+1}$ で，右辺は $H_i /H_{i+1}$ に含まれるのでアーベル群である．
つまり $H$ は可解群である．（証明終）

正直なところ，だらだらと定義を書き下していく証明なので読む気がしないと思う．
証明の肝は可解群の定義から列をとることができるということと，証明したい群を積か共通部分をとるなどして生み出すことである．
これをおさえておけば再現は簡単だろうと思う．

2016-01-24

可解群のこと

数学群論

ガロア理論を用いて開冪により代数方程式の解の公式が表されるか，ということを示す際，この可解群の話は避けられない．
定義を眺めるといくぶんやる気がそがれると思うが，とりあえず書こう．

定義（可解群）
群 $G$ が可解群である，とは
1) $G=H_0 \triangleright H_1 \triangleright H_2 \triangleright \cdots \triangleright H_r=\{ 1 \}$ という正規部分群の列で，
2) $H_i / H_{i+1}(i=0 , 1 , 2, \ldots r-1)$ はアーベル群
を満たすものが存在することである．

ここからは群は有限群であるとする．

このとき次のことが成り立つ．

定理
群 $G$ が可解群であることと，
1) $G=H_0 \triangleright H_1 \triangleright H_2 \triangleright \cdots \triangleright H_s=\{ 1 \}$ という正規部分群の列で，
2) $H_i / H_{i+1}(i=0 , 1 , 2, \ldots s-1)$ は単純群かつ素数位数の巡回群
を満たすものが存在することは同値である．

（証明）
（ $\Leftarrow$ ）は明らかである．
（ $\Rightarrow$ ）
可解群で存在する正規部分群の列をさらに細かくする．
$H_i \triangleright H \triangleright H_{i+1}$ となる $H$ が存在するならば，それをとることを繰り返す．有限群であるからこの操作は有限回で終了する．
とれなくなったとき， $G=H_0 \triangleright H_1 \triangleright H_2 \triangleright \cdots \triangleright H_s=\{ 1 \}$ という正規部分群の列であるとする．
このとき各 $H_i / H_{i+1}$ は上のような $H$ が存在しないことから，正規部分群で自明なもの以外は存在しない．つまり単純群である．
また $H_i / H_{i+1}$ は元の正規部分群の列の剰余群の部分群とみなせるから，アーベル群である．
さらに自明な群ではないから，単位元以外の元がとれる．
この元で生成される巡回群を考えれば，それは $H_i / H_{i+1}$ の正規部分群であるが単純群で $\{ 1 \}$ でないので全体に一致する．
もしこの巡回群の位数が素数位数でないとすれば，正規部分群を真に含むので単純群であることに矛盾する．つまり素数位数の巡回群である．（証明終）

証明は素直だが，少しやぼったいかもしれない．

さて，可解群の話には次の交換子群の話がついてくる．上の定義があれば十分そうなのだが．

定義（交換子）
群 $G$ の要素 $a,b$ の交換子を $[ a,b ]=a^{-1} b^{-1}ab$ で定める．

定義（交換子群）
群 $G$ の部分群 $A,B$ に対し， $[ a,b ](a \in A, b \in B)$ 全体で生成される部分群を $A,B$ の交換子群 $[ A,B ]$ という．

定義（交換子群列）
群 $G$ に対し， $D_0(G)=G, D_1(G)= [ G, G]$ と定める．
さらに $D_{ i+1 }(G)=[ D_i(G) , D_i(G) ]$ とする．
このようにしてできる列， $G=D_0(G) \supset D_1(G) \supset D_2(G) \supset \cdots \supset D_i(G) \supset \cdots$ を交換子群列という．

連続して交換子について定義した．
これが何の役に立つのか，というと察しのいいかたは最後に列が登場したのを見て気がつくだろう．
実はこの交換子群列がどこかで $D_s(G)= \{ 1 \}$ となれば， $G$ は可解群であることが示されるのである．
まさにこの交換子群列が定義の正規部分群の列を与えているのである．
教科書によっては交換子で定義している．
前者の定義だと定義する内容は少なくて済むが，列が抽象的に与えられるためどのようにして見つけるのかが分からない．
後者であれば交換子を定義しなければいけないが，列を具体的に構成して与えられるという利点があるわけだ．

2016-01-23

図形と方程式・幾何ベクトル・複素平面の関係

数学

高校の数学２で図形と方程式という分野を学ぶ。
このときまでは直線は $y=mx+n$ で、放物線は $y=ax^2+bx+c$ ということは知っている。
図形は方程式で表現できる、ということをこの新しい分野で学ぶわけだ。

次に数学Bで幾何ベクトルを学び、さらに数学３で複素平面を、と進んでいく。

問題は幾何ベクトルでも複素平面でも、図形を式で表す試みをすることである。
その時々で新しい表現を学ぶのだが、それぞれに特徴があり
表現が得意なものもあれば苦手なものもあるという感じである。

でも共通しているものもあって、それは内分・外分の公式である。
複素平面バージョンで書いておこう。
複素数 $A(\alpha), B(\beta)$ を $m : n$ に内分する点は $\frac{n\alpha+m\beta}{m+n}$ である。

2016-01-22

e（自然対数の底、ネイピア数、ネピア数）の話

数学

自然対数の底，ネイピア数と呼ばれる数eがある。
日本では数学IIIで学ぶ。教科書では次の定義で導入される。

$\displaystyle e = \lim_{h \to 0} (1 + h)^{\frac{1}{h}}$

この式を眺めていてもよく分からない。

その理由は対数の微分にある。 $\log_a x$ に導関数の定義式を適用する。
$\frac{\log_a (x+h) - \log_a x}{h}=\log_a(1+\frac{h}{x})^{\frac{1}{h}}$
$h \to 0$ の極限を考えることになるが，最右辺の $\log$ の中身が問題である。
この部分が上の式によれば， $e^\frac{1}{x}$ に収束することになるわけだ。

2016-01-21

n次正方行列のスペクトル分解

数学

スペクトル分解を学んだことがなかったので，少しだけ考えたあと教科書を調べた。
一般のn次正方行列でできると思って考えていたのだが，教科書には正規行列であることが必要十分とあった。

もう少し勉強してから，ここに書くつもりである。

2016-01-20

行列の軽い計算

数学

対角化の計算をするときに，固有ベクトルをとって行列を作るわけだが，
次のことが気になっていた。

命題．
$P,Q$ は零行列ではないn次正方行列とする。
$PQ=O$ ならば $QP=O$ である。

（証明）
背理法。 $QP \neq O$ と仮定する。
$Q$ を右乗すると，左辺は $QPQ=QO=O$ から $O \neq O$ となり矛盾する。（証明終）

~~この零行列の部分を単位行列に変えた命題も全く同じように示される。~~

（20.5.20)
完全なる嘘の証明である．反例が存在する．
$\begin{equation*}P=\begin{pmatrix}1 &0 \\0 &0 \end{pmatrix},Q=\begin{pmatrix}0 &0 \\1 &0 \end{pmatrix} \end{equation*}$ とおくと， $PQ=O$ だが $QP \neq O$ である．

2016-01-19

級数の問題を解く（数列の問題との絡み）

数学

この問はどうするか。
１） $\displaystyle \lim_{n \to \infty} \frac{1+2+3+ \cdots +n}{n^2}$
級数ではないが，和の問題なので考えてみる。
解）
$\frac{1+2+ \cdots +n}{n^2}=\frac{n(n+1)}{2n^2}=\frac{1}{2}(1+\frac{1}{n}) \to \frac{1}{2}$ as $n \to \infty$ ．

このように一部が和の公式が使えるときは使うとよい。

２） $\frac{1}{1 \cdot 3} + \frac{1}{3 \cdot 5}+ \cdots +\frac{1}{(2n-1)(2n+1)}+ \cdots$
有名な部分分数分解を使うときである。 $\frac{1}{(2n-1)(2n+1)}=\frac{1}{2}(\frac{1}{2n-1} - \frac{1}{2n+1})$
解）
$n$ までの和は部分分数分解を使うと次のとおりである。
$\frac{1}{1 \cdot 3} + \frac{1}{3 \cdot 5}+ \cdots +\frac{1}{(2n-1)(2n+1)}$
$=\frac{1}{2}(\frac{1}{1}-\frac{1}{3}+\frac{1}{3}-\frac{1}{5} + \cdots +\frac{1}{2n-1} -\frac{1}{2n+1}$
$=\frac{1}{2}(\frac{1}{1} -\frac{1}{2n+1})$ （先頭と最後以外は前後で打ち消しあう）
$\to \frac{1}{2}$ as $n \to \infty$ ．