El teorema fundamental de los grupos abelianos afirma que todo grupo abeliano finitamente generado es isomorfo al producto directo de un número finito de grupos cíclicos.