Como caso particular, tenemos que todo subgrupo del grupo aditivo formula_47 es cíclico.