山﨑 圭次郎：基礎代数 |
作成日：2013-03-05 最終更新日： |
代数学は、アルゴリズムの考えと、数式の集合や変換という算法構造の意識から生まれた。 これらの考えや意識を「古典代数学」と呼ぶなら、現代は算法自体を主題とし、 かつ抽象化する「抽象代数学」の時代である。本書ではこれらを解説する。
p.13 で次の記述がある。
整数 `a != 0` と任意の整数 `b` に対し、
` b = qa + r, 0 <= r < |a| `
となる 整数 `q, r`が存在する。とくに、 `r = 0` となるのは、`b` が `a` の倍数のときであり、 このことを、「`a` は `b` を割り切る」とか「`b` は `a` で割り切れる」といい、記号 `a | b` で表す。
私の思い込みに過ぎないのだが、数学用語では、「割り切れる」のほうが「割り切る」より圧倒的に高い。 だから、「`a` は `b` を割り切る」という能動態の文章を使えるようにしたい。
そして、遠山啓の「初等整数論」では、`a | b` の代わりに `a ) b` という記法を使っていた。 そうすると困ることがある。すなわち「割り切らない」、「割り切れない」場合、 `a | b` であればこれを否定するための専用記号 `a ∤ b` (実体参照では∤) がフォントにあるが、 `a ) b` を `a` は `b` で割り切れるの意味で使った場合、これを否定するための記号がない。
大学の数学の時間には解析学と代数学がある（当時、代数学は幾何学という名前で開講されていた）。 その代数学では主に線形代数を行うことになっているはずなのだが、 担当の助教授はどうやら代数構造の権威らしく、一年の前半を群や環、体やイデアルに費やした。 このイデアルという概念がどうしてもわからなかった。 Wikipedia を見てみると、数学者のクンマーが理想数として描いていた姿がわかるようで、 少しはわかったような気がするのだが、やはりわからない。 その後、高木貞治の「初等代数学講義」を買ってきてイデヤルの項を見たのだが、やはりわからない。
最近数学に興味を持ち出して WEB をいろいろ見ていたところ 飯高茂が虚数単位 `i` をイデアルとして認識すべきではないか、ということを述べていたのに出会った。 イデアルは大事なのだろうか。この本を手掛かりに調べたい。
p.151 から書かれている。p.152 の記述を見てみよう
環 `R` の左 `R` 加群としての部分加群を `R` の左イデアル、 右 `R` 加群としての部分加群を `R` の右イデアルという． 左イデアルかつ右イデアルであるものを単に `R` のイデアルまたは両側イデアルという。
ああ、もうわからない。環はいいとして、部分加群とは何だろう。左 `R` 加群とは？ そこで p.146 に戻る。
さて，単位的乗法半群 `R` の加法群 `M` への左作用が与えられたとする．すなわち， `a, b in R, x, y in M `として，次が成り立つとする。
`1 * x = x, (ab) * x = a * (b * x)`
また，`a in R` が定める `M` の変換 ` a_M ( x |-> ax )` が自己準同型，すなわち
`a * (x + y) = a * x + a * y`
が成り立つとする．そのとき，`M` を `R` 上の左加群あるいは左 `R` 加群という。
こんどは単位的乗法半群がわからない。今度は 97 ページまでさかのぼる。
2 項算法をもつ集合 `(S, mu)` が結合法則を満たすとき，これを半群という． 半群 `(S, mu)` に単位法則を満たす 0 項算法を `e` を追加した `(S, mu, e)` を単位的半群あるいはモノイドという．
ここはなんとかわかった。しかし、その先はつらい。
http://www.m-ac.jp/me/subjects/algebra/ring/index_j.phtml を参考にして、「環」を「整数全体 `ZZ`」と、「イデアル」を「整数 `n` の倍数全体」ととらえなおしてみよう。 そうすれば、整数 `n` の倍数全体は `ZZ` のイデアルの条件を満たす。
ではなぜイデアルという構造を持ち出したのか。 これは「最大公約数」なる概念を通常の整数の構造だけでなく、他のにも持ち込みたかったからだ、 ということをどこかで聞いた。
あとがきで、著者は「整式の改まった定義などは必要ないと感じる人もあろうが， 計算機のような想像力のない相手に処理させることを想定すると，結構複雑な概念である．」 と述べている。これには笑った。
数式はMathJax を用いている。
| 書 名 | 基礎代数 |
| 著 者 | 山﨑 圭次郎 |
| 発行日 | 年 月 日 |
| 発行元 | 岩波書店 |
| 定 価 | 円 |
| サイズ | |
| ISBN | |
| NDC |
