साइक्लोटोमिक क्षेत्र: Difference between revisions

Revision as of 10:23, 15 February 2023

संख्या सिद्धांत में साइक्लोटोमिक क्षेत्र संख्या क्षेत्र है। जो संयोजन (क्षेत्र सिद्धांत) द्वारा जिससे कि जटिल संख्या जड़ से प्राप्त होता है $Q$ परिमेय संख्याओं का क्षेत्र (गणित) है।

फ़र्मेट के अंतिम प्रमेय के साथ उनके संबंध के कारण चक्रीय क्षेत्रों ने आधुनिक अमूर्त बीजगणित और संख्या सिद्धांत के विकास में महत्वपूर्ण भूमिका निभाई है। यह इन क्षेत्रों के अंकगणित अभाज्य संख्या के लिए उनकी गहन जाँच की प्रक्रिया में था। $n$ - और अधिक सटीक रूप से, उनके पूर्णांकों के छल्ले में अद्वितीय गुणनखंडन की विफलता के कारण गंभीर दु:ख ने पहली बार आदर्श संख्या की अवधारणा प्रस्तुत की और अपने प्रसिद्ध कुमेर की सर्वांगसमताओं को सिद्ध किया है ।

परिभाषा

के लिए $n \geq 1$ , होने देना $ζ n = e 2π i / n \in C$ ; यह जिससे कि प्राचीन जड़ है $n$ जिससे कि वें जड़। फिर $n$ वें साइक्लोटोमिक क्षेत्र-विस्तार है $Q (ζ n)$ का $Q$ द्वारा उत्पन्न $ζ n$ .

गुण

$n$ n}}वां साइक्लोटोमिक बहुपद

\Phi _{n}(x)=\!\!\!\prod _{\stackrel {1\leq k\leq n}{\gcd(k,n)=1}}\!\!\!\left(x-e^{2\pi ik/n}\right)=\!\!\!\prod _{\stackrel {1\leq k\leq n}{\gcd(k,n)=1}}\!\!\!(x-{\zeta _{n}}^{k})

अलघुकरणीय बहुपद है, इसलिए यह न्यूनतम बहुपद (क्षेत्र सिद्धांत) है

ζ n

ऊपर

Q

संयुग्मी तत्व (क्षेत्र सिद्धांत)। $ζ n$ में $C$ इसलिए अन्य प्राचीन हैं $n$ जिससे कि वें जड़ें: $ζ k n$ के लिए $1 \leq k \leq n$ साथ $gcd(k, n) = 1$ .
के क्षेत्र विस्तार की डिग्री $Q (ζ n)$ इसलिए $[Q (ζ n) : Q] = deg Φ n = φ (n)$ , कहाँ $φ$ यूलर का कुल कार्य है।
के बहुपद की जड़ $x n - 1$ की शक्तियाँ हैं $ζ n$ , इसलिए $Q (ζ n)$ का विभाजन क्षेत्र है $x n - 1$ या का $Φ(x)$ ऊपर $Q$ .
इसलिए $Q (ζ n)$ का गाल्वा विस्तार है $Q$ .
बधफलक समूह $\operatorname {Gal} (\mathbf {Q} (\zeta _{n})/\mathbf {Q} )$ पूर्णांकों के गुणनात्मक समूह में प्राकृतिक रूपांतरण है गुणनात्मक समूह $(\mathbf {Z} /n\mathbf {Z} )^{\times }$ , जिसमें उलटा अवशेष मॉड्यूलर अंकगणित होता है $n$ , जो अवशेष हैं $a आधुनिक n$ साथ $1 \leq a \leq n$ और $gcd(a, n) = 1$ . समरूपता प्रत्येक को भेजती है $\sigma \in \operatorname {Gal} (\mathbf {Q} (\zeta _{n})/\mathbf {Q} )$ को $a आधुनिक n$ , कहाँ $a$ पूर्णांक ऐसा है $σ(ζ n) = ζ a n$ .
के पूर्णांकों का वलय $Q (ζ n)$ है $Z [ζ n]$ .
$n > 2$ के लिए, विस्तार के बीजगणितीय संख्या क्षेत्र का विविक्तकर $Q (ζ n) / Q$ है^[1]

