といえば、「それは何ですか」という質問がありそうである。
この場合には基底ベクトルe_{i}とe_{j}との積がまたe_{k}(k=1,・・・n)で1次結合で表されるときの係数c_{ij}^{k}のことである。このc_{ij}^{k}を任意に与えては乗法の結合法則が成り立たない。それで結合法則が成り立つためにはc_{ij}^{k}の間には一定の関係がなければならないと『現代数学教育事典』(明治図書)に遠山啓さんが書いているが、その関係をどうやって導くのかは書いていない。
それをどうやって導くのかが問題である。高木貞治著『数学雑談』(共立全書)にやさしい説明があると、ほかの本で読んだのでそれを今見ている。まだ手を動かして計算をしていないので、簡単に導けるのかはわからないが、導く原理は難しくはなさそうである。
多元環などというと難しそうだが、複素数とか四元数とかが多元環のいい例であるといえば、たいていの方から「ああそうか」と安心してもらえるだろう。
『現代数学教育事典』からは多元環の項は、すでに抜き書きをしているのだが、その抜き書きには上に書いた乗法の結合法則が成り立つときの構造定数の関係の導出はないので、私が解説を書くときはこれらも補う必要があろう。
そう思うと、なかなかこのエッセイを書き出すことに取り掛かれない。
リー環を学ぶと演算子の交換関係が出てきて、それらが1次結合で表されるときに、構造定数が出てくる。私が何十年も前に構造定数という言葉にであったのも、このリー環が初めてであった。もっともそのころはリー環という用語は知らず、リー群の生成演算子としてであった。
この場合には基底ベクトルe_{i}とe_{j}との積がまたe_{k}(k=1,・・・n)で1次結合で表されるときの係数c_{ij}^{k}のことである。このc_{ij}^{k}を任意に与えては乗法の結合法則が成り立たない。それで結合法則が成り立つためにはc_{ij}^{k}の間には一定の関係がなければならないと『現代数学教育事典』(明治図書)に遠山啓さんが書いているが、その関係をどうやって導くのかは書いていない。
それをどうやって導くのかが問題である。高木貞治著『数学雑談』(共立全書)にやさしい説明があると、ほかの本で読んだのでそれを今見ている。まだ手を動かして計算をしていないので、簡単に導けるのかはわからないが、導く原理は難しくはなさそうである。
多元環などというと難しそうだが、複素数とか四元数とかが多元環のいい例であるといえば、たいていの方から「ああそうか」と安心してもらえるだろう。
『現代数学教育事典』からは多元環の項は、すでに抜き書きをしているのだが、その抜き書きには上に書いた乗法の結合法則が成り立つときの構造定数の関係の導出はないので、私が解説を書くときはこれらも補う必要があろう。
そう思うと、なかなかこのエッセイを書き出すことに取り掛かれない。
リー環を学ぶと演算子の交換関係が出てきて、それらが1次結合で表されるときに、構造定数が出てくる。私が何十年も前に構造定数という言葉にであったのも、このリー環が初めてであった。もっともそのころはリー環という用語は知らず、リー群の生成演算子としてであった。