定義
K を必ずしも可換とは限らない局所コンパクト体とする。
a ≠ 0 を K の元とする。
K の元 x に ax を対応させる写像 λ は K の加法群の位相群としての
自己同型である。よって mod(λ) (過去スレ012の533) が定義される。
これを mod(a) と書く。