このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

ユニモジュラー

modular, module, moduli, modulus, modulo - 檜山正幸のキマイラ飼育記 メモ編 で述べたように、モジュラー群とはPSL(2, Z)を意味することが多いと思うが、ユニモジュラー群(unimodular group, 単模群)と特殊線形群を同義で使っている例があった。具体的には『群と表現』(江沢, 島)だ。誤用ではないか。

環係数の行列で、ユニモジュラーとは、行列式が環の単元(可逆元)になることだろう。この意味だと、ユニモジュラー=可逆=非特異=正則。そもそも、可逆に対する言い方が色々あり過ぎなのだ。非可逆=特異=非正則だし。