(-1)^{\varphi (n)/2}\,{\frac {n^{\varphi (n)}}{\displaystyle \prod _{p|n}p^{\varphi (n)/(p-1)}}}.

विशेष रूप से, $Q (ζ n) / Q$ विभाजित न होने वाले प्रत्येक अभाज्य के ऊपर अविभाजित है $n$ .
अगर $n$ प्रधान की शक्ति है $p$ , तब $Q (ζ n) / Q$ ऊपर पूर्ण रूप से विभक्त है $p$ .
अगर $q$ विभाजित न होने वाला अभाज्य है $n$ , फिर फ्रोबेनियस तत्व $\operatorname {Frob} _{q}\in \operatorname {Gal} (\mathbf {Q} (\zeta _{n})/\mathbf {Q} )$ के अवशेष से मेल खाता है $q$ में $(\mathbf {Z} /n\mathbf {Z} )^{\times }$ .
जिससे कि जड़ों का समूह $Q (ζ n)$ आदेश है $n$ या $2 n$ , $n$ के अनुसार सम या विषम है।
इकाई समूह $Z [ζ n] \times$ रैंक का अंतिम रूप से उत्पन्न एबेलियन समूह है $φ (n)/2 - 1$ , किसी के लिए $n > 2$ , डिरिचलेट इकाई प्रमेय द्वारा। विशेष रूप से, $Z [ζ n] \times$ केवल के लिए परिमित समूह है $n \in {1, 2, 3, 4, 6$ }. का मरोड़ उपसमूह $Z [ζ n] \times$ में जिससे कि जड़ों का समूह है $Q (ζ n)$ , जिसका वर्णन पिछले विषय में किया गया था। साइक्लोटॉमिक इकाइयां उपसमूह उपसमूह का स्पष्ट परिमित-सूचकांक बनाती हैं $Z [ζ n] \times$ .
क्रोनेकर-वेबर प्रमेय कहता है कि प्रत्येक परिमित विस्तार एबेलियन विस्तार $Q$ में $C$ में निहित है $Q (ζ n)$ कुछ के लिए $n$ . समतुल्य, सभी साइक्लोटॉमिक क्षेत्रों का मिलन $Q (ζ n)$ अधिकतम एबेलियन विस्तार है $Q ab$ का $Q$ .

नियमित बहुभुजों के साथ संबंध

कार्ल फ्रेडरिक गॉस ने निर्माण योग्य बहुभुज की समस्या के संबंध में, नियमित बहुभुज|नियमित, साइक्लोटोमिक क्षेत्रों के सिद्धांत में प्रारंभिक प्रगति की $n$ -कम्पास और सीधी धार के साथ। उनका आश्चर्यजनक परिणाम जो उनके पूर्ववर्तियों से बच गया था, वह यह था कि नियमित heptadecagon | 17-गॉन का निर्माण किया जा सकता था। अधिक आम तौर पर, किसी भी पूर्णांक के लिए $n \geq 3$ , निम्नलिखित समतुल्य हैं:

नियमित $n$ -गॉन रचनात्मक है;
खेतों का क्रम है, से शुरू होता है $Q$ और के साथ समाप्त $Q (ζ n)$ , जैसे कि प्रत्येक पिछले क्षेत्र का द्विघात विस्तार है;
$φ (n)$ 2 की शक्ति है;
$n=2^{a}p_{1}\cdots p_{r}$ कुछ पूर्णांकों के लिए $a, r \geq 0$ और फर्मेट प्राइम्स $p_{1},\ldots ,p_{r}$ . ( फर्मेट प्राइम अजीब प्राइम है $p$ ऐसा है कि $p - 1$ 2 की शक्ति है। ज्ञात फर्मेट प्राइम 3 (संख्या), 5 (संख्या), 17 (संख्या), 257 (संख्या), 65537 (संख्या) हैं, और यह संभावना है कि कोई अन्य नहीं है।)

