Donde formula_11 denota el conjunto de números complejos de módulo unidad, que topológicamente puede ser interpretado como el círculo unidad del plano euclídeo; constituye un grupo uniparamétrico local, no trivial y la aplicación formula_8 es un epimorfismo de grupos.