El objetivo de esta sección es mostrar que esa relación caracteriza a los grupos cíclicos entre los grupos finitos abelianos.