Kronecker demostró que, cuando K es el cuerpo de los números racionales, este grupo es un producto infinito del grupo aditivo de los enteros p-ádicos tomado sobre todo número primo "p", y de un producto infinito de grupos cíclicos finitos.