« Lieタイプの群 | トップページ | Lie型の群(2) »

2009年7月11日 (土)

追記

ついでながら、前の記事のa2. b2はそれぞれ(a1^2)/2, (b1^2)/2になっています。

それから、GAPではZ(p^n)は、有限体Fp^nの乗法群の生成元です(のはず)。

そして、明日か明後日あたり使うと思うのですが、E(n)は円分体の生成元のようです(E(4)を虚数単位の代わりに使います)。

|

« Lieタイプの群 | トップページ | Lie型の群(2) »

コメント

この記事へのコメントは終了しました。

トラックバック


この記事へのトラックバック一覧です: 追記:

« Lieタイプの群 | トップページ | Lie型の群(2) »