आइज़ेंस्टीन पूर्णांक

गणित में, ईसेनस्टीन पूर्णांक (गोथोल्ड ईसेनस्टीन के बाद नामित), कभी-कभी यूलेरियन पूर्णांकों (लियोनहार्ड यूलर के बाद) के रूप में भी जाना जाता है, यह -


 * $$z = a + b\omega ,$$ रूप की सम्मिश्र संख्याएँ हैं

जहां $a$ और $b$ पूर्णांक हैं और


 * $$\omega = \frac{-1 + i\sqrt 3}{2} = e^{i2\pi/3}$$

एकता का एक प्रारंभिक (इसलिए अवास्तविक) घनमूल है। गौसियन पूर्णांकों के विपरीत, ईसेनस्टीन पूर्णांक सम्मिश्र समतल में त्रिकोणीय जालक बनाते हैं, जो सम्मिश्र समतल में एक वर्ग जालक बनाते हैं। ईसेनस्टीन पूर्णांक गणनीय रूप से अनंत सेट हैं।

गुण
Eisenstein पूर्णांक बीजगणितीय संख्या क्षेत्र में बीजगणितीय पूर्णांकों का एक क्रमविनिमेय वलय बनाते हैं $$\mathbb{Q}(\omega)$$ - तीसरा साइक्लोटोमिक क्षेत्र। यह देखने के लिए कि आइज़ेंस्टीन पूर्णांक बीजगणितीय पूर्णांक हैं, ध्यान दें कि प्रत्येक $z = a + bω$ मोनिक बहुपद की जड़ है
 * $$z^2 - (2a - b)\;\!z + \left(a^2 - ab + b^2\right)~.$$

विशेष रूप से, $ω$ समीकरण को संतुष्ट करता है
 * $$\omega^2 + \omega + 1 = 0~.$$

दो ईसेनस्टीन पूर्णांकों का गुणनफल $a + bω$ और $c + dω$ द्वारा स्पष्ट रूप से दिया गया है
 * $$(a + b\;\!\omega) \;\! (c + d\;\!\omega)=(ac - bd) + (bc + ad - bd)\;\!\omega~.$$

आइज़ेंस्ताइन पूर्णांक का 2-मानक केवल इसका वर्गित मापांक है, और इसके द्वारा दिया जाता है
 * $${\left|a + b\;\!\omega\right|}^2 \,= \, {(a - \tfrac{1}{2} b)}^2 + \tfrac{3}{4} b^2 \, = \, a^2 - ab + b^2~,$$

जो स्पष्ट रूप से एक धनात्मक साधारण (तर्कसंगत) पूर्णांक है।

इसके अलावा, का जटिल संयुग्मन $ω$ संतुष्ट
 * $$\bar\omega = \omega^2~.$$

इस वलय में इकाइयों का समूह जटिल तल में एकता की छठी जड़ों द्वारा गठित चक्रीय समूह है: $$\left\{\pm 1, \pm\omega, \pm\omega^2 \right\}~,$$ मानदंड के आइज़ेंस्टीन पूर्णांक 1।

ईसेनस्टीन अभाज्य
अगर $x$ और $y$ आइज़ेंस्टीन पूर्णांक हैं, हम कहते हैं कि $x$ $y$ को विभाजित करता है यदि कोई आइज़ेंस्टीन पूर्णांक $z$ ऐसा है कि $y = zx$ हो। गैर-इकाई आइज़ेंस्टीन पूर्णांक $x$ को ईसेनस्टीन अभाज्य कहा जाता है अगर इसके केवल गैर-इकाई विभाजक $ux$ के रूप में हों, जहाँ $u$ छह इकाइयों में से कोई भी हो।

आइज़ेंस्टीन अभाज्य दो प्रकार के होते हैं। सबसे पहले, साधारण अभाज्य संख्या (या परिमेय अभाज्य) जो 2 mod 3 के सर्वांगसम है, एक आइज़ेंस्टीन अभाज्य भी है। दूसरा, 3 और प्रत्येक परिमेय अभाज्य 1 mod 3 के सर्वांगसम आइज़ेंस्टीन पूर्णांक $x + ωy$ के मानक $x^{2} − xy + y^{2}$ के बराबर हैं। इस प्रकार, इस तरह के अभाज्य को $(x + ωy)(x + ω^{2}y)$ के रूप में गुणनखंड किया जा सकता है, और ये गुणनखंड आइज़ेंस्टीन अभाज्य हैं: ये सटीक रूप से आइज़ेंस्टीन पूर्णांक हैं जिनका मानदंड एक परिमेय अभाज्य है।

यूक्लिडियन डोमेन
ईसेनस्टीन पूर्णांकों का वलय एक यूक्लिडियन डोमेन बनाता है जिसका मानदंड $N$ ऊपर के रूप में वर्ग मापांक द्वारा दिया गया है:
 * $$N(a+b\,\omega) = a^2 - a b + b^2. $$

