Los grupos finitos abelianos simples son los cíclicos de orden primo.