A more precise statement giving the structure of O× ⊗Z Q as a Galois module for the Galois group of K/Q is also possible.
En mer precis version som beskriver strukturen av O× ⊗Z Q som en Galoismodul för Galoisgruppen av K/Q finns också.