Kummer theory provides converse statements. When K contains n distinct nth roots of unity, it states that any cyclic extension of K of degree n is formed by extraction of an nth root. Further, if K× denotes the multiplicative group of non-zero elements of K, cyclic extensions of K of degree n correspond bijectively with cyclic subgroups of
that is, elements of K× modulo nth powers. The correspondence can be described explicitly as follows. Given a cyclic subgroup
the corresponding extension is given by
that is, by adjoining nth roots of elements of Δ to K. Conversely, if L is a Kummer extension of K, then Δ is recovered by the rule
In this case there is an isomorphism
given by
where α is any nth root of a in L.
Read more about Kummer Theory: Generalizations
Famous quotes containing the word theory:
“Everything to which we concede existence is a posit from the standpoint of a description of the theory-building process, and simultaneously real from the standpoint of the theory that is being built. Nor let us look down on the standpoint of the theory as make-believe; for we can never do better than occupy the standpoint of some theory or other, the best we can muster at the time.”
—Willard Van Orman Quine (b. 1908)