Esencialmente, hay un único grupo cíclico de orden n; la