More specifically, let F be a totally real number field and let N be the largest natural number such that the extension of F by the Nth root of unity has an elementary abelian 2-group as its Galois group.
Mer specifikt, låt F vara en totalt reell talkropp och låt N vara det största naturliga talet så att utvidgningen av F av N-te enhetsrötterna har en elementär abelsk 2-grupp som dess Galoisgrupp.