GW中、特に大きな外出予定はなかったのでもくもくと家で数学をしていた。
今回は、すうがくぶんかさんの「群論入門」の無料講座を紹介する。
この講座は去年の年初に開講されたもので、全体で約6時間と、他のすうがくぶんかさんの講座に比べればライトな部類に入る。
録画なのでリアルタイム性などはなく内容に関しても質問があれば有料で個別対応となるようだ。
公式サイトからの問い合わせ一本でGoogle Driveの共有リンクをいただき、資料と講師ノート合わせて動画を閲覧することができる。
ちなみに、画像にもあるように自前のノートは、以前このホビー数学で動画視聴したヨビノリ先生の群論入門のノートの続きを使った。
無料とはいえ内容に関してどこまで踏み込んで公に書いて良いのか確認はとっていないため、詳しい内容には触れないが、以前のヨビノリ先生の動画や並行して進めている赤雪江とは違った説明が各所でなされているおかげで理解の手助けになった。
特に剰余類を前にして"普通の演算"ができないだろうか、という問いから正規部分群を定義して、剰余群として演算を施す(そしてそれは私達がよく知る合同式の別表現である)という説明はスマートだった。
それからラグランジュの定理を用いたフェルマーの小定理の証明も良かった。
実は以前、私のブログでこの定理を利用した素数判定法フェルマーテストについて紹介している。(こちらの記事)
そのときは定理の証明はしなかったので、ここで2つの証明を紹介する。
◯フェルマーの小定理
フェルマーの小定理は次のように書くことができる。
●二項定理と数学的帰納法を用いたやり方(初等整数論的アプローチ)
証明したい主張は「がで割り切れる」と同値である。
このことを用いて数学的帰納法で題意を示す。
i) のとき
より主張は正しい。
ii) のとき
を仮定する。
iii) のとき
の両辺からを引くと左辺はと等しい。
仮定より右辺第一項もとなるため、
(証明終了)
特に難しい式変形などは使ってないが、面白みは少ない。
●ラグランジュの定理を用いたやり方(群論的アプローチ)
証明したい主張は「」と同値である。
有限群と、その部分群 について、 の位数は の位数の約数である。
というものである。これを使って証明する。
乗法群 は
であり、その位数はである。
さらにこの中からある元 により生成される群(巡回群)は
となり、これは の部分群である。
その位数はラグランジュの定理よりの約数となる。つまり、
を代入すれば主張と一致する。
(証明終了)
証明にしては用語の定義とか説明が雑だが、とりあえず私は、上記のような1つの事象を説明するのに複数のアプローチがあることを学ぶとき、一番脳汁があふれる。
これは数学に限ったことではなく。
夏の砂浜で泥山を作り、両方から山を崩さぬよう掘り進めて互いの指先が触れたときの感動みたいなものを学問に求めている。