è un sottogruppo normale di e che , se e solo se ; le classi di equivalenza di sono dunque circonferenze concentriche.