एक विभाजन एल्गोरिथ्म, किसी भी लाभांश पर लागू होता है $$\alpha$$ और भाजक $$\beta\neq 0$$, एक भागफल देता है $$\kappa$$ और एक शेष $$\rho$$ भाजक से छोटा, संतोषजनक:


 * $$\alpha = \kappa \beta +\rho \ \ \text{ with  }\ \ N(\rho) < N(\beta).$$

यहाँ $$\alpha, \beta, \kappa, \rho$$ सभी आइज़ेंस्टीन पूर्णांक हैं। यह एल्गोरिथ्म यूक्लिडियन एल्गोरिथ्म का तात्पर्य है, जो यूक्लिड के लेम्मा और आइज़ेंस्टीन पूर्णांकों के अंकगणित के मौलिक प्रमेय को आइज़ेंस्टीन अभाज्य में सिद्ध करता है।

एक विभाजन एल्गोरिथ्म इस प्रकार है। पहले जटिल संख्याओं के क्षेत्र में विभाजन करें, और भागफल को ω के संदर्भ में लिखें:


 * $$ \frac{\alpha}{\beta}\ =\ \tfrac{1}{\ |\beta|^2}\alpha\overline{\beta} \ =\ a+bi \ =\ a+\tfrac{1}{\sqrt3}b+\tfrac{2}{\sqrt3}b\omega,$$

तर्कसंगत के लिए $$a,b\in\mathbb{Q}$$. फिर परिमेय गुणांकों को निकटतम पूर्णांक पर गोल करके आइज़ेंस्टीन पूर्णांक भागफल प्राप्त करें:
 * $$\kappa = \left\lfloor a+\tfrac{1}{\sqrt3}b\right\rceil + \left\lfloor \tfrac{2}{\sqrt3}b\right\rceil\omega \ \ \text{ and }\ \ \rho = {\alpha} - \kappa\beta.$$

यहाँ $$\lfloor x\rceil$$ किसी भी मानक गोलाई-टू-इंटीजर फ़ंक्शन को निरूपित कर सकता है।

कारण यह संतुष्ट करता है $$N(\rho) < N(\beta)$$, जबकि अधिकांश अन्य द्विघात पूर्णांक रिंगों के लिए अनुरूप प्रक्रिया विफल हो जाती है, इस प्रकार है। आदर्श के लिए एक मौलिक डोमेन $$\mathbb{Z}[\omega]\beta =\mathbb Z\beta+\mathbb Z\omega\beta$$, जटिल तल पर अनुवाद द्वारा कार्य करना, 60°–120° समचतुर्भुज है जिसके शीर्ष हैं $$0,\beta,\omega\beta, \beta+\omega\beta$$. कोई भी ईसेनस्टीन पूर्णांक α इस समांतर चतुर्भुज के अनुवादों में से एक और भागफल के अंदर स्थित है $$\kappa$$ इसके शीर्षों में से एक है। शेष α से इस शीर्ष तक वर्ग दूरी है, लेकिन हमारे एल्गोरिदम में अधिकतम संभव दूरी केवल है $$\tfrac{\sqrt3}2 |\beta|$$, इसलिए $$|\rho| \leq \tfrac{\sqrt3}2 |\beta|< |\beta|$$. (ρ का आकार लेकर थोड़ा कम किया जा सकता है $$\kappa$$ निकटतम कोना होना।)

का भागफल $C$ आइज़ेंस्टीन पूर्णांकों द्वारा
सम्मिश्र समतल का भागफल $C$ जालक (समूह) द्वारा सभी ईसेनस्टीन पूर्णांक वास्तविक आयाम 2 का एक जटिल टोरस है। यह ऐसे सभी जटिल टोरी के बीच अधिकतम समरूपता वाले दो तोरी में से एक है। यह टोरस एक नियमित षट्भुज के विपरीत किनारों के तीन जोड़े में से प्रत्येक की पहचान करके प्राप्त किया जा सकता है। (अन्य अधिकतम सममित टोरस गॉसियन पूर्णांकों के योगात्मक जालक द्वारा सम्मिश्र समतल का भागफल है, और एक वर्ग मौलिक डोमेन के विपरीत पक्षों के दो जोड़े में से प्रत्येक की पहचान करके प्राप्त किया जा सकता है, जैसे कि [0,1] × [0,1].)

यह भी देखें

 * गॉसियन पूर्णांक
 * चक्रीय क्षेत्र
 * सिस्टोलिक ज्यामिति
 * हर्मिट स्थिरांक
 * क्यूबिक पारस्परिकता
 * लोनर की टोरस असमानता
 * हर्विट्ज़ चतुर्धातुक
 * द्विघात पूर्णांक
 * डिक्सन अण्डाकार कार्य

बाहरी संबंध

 * Eisenstein Integer--from MathWorld