P: Si F un campo y luego cada subgrupo finito de F∗ es cíclico.
Solución: Supongamos que d∣|G| para G subgrupo de F∗ y G no es cíclico. Supongamos que A,B subgrupos de G de orden d . Luego |A∪B|>d y cada x∈A∪B satisface xd=1 así que f(x)=xd−1 tiene más que d que es una contradicción. Así que por cada d∣|G| hay como mucho un subgrupo de orden d lo que implica G cíclico.
¿Mi solución está completa o me he perdido algo?