翻訳と辞書 Words near each other ・ Kummari caste ・ Kummariguda ・ Kummariguda, Mahbubnagar ・ Kummariguda, Ranga Reddy ・ Kummata Durga ・ Kummattikali ・ Kummatty ・ Kummeli ・ Kummelnäs ・ Kummen ・ Kummer ・ Kummer configuration ・ Kummer ring ・ Kummer sum ・ Kummer surface ・ Kummer theory ・ Kummer variety ・ Kummer's congruence ・ Kummer's conjecture ・ Kummer's function ・ Kummer's theorem ・ Kummera ・ Kummerfeld ・ Kummerow ・ Kummerow station ・ Kummerow, Nordvorpommern ・ Kummerowia ・ Kummerowia stipulacea ・ Kummerowia striata ・ Kummersdorf Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Kummer theory ： ウィキペディア英語版 Kummer theory In abstract algebra and number theory, Kummer theory provides a description of certain types of field extensions involving the adjunction of ''n''th roots of elements of the base field. The theory was originally developed by Ernst Eduard Kummer around the 1840s in his pioneering work on Fermat's last theorem. The main statements do not depend on the nature of the field - apart from its characteristic, which should not divide the integer ''n'' – and therefore belong to abstract algebra. The theory of cyclic extensions of the field ''K'' when the characteristic of ''K'' does divide ''n'' is called Artin–Schreier theory. Kummer theory is basic, for example, in class field theory and in general in understanding abelian extensions; it says that in the presence of enough roots of unity, cyclic extensions can be understood in terms of extracting roots. The main burden in class field theory is to dispense with extra roots of unity ('descending' back to smaller fields); which is something much more serious. == Kummer extensions == A Kummer extension is a field extension ''L/K'', where for some given integer ''n'' > 1 we have *''K'' contains ''n'' distinct ''n''th roots of unity (i.e., roots of ''X''n−1) *''L''/''K'' has abelian Galois group of exponent ''n''. For example, when ''n'' = 2, the first condition is always true if ''K'' has characteristic ≠ 2. The Kummer extensions in this case include quadratic extensions ''L'' = ''K''(√a) where ''a'' in ''K'' is a non-square element. By the usual solution of quadratic equations, any extension of degree 2 of ''K'' has this form. The Kummer extensions in this case also include biquadratic extensions and more general multiquadratic extensions. When ''K'' has characteristic 2, there are no such Kummer extensions. Taking ''n'' = 3, there are no degree 3 Kummer extensions of the rational number field Q, since for three cube roots of 1 complex numbers are required. If one takes ''L'' to be the splitting field of ''X''''3'' − ''a'' over Q, where ''a'' is not a cube in the rational numbers, then ''L'' contains a subfield ''K'' with three cube roots of 1; that is because if α and β are roots of the cubic polynomial, we shall have (α/β)3 =1 and the cubic is a separable polynomial. Then ''L/K'' is a Kummer extension. More generally, it is true that when ''K'' contains ''n'' distinct ''n''th roots of unity, which implies that the characteristic of ''K'' doesn't divide ''n'', then adjoining to ''K'' the ''n''th root of any element ''a'' of ''K'' creates a Kummer extension (of degree ''m'', for some ''m'' dividing ''n''). As the splitting field of the polynomial ''X''''n'' − ''a'', the Kummer extension is necessarily Galois, with Galois group that is cyclic of order ''m''. It is easy to track the Galois action via the root of unity in front of $\backslash sqrt().$ Kummer theory provides converse statements. When ''K'' contains ''n'' distinct ''n''th roots of unity, it states that any abelian extension of ''K'' of exponent dividing ''n'' is formed by extraction of roots of elements of ''K''. Further, if ''K''× denotes the multiplicative group of non-zero elements of ''K'', abelian extensions of ''K'' of exponent ''n'' correspond bijectively with subgroups of :$K^/(K^)^n,\backslash ,\backslash !$ that is, elements of ''K''× modulo ''n''th powers. The correspondence can be described explicitly as follows. Given a subgroup :$\backslash Delta\; \backslash subseteq\; K^/(K^)^n,\; \backslash ,\backslash !$ the corresponding extension is given by :$K(\backslash Delta^),\backslash ,\backslash !$ where $\backslash Delta^=\backslash ,\; a\backslash cdot(K^)^n\backslash in\backslash Delta\backslash \}$. In fact it suffices to adjoin ''n''th root of one representative of each element of Δ. Conversely, if ''L'' is a Kummer extension of ''K'', then Δ is recovered by the rule :$\backslash Delta\; =\; (K^\backslash times\; \backslash cap\; (L^\backslash times)^n)/(K^)^n.\backslash ,\backslash !$ In this case there is an isomorphism :$\backslash Delta\; \backslash cong\; \backslash operatorname\_(L/K),\; \backslash mu\_n)$ given by :$a\; \backslash mapsto\; \backslash biggl(\backslash sigma\; \backslash mapsto\; \backslash frac\backslash biggr),$ where α is any ''n''th root of ''a'' in ''L''. Here $\backslash mu\_n$ denotes the multiplicative group of ''n''th roots of unity (which belong to ''K'') and $\backslash operatorname\_(L/K),\; \backslash mu\_n)$ is the group of continuous homomorphisms from $\backslash operatorname(L/K)$ equipped with Krull topology to $\backslash mu\_n$ with discrete topology (with group operation given by pointwise multiplication). This group (with discrete topology) can also be viewed as Pontryagin dual of $\backslash operatorname(L/K)$, assuming we regard $\backslash mu\_n$ as a subgroup of circle group. If the extension ''L/K'' is finite, then $\backslash operatorname(L/K)$ is a finite discrete group and we have :$\backslash Delta\; \backslash cong\; \backslash operatorname(\backslash operatorname(L/K),\; \backslash mu\_n)\; \backslash cong\; \backslash operatorname(L/K),$ however the last isomorphism isn't natural. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Kummer theory」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.