छोटे उदाहरण

$n = 3$ और $n = 6$ : समीकरण $\zeta _{3}={\tfrac {-1+{\sqrt {-3}}}{2}}$ और $\zeta _{6}={\tfrac {1+{\sqrt {-3}}}{2}}$ बताते हैं कि $Q (ζ 3) = Q (ζ 6) = Q (\sqrt -3)$ , जो का द्विघात विस्तार है $Q$ . तदनुसार, नियमित 3-गॉन और नियमित 6-गॉन रचनात्मक होते हैं।
$n = 4$ : इसी प्रकार, $ζ 4 = i$ , इसलिए $Q (ζ 4) = Q (i)$ , और नियमित 4-गॉन रचनात्मक है।
$n = 5$ : फील्ड $Q (ζ 5)$ का द्विघात विस्तार नहीं है $Q$ , लेकिन यह द्विघात विस्तार का द्विघात विस्तार है $Q (\sqrt 5)$ , इसलिए नियमित 5-गॉन निर्माण योग्य है।

फ़र्मेट की अंतिम प्रमेय के साथ संबंध

फ़र्मेट की अंतिम प्रमेय को सिद्ध करने का स्वाभाविक तरीका द्विपद का गुणनखण्ड करना है $x n + y n$ , कहाँ $n$ विषम अभाज्य है, जो फ़र्मेट के समीकरण के पक्ष में प्रकट होता है

x^{n}+y^{n}=z^{n}

निम्नलिखित नुसार:

x^{n}+y^{n}=(x+y)(x+\zeta y)\cdots (x+\zeta ^{n-1}y)

यहाँ $x$ और $y$ साधारण पूर्णांक हैं, जबकि कारक साइक्लोटोमिक क्षेत्र में बीजगणितीय पूर्णांक हैं $Q (ζ n)$ . यदि अंकगणित का मौलिक प्रमेय साइक्लोटोमिक पूर्णांकों में है $Z [ζ n]$ , तो इसका उपयोग फ़र्मेट के समीकरण के गैर-तुच्छ समाधानों के अस्तित्व को रद्द करने के लिए किया जा सकता है।

फ़र्मेट के अंतिम प्रमेय से निपटने के कई प्रयास इन पंक्तियों के साथ आगे बढ़े, और फ़र्मेट के प्रमाण दोनों के लिए $n = 4$ और यूलर का प्रमाण $n = 3$ इन शर्तों में पुनर्गठित किया जा सकता है। की पूरी सूची $n$ जिसके लिए $Q (ζ n)$ अद्वितीय गुणनखंड है^[2]

1 से 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 38, 40, 42, 44, 45, 48, 50, 54, 60, 66, 70, 84 , 90.

अर्न्स्ट कुमेर ने अद्वितीय कारककरण की विफलता से निपटने का तरीका खोजा। उन्होंने साइक्लोटोमिक पूर्णांकों में अभाज्य संख्याओं के लिए प्रतिस्थापन प्रस्तुत किया $Z [ζ n]$ , वर्ग संख्या (संख्या सिद्धांत) के माध्यम से अद्वितीय गुणनखंडन की विफलता को मापा $h n$ और सिद्ध कर दिया कि अगर $h p$ प्रधान द्वारा विभाज्य नहीं है $p$ (ऐसा $p$ नियमित अभाज्य कहलाते हैं) तो फ़र्मेट का प्रमेय प्रतिपादक के लिए सत्य है $n = p$ . इसके अलावा, कुमेर की कसौटी यह निर्धारित करने के लिए कि कौन से अभाज्य नियमित हैं, और सभी प्रमुख प्रतिपादकों के लिए फर्मेट के प्रमेय की स्थापना की $p$ 100 से कम, अनियमित अभाज्य संख्या 37 (संख्या), 59 (संख्या), और 67 (संख्या) को छोड़कर। बीसवीं सदी में इवासावा सिद्धांत में केनकिची इवासावा द्वारा और कुबोटा और लियोपोल्ड द्वारा p-adic zeta function|p-adic zeta function के अपने सिद्धांत में साइक्लोटॉमिक क्षेत्रों की कक्षा संख्याओं के लिए कुमेर का काम सामान्यीकृत किया गया था।

चक्रीय क्षेत्रों की वर्ग संख्याओं की सूची

(sequence A061653 in the OEIS), या OEIS: A055513 या OEIS: A000927 के लिए $h$ -पार्ट (प्राइम एन के लिए)

1-22: 1
23: 3
24-28: 1
29: 8
30: 1
31: 9
32-36: 1
37: 37
38: 1
39: 2
40: 1
41: 121
42: 1
43: 211
44: 1
45: 1
46: 3
47: 695
48: 1
49: 43
50: 1
51: 5
52: 3
53: 4889
54: 1
55: 10
56: 2
57: 9
58: 8
59: 41241
60: 1
61: 76301
62: 9
63: 7
64: 17
65: 64
66: 1
67: 853513
68: 8
69: 69
70: 1
71: 3882809
72: 3
73: 11957417
74: 37
75: 11
76: 19
77: 1280
78: 2
79: 100146415
80: 5
81: 2593
82: 121
83: 838216959
84: 1
85: 6205
86: 211
87: 1536
88: 55
89: 13379363737
90: 1
91: 53872
92: 201
93: 6795
94: 695
95: 107692
96: 9
97: 411322824001
98: 43
99: 2883
100: 55
101: 3547404378125
102: 5
103: 9069094643165
104: 351
105: 13
106: 4889
107: 63434933542623
108: 19
109: 161784800122409
110: 10
111: 480852
112: 468
113: 1612072001362952
114: 9
115: 44697909
116: 10752
117: 132678
118: 41241
119: 1238459625
120: 4
121: 12188792628211
122: 76301
123: 8425472
124: 45756
125: 57708445601
126: 7
127: 2604529186263992195
128: 359057
129: 37821539
130: 64
131: 28496379729272136525
132: 11
133: 157577452812
134: 853513
135: 75961
136: 111744
137: 646901570175200968153
138: 69
139: 1753848916484925681747
140: 39
141: 1257700495
142: 3882809
143: 36027143124175
144: 507
145: 1467250393088
146: 11957417
147: 5874617
148: 4827501
149: 687887859687174720123201
150: 11
151: 2333546653547742584439257
152: 1666737
153: 2416282880
154: 1280
155: 84473643916800
156: 156
157: 56234327700401832767069245
158: 100146415
159: 223233182255
160: 31365

यह भी देखें

क्रोनकर-वेबर प्रमेय
चक्रीय बहुपद

संदर्भ

↑ Washington 1997, Proposition 2.7.
↑ Washington 1997, Theorem 11.1.

स्रोत

ब्रायन जॉन बिर्च, साइक्लोटोमिक फ़ील्ड्स और कुमेर ्सटेंशन, J.W.S में। कैसल्स और ए. फ्रॉलिच (edd), बीजगणितीय संख्या सिद्धांत, अकादमिक प्रेस, 1973। चैप.III, पीपी। 45-93।
डेनियल ए. मार्कस, नंबर फील्ड्स, पहला संस्करण, स्प्रिंगर-वेरलाग, 1977
Washington, Lawrence C. (1997), Introduction to Cyclotomic Fields, Graduate Texts in Mathematics, vol. 83 (2 ed.), New York: Springer-Verlag, doi:10.1007/978-1-4612-1934-7, ISBN 0-387-94762-0, MR 1421575
सर्ज लैंग, साइक्लोटॉमिक फील्ड I और II, संयुक्त दूसरा संस्करण। कार्ल रुबिन द्वारा परिशिष्ट के साथ। गणित में स्नातक ग्रंथ, 121। स्प्रिंगर-वर्लाग, न्यूयॉर्क, 1990। ISBN 0-387-96671-4

अग्रिम पठन

Coates, John; Sujatha, R. (2006). Cyclotomic Fields and Zeta Values. Springer Monographs in Mathematics. Springer-Verlag. ISBN 3-540-33068-2. Zbl 1100.11002.
Weisstein, Eric W. "Cyclotomic Field". MathWorld.
"Cyclotomic field", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
On the Ring of Integers of Real Cyclotomic Fields. Koji Yamagata and Masakazu Yamagishi: Proc,Japan Academy, 92. Ser a (2016)

[FOOTNOTEWashington1997Proposition_2.7-1] Washington 1997, Proposition 2.7.

[FOOTNOTEWashington1997Theorem_11.1-2] Washington 1997, Theorem 11.1.

[1]

[2]

@@ Line 1: / Line 1: @@
-[[संख्या सिद्धांत]] में साइक्लोटोमिक क्षेत्र [[संख्या क्षेत्र]] है। जो [[संयोजन (क्षेत्र सिद्धांत)]] द्वारा ताकी [[जटिल संख्या]] जड़ से प्राप्त होता है {{math|'''Q'''}} परिमेय संख्याओं का [[क्षेत्र (गणित)]] है।
+[[संख्या सिद्धांत]] में साइक्लोटोमिक क्षेत्र [[संख्या क्षेत्र]] है। जो [[संयोजन (क्षेत्र सिद्धांत)]] द्वारा जिससे कि [[जटिल संख्या]] जड़ से प्राप्त होता है {{math|'''Q'''}} परिमेय संख्याओं का [[क्षेत्र (गणित)]] है।
 फ़र्मेट के अंतिम प्रमेय के साथ उनके संबंध के कारण चक्रीय क्षेत्रों ने आधुनिक अमूर्त बीजगणित और संख्या सिद्धांत के विकास में महत्वपूर्ण भूमिका निभाई है। यह इन क्षेत्रों के अंकगणित [[अभाज्य संख्या]] के लिए उनकी गहन जाँच की प्रक्रिया में था। {{mvar|n}} - और अधिक सटीक रूप से, उनके पूर्णांकों के छल्ले में अद्वितीय गुणनखंडन की विफलता के कारण [[गंभीर दु:ख]] ने पहली बार [[आदर्श संख्या]] की अवधारणा प्रस्तुत की और अपने प्रसिद्ध कुमेर की सर्वांगसमताओं को सिद्ध किया है ।
@@ Line 5: / Line 5: @@
 == परिभाषा ==
-के लिए {{math|''n'' ≥ 1}}, होने देना {{math|1=ζ<sub>''n''</sub> = ''e''<sup>2π''i''/''n''</sup> ∈ '''C'''}}; यह [[एकता की आदिम जड़|ताकी आदिम जड़]] है {{mvar|n}} ताकी वें जड़। फिर {{mvar|n}}वें साइक्लोटोमिक फील्ड [[फील्ड एक्सटेंशन|फील्ड ्सटेंशन]] है {{math|'''Q'''(ζ<sub>''n''</sub>)}} का {{math|'''Q'''}} द्वारा उत्पन्न {{math|ζ<sub>''n''</sub>}}.
+के लिए {{math|''n'' ≥ 1}}, होने देना {{math|1=ζ<sub>''n''</sub> = ''e''<sup>2π''i''/''n''</sup> ∈ '''C'''}}; यह [[एकता की आदिम जड़|जिससे कि प्राचीन जड़]] है {{mvar|n}} जिससे कि वें जड़। फिर {{mvar|n}}वें साइक्लोटोमिक [[क्षेत्र-विस्तार]] है {{math|'''Q'''(ζ<sub>''n''</sub>)}} का {{math|'''Q'''}} द्वारा उत्पन्न {{math|ζ<sub>''n''</sub>}}.
 == गुण ==
@@ Line 17: / Line 17: @@
 (x-{\zeta_n}^k)
 </math>
-: इरेड्यूसिबल बहुपद है, इसलिए यह [[न्यूनतम बहुपद (क्षेत्र सिद्धांत)]] है {{math|ζ<sub>''n''</sub>}} ऊपर {{math|'''Q'''}}.
+: अलघुकरणीय बहुपद है, इसलिए यह [[न्यूनतम बहुपद (क्षेत्र सिद्धांत)]] है {{math|ζ<sub>''n''</sub>}} ऊपर {{math|'''Q'''}}
-* का [[संयुग्मी तत्व (क्षेत्र सिद्धांत)]]। {{math|ζ<sub>''n''</sub>}} में {{math|'''C'''}} इसलिए अन्य आदिम हैं {{mvar|n}} ताकी वें जड़ें: {{math|ζ{{su|b=''n''|p=''k''}}}} के लिए {{math|1 ≤ ''k'' ≤ ''n''}} साथ {{math|1=gcd(''k'',&thinsp;''n'')&nbsp;=&thinsp;1}}.
+* [[संयुग्मी तत्व (क्षेत्र सिद्धांत)]]। {{math|ζ<sub>''n''</sub>}} में {{math|'''C'''}} इसलिए अन्य प्राचीन हैं {{mvar|n}} जिससे कि वें जड़ें: {{math|ζ{{su|b=''n''|p=''k''}}}} के लिए {{math|1 ≤ ''k'' ≤ ''n''}} साथ {{math|1=gcd(''k'',&thinsp;''n'')&nbsp;=&thinsp;1}}.
 * के [[क्षेत्र विस्तार की डिग्री]] {{math|'''Q'''(ζ<sub>''n''</sub>)}} इसलिए {{math|1=['''Q'''(ζ<sub>''n''</sub>) : '''Q'''] = deg&thinsp;Φ<sub>''n''</sub> = ''φ''(''n'')}}, कहाँ {{mvar|φ}} यूलर का कुल कार्य है।
-* के [[एक बहुपद की जड़|बहुपद की जड़]] {{math|''x''<sup>''n''</sup> − 1}} की शक्तियाँ हैं {{math|ζ<sub>''n''</sub>}}, इसलिए {{math|'''Q'''(ζ<sub>''n''</sub>)}} का [[विभाजन क्षेत्र]] है {{math|''x''<sup>''n''</sup> − 1}} (या का {{math|Φ(''x'')}}) ऊपर {{math|'''Q'''}}.
+* के [[एक बहुपद की जड़|बहुपद की जड़]] {{math|''x''<sup>''n''</sup> − 1}} की शक्तियाँ हैं {{math|ζ<sub>''n''</sub>}}, इसलिए {{math|'''Q'''(ζ<sub>''n''</sub>)}} का [[विभाजन क्षेत्र]] है {{math|''x''<sup>''n''</sup> − 1}} या का {{math|Φ(''x'')}} ऊपर {{math|'''Q'''}}.
 * इसलिए {{math|'''Q'''(ζ<sub>''n''</sub>)}} का [[गाल्वा विस्तार]] है {{math|'''Q'''}}.
-* गैलोज़ समूह <math>\operatorname{Gal}(\mathbf{Q}(\zeta_n)/\mathbf{Q})</math> पूर्णांकों के गुणनात्मक समूह में प्राकृतिक रूपांतरण है गुणनात्मक समूह <math>(\mathbf{Z}/n\mathbf{Z})^\times</math>, जिसमें उलटा अवशेष [[मॉड्यूलर अंकगणित]] होता है{{mvar|n}}, जो अवशेष हैं {{math|''a'' mod ''n''}} साथ {{math|1 ≤ ''a'' ≤ ''n''}} और {{math|1=gcd(''a'',&thinsp;''n'')&nbsp;=&thinsp;1}}. समरूपता प्रत्येक को भेजती है <math>\sigma \in \operatorname{Gal}(\mathbf{Q}(\zeta_n)/\mathbf{Q})</math> को {{math|''a'' mod ''n''}}, कहाँ {{mvar|a}} [[पूर्णांक]] ऐसा है {{math|1=σ(ζ<sub>''n''</sub>) = ζ{{su|b=''n''|p=''a''}}}}.
+* बधफलक समूह <math>\operatorname{Gal}(\mathbf{Q}(\zeta_n)/\mathbf{Q})</math> पूर्णांकों के गुणनात्मक समूह में प्राकृतिक रूपांतरण है गुणनात्मक समूह <math>(\mathbf{Z}/n\mathbf{Z})^\times</math>, जिसमें उलटा अवशेष [[मॉड्यूलर अंकगणित]] होता है{{mvar|n}}, जो अवशेष हैं {{math|''a'' आधुनिक ''n''}} साथ {{math|1 ≤ ''a'' ≤ ''n''}} और {{math|1=gcd(''a'',&thinsp;''n'')&nbsp;=&thinsp;1}}. समरूपता प्रत्येक को भेजती है <math>\sigma \in \operatorname{Gal}(\mathbf{Q}(\zeta_n)/\mathbf{Q})</math> को {{math|''a'' आधुनिक ''n''}}, कहाँ {{mvar|a}} [[पूर्णांक]] ऐसा है {{math|1=σ(ζ<sub>''n''</sub>) = ζ{{su|b=''n''|p=''a''}}}}.
 * के पूर्णांकों का वलय {{math|'''Q'''(ζ<sub>''n''</sub>)}} है {{math|'''Z'''[ζ<sub>''n''</sub>]}}.
-* के लिए {{math|''n'' > 2}}, विस्तार के बीजगणितीय संख्या क्षेत्र का विविक्तकर {{math|'''Q'''(ζ<sub>''n''</sub>)&thinsp;/&thinsp;'''Q'''}} है{{sfn|Washington|1997|loc=Proposition 2.7}}
+* {{math|''n'' > 2}} के लिए, विस्तार के बीजगणितीय संख्या क्षेत्र का विविक्तकर {{math|'''Q'''(ζ<sub>''n''</sub>)&thinsp;/&thinsp;'''Q'''}} है{{sfn|Washington|1997|loc=Proposition 2.7}}
 :: <math>(-1)^{\varphi(n)/2}\,
 \frac{n^{\varphi(n)}}
@@ Line 31: / Line 31: @@
 * अगर {{mvar|n}} प्रधान की शक्ति है {{mvar|p}}, तब {{math|'''Q'''(ζ<sub>''n''</sub>)&thinsp;/&thinsp;'''Q'''}} ऊपर पूर्ण रूप से विभक्त है {{mvar|p}}.
 * अगर {{mvar|q}} विभाजित न होने वाला अभाज्य है {{mvar|n}}, फिर फ्रोबेनियस तत्व <math>\operatorname{Frob}_q \in \operatorname{Gal}(\mathbf{Q}(\zeta_n)/\mathbf{Q})</math> के अवशेष से मेल खाता है {{math|''q''}} में <math>(\mathbf{Z}/n\mathbf{Z})^\times</math>.
-* ताकी जड़ों का समूह {{math|'''Q'''(ζ<sub>''n''</sub>)}} आदेश है {{mvar|n}} या {{math|2''n''}}, चाहे के अनुसार {{mvar|n}} सम या विषम है।
+* जिससे कि जड़ों का समूह {{math|'''Q'''(ζ<sub>''n''</sub>)}} आदेश है {{mvar|n}} या {{math|2''n''}}, {{mvar|n}} के अनुसार सम या विषम है।
-* [[इकाई समूह]] {{math|'''Z'''[ζ<sub>''n''</sub>]<sup>×</sup>}} रैंक का [[अंतिम रूप से उत्पन्न एबेलियन समूह]] है {{math|''φ''(''n'')/2 – 1}}, किसी के लिए {{math|''n'' > 2}}, [[डिरिचलेट इकाई प्रमेय]] द्वारा। विशेष रूप से, {{math|'''Z'''[ζ<sub>''n''</sub>]<sup>×</sup>}} केवल के लिए [[परिमित समूह]] है {{math|''n'' ∈ {1, 2, 3, 4, 6}}}. का [[मरोड़ उपसमूह]] {{math|'''Z'''[ζ<sub>''n''</sub>]<sup>×</sup>}} में ताकी जड़ों का समूह है {{math|'''Q'''(ζ<sub>''n''</sub>)}}, जिसका वर्णन पिछले मद में किया गया था। साइक्लोटॉमिक इकाइयां [[उपसमूह]] उपसमूह का स्पष्ट परिमित-सूचकांक बनाती हैं {{math|'''Z'''[ζ<sub>''n''</sub>]<sup>×</sup>}}.
+* [[इकाई समूह]] {{math|'''Z'''[ζ<sub>''n''</sub>]<sup>×</sup>}} रैंक का [[अंतिम रूप से उत्पन्न एबेलियन समूह]] है {{math|''φ''(''n'')/2 – 1}}, किसी के लिए {{math|''n'' > 2}}, [[डिरिचलेट इकाई प्रमेय]] द्वारा। विशेष रूप से, {{math|'''Z'''[ζ<sub>''n''</sub>]<sup>×</sup>}} केवल के लिए [[परिमित समूह]] है {{math|''n'' ∈ {1, 2, 3, 4, 6}}}. का [[मरोड़ उपसमूह]] {{math|'''Z'''[ζ<sub>''n''</sub>]<sup>×</sup>}} में जिससे कि जड़ों का समूह है {{math|'''Q'''(ζ<sub>''n''</sub>)}}, जिसका वर्णन पिछले विषय में किया गया था। साइक्लोटॉमिक इकाइयां [[उपसमूह]] उपसमूह का स्पष्ट परिमित-सूचकांक बनाती हैं {{math|'''Z'''[ζ<sub>''n''</sub>]<sup>×</sup>}}.
-* क्रोनेकर-वेबर प्रमेय कहता है कि प्रत्येक [[परिमित विस्तार]] एबेलियन विस्तार {{math|'''Q'''}} में {{math|'''C'''}} में निहित है {{math|'''Q'''(ζ<sub>''n''</sub>)}} कुछ के लिए {{mvar|n}}. समतुल्य, सभी साइक्लोटॉमिक क्षेत्रों का मिलन {{math|'''Q'''(ζ<sub>''n''</sub>)}} [[अधिकतम एबेलियन एक्सटेंशन|अधिकतम एबेलियन ्सटेंशन]] है {{math|'''Q'''<sup>ab</sup>}} का {{math|'''Q'''}}.
+* क्रोनेकर-वेबर प्रमेय कहता है कि प्रत्येक [[परिमित विस्तार]] एबेलियन विस्तार {{math|'''Q'''}} में {{math|'''C'''}} में निहित है {{math|'''Q'''(ζ<sub>''n''</sub>)}} कुछ के लिए {{mvar|n}}. समतुल्य, सभी साइक्लोटॉमिक क्षेत्रों का मिलन {{math|'''Q'''(ζ<sub>''n''</sub>)}} अधिकतम एबेलियन विस्तार है {{math|'''Q'''<sup>ab</sup>}} का {{math|'''Q'''}}.
 == नियमित बहुभुजों के साथ संबंध ==

Anonymous

Search

साइक्लोटोमिक क्षेत्र: Difference between revisions

Namespaces

More

Page actions

Revision as of 10:23, 15 February 2023

Contents

परिभाषा

गुण

नियमित बहुभुजों के साथ संबंध

छोटे उदाहरण

फ़र्मेट की अंतिम प्रमेय के साथ संबंध

चक्रीय क्षेत्रों की वर्ग संख्याओं की सूची

यह भी देखें

संदर्भ

स्रोत

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

साइक्लोटोमिक क्षेत्र: Difference between revisions

Revision as of 10:23, 15 February 2023

परिभाषा

गुण

नियमित बहुभुजों के साथ संबंध

छोटे उदाहरण

फ़र्मेट की अंतिम प्रमेय के साथ संबंध

चक्रीय क्षेत्रों की वर्ग संख्याओं की सूची

यह भी देखें

संदर्भ

स्रोत

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories