En general, para los grupos abelianos multiplicativos, se cumple lo que sigue: