ここでは実であるが必ずしも正あるいは整数である必要は無い(すなわち、全連続群である)。