まず、群Gの内部自己同型。a∈G を固定して、 g∈G |→ aga-1 として、この写像をΦa:G→G とする。Φaは群の圏の射になり Φ:G→Aut(G) という写像になる。Aut(G) は IsoGrp(G, G) のこと。上記のΦ、またはΦaを内部自己同型と呼ぶが、随伴作用（adjoint action）と…

用語法が混乱してくるのは必然だろうから、仕方ないとは重々承知なのだが、それでも腹立たしい。最近だと、「モジュラー」関係→ユニモジュラー - 檜山正幸のキマイラ飼育記 メモ編, modular, module, moduli, modulus, modulo - 檜山正幸のキマイラ飼育記 メ…