L'ensemble
des nombres complexes de module 1 muni de la multiplication des
nombres complexes groupe commutatif
( en effet ( ,
) est un sous
groupe commutatif du groupe
( *
, × ) )
Propriétés :