क्रमिक अंकगणित

समुच्चय सिद्धांत के गणितीय क्षेत्र में, साधारण अंकगणित क्रमसूचक संख्याओं के योग, गुणन और घातांक पर तीन सामान्य संक्रियाओं का वर्णन करता है। प्रत्येक को अनिवार्य रूप से दो भिन्न-भिन्न विधियों द्वारा परिभाषित किया जा सकता है, या तो ट्रांसफिनिट रिकर्सन का उपयोग करके अथवा स्पष्ट सुव्यवस्थित सेट का निर्माण करके जो ऑपरेशन के परिणाम का प्रतिनिधित्व करता है। कैंटर नॉर्मल फॉर्म क्रमसूचक संख्याओं को लिखने की मानकीकृत विधि प्रदान करता है। इन सामान्य क्रमसूचक संक्रियाओं के अतिरिक्त, क्रमसूचकों का "प्राकृतिक" अंकगणित और निम्बर संक्रियाएँ भी होती हैं।

जोड़
दो भिन्न-भिन्न सुव्यवस्थित समुच्चय S और T का संघ (सेट सिद्धांत) व्यवस्थित हो सकता है। उस संघ का क्रम-प्रकार क्रमसूचक है जो S और T के क्रम-प्रकारों को जोड़ने से उत्पन्न होता है। यदि दो सुव्यवस्थित समुच्चय पूर्व से ही असंयुक्त नहीं हैं तो उन्हें क्रम-समरूपी असंयुक्त समुच्चय द्वारा प्रतिस्थापित किया जा सकता है, उदाहरण के लिए, S को {0} × S से और T को {1} × T से प्रतिस्थापित किया गया है। इस प्रकार सुव्यवस्थित सेट S को सुव्यवस्थित सेट T के बाईं ओर अंकित किया जाता है, जिसका अर्थ है कि S $$\cup$$ T पर ऑर्डर परिभाषित किया गया है जिसमें S का प्रत्येक तत्व T के प्रत्येक तत्व से छोटा है। समुच्चय (गणित) S और T स्वयं उनके निकट उपस्थित पूर्व क्रम को बनाए रखते हैं।

योग α + β की परिभाषा, β पर ट्रांसफिनिट रिकर्सन द्वारा प्राप्त की जा सकती है:
 * α + 0 = α
 * α + S(β) = S(α + β), जहाँ S उत्तराधिकारी क्रमसूचक फंक्शन को दर्शाता है।
 * $$\alpha + \beta = \bigcup_{\delta<\beta}(\alpha+\delta)$$ जब β सीमा क्रमसूचक है।

प्राकृतिक संख्याओं पर क्रमसूचक जोड़ मानक जोड़ के समान होता है। प्रथम ट्रांसफ़िनिटी ऑर्डिनल ω सभी प्राकृतिक संख्याओं का समुच्चय है, जिसके पश्चात ω + 1, ω + 2, आदि हैं। क्रमसूचक ω + ω, प्राकृतिक संख्याओं के सामान्य क्रम में दो प्रतियों द्वारा प्राप्त किया जाता है और द्वितीय प्रति पूर्ण रूप से प्रथम प्रति के दाईं ओर होती है। द्वितीय प्रति के लिए 0' <1' < 2' <... अंकित करने पर ω + ω, 0 <1 <2 <3 <... <0' <1' <2' <... जैसा दिखता है।

यह ω से भिन्न होता है क्योंकि ω में केवल 0 का प्रत्यक्ष पूर्ववर्ती नहीं होता है यद्यपि ω + ω में दो तत्वों 0 और 0' का प्रत्यक्ष पूर्ववर्ती नहीं होता है।

गुण
साधारण जोड़ सामान्य रूप से क्रमविनिमेय नहीं है। उदाहरण के लिए $3 + ω = ω$ है, चूँकि $3 + ω$ के लिए क्रम संबंध 0 < 1 < 2 < 0 '< 1' < 2 ' <... होता है, जिसे ω में रीलेबल किया जा सकता है। इसके विपरीत $ω + 3$, ω के समान नहीं है क्योंकि क्रम संबंध 0 < 1 < 2 < ... < 0' < 1' < 2' में सबसे बड़ा तत्व (अर्थात्, 2') और ω नहीं है (ω और $ω + 3$ इक्विपोटेंट हैं, किन्तु क्रम-समरूपी नहीं हैं)।

साधारण जोड़ अभी भी साहचर्य है; जिसे निम्नलिखित उदाहरण द्वारा अवलोकित किया जा सकता है- (ω + 4) + ω = ω + (4 + ω) = ω + ω

जोड़ जटिलता से विस्तारित हो रहा है और उचित तर्क में निरंतर है-
 * $$\alpha < \beta \Rightarrow \gamma + \alpha < \gamma + \beta$$

किन्तु समान संबंध बाएँ तर्क के लिए मान्य नहीं है; इसके अतिरिक्त हमारे निकट है-
 * $$\alpha < \beta \Rightarrow \alpha+\gamma \le \beta+\gamma$$

यदि α + β = α + γ और β = γ है, तो क्रमसूचक योग बायाँ-निरस्त होता है। इसके अतिरिक्त, कोई ऑर्डिनल β ≤ α के लिए बाएं डिवीजन को परिभाषित कर सकता है: अद्वितीय γ उपस्थित है जैसे α = β + γ। दूसरी ओर, उचित निरस्तीकरण कार्य नहीं होता है-
 * $$3+\omega = 0+\omega = \omega$$ किन्तु $$3 \neq 0$$ है

β ≤ α के लिए उचित घटाव कार्य नहीं करता उदाहरण के लिए, तब γ उपस्थित नहीं होता है जैसे कि γ + 42 = ω

यदि α से अल्प क्रमांक योग के अंतर्गत संवृत और 0 होते हैं तो α को कभी-कभी γ-संख्या कहा जाता है (जोड़ने योग्य अविभाज्य क्रमसूचक देखें)। ये पूर्णतः ωβ रूप के क्रमसूचक हैं।

गुणन
कार्टेशियन गुणन S×T, दो सुव्यवस्थित सेट S और T के लेक्सिकोग्राफिक ऑर्डर विधि द्वारा उचित रूप से व्यवस्थित किये जा सकते है जो कम से कम महत्वपूर्ण स्थिति को प्रथम रखता है। प्रभावी रूप से, T के प्रत्येक तत्व को S की असंयुक्त प्रति द्वारा प्रतिस्थापित कर दिया जाता है। कार्टेशियन गुणन का क्रम-प्रकार क्रमसूचक है जो S और T के क्रम-प्रकारों को गुणा करने से उत्पन्न होता है।

गुणन की परिभाषा आगमनात्मक रूप से भी दी जा सकती है (निम्नलिखित प्रेरण β पर है)-
 * α·0 = 0.
 * α · S(β) = (α · β) + α, उत्तराधिकारी क्रमसूचक S(β) के लिए है।
 * $$\alpha\cdot\beta=\bigcup_{\delta<\beta}(\alpha\cdot\delta)$$, जब β सीमा क्रमसूचक है।

उदाहरण के रूप में, यहाँ ω·2 के लिए क्रम संबंध है-
 * 00 < 10 < 20 < 30 < ... < 01 < 11 < 21 < 31 <...,

जिसका क्रम प्रकार ω + ω के समान है। इसके विपरीत, 2·ω इस प्रकार दिखता है-
 * 00 < 10 < 01 < 11 < 02 < 12 < 03 < 13 <...

और पुनः लेबल लगाने के पश्चात, यह पूर्णतः ω जैसा दिखता है।

इस प्रकार, ω·2 = ω+ω ≠ ω = 2·ω, यह दर्शाता है कि क्रमांकों का गुणन सामान्य क्रमविनिमेय नहीं है।

प्राकृतिक संख्याओं पर पुनः क्रमसूचक गुणन मानक गुणन के समान है।

गुण
α·0 = 0·α = 0, और शून्य-उत्पाद गुण α·β = 0 $$\Rightarrow$$ α = 0 या β = 0 धारण करता है। क्रमसूचक 1, गुणक प्रमाण α·1 = 1·α = α है। गुणन संबद्ध (α·β)·γ = α·(β·γ) है। गुणन जटिलता से विस्तारित हो रहा है और उचित तर्क में निरंतर (α < β और γ > 0) $$\Rightarrow$$ γ·α < γ·β है। बाएं तर्क में गुणन जटिलता से विस्तारित नहीं हो रहा है, उदाहरण के लिए, 1 < 2 किन्तु 1·ω = 2·ω = ω है। चूँकि, यह विस्तारित हो रहा है अर्थात α ≤ β $$\Rightarrow$$ α·γ ≤ β·γ.

क्रमसूचकों का गुणन सामान्य क्रमविनिमेय नहीं है। विशेष रूप से, 1 से अधिक प्राकृतिक संख्या कभी भी किसी भी अनंत क्रमसूचक के साथ नहीं चलती है और यदि αm = βn है तो कुछ सकारात्मक प्राकृतिक संख्या m और n के लिए दो अनंत क्रमसूचक α, β के साथ चलती है। संबंध α, β के साथ संचार करता है, 1 से अधिक क्रमांक पर तुल्यता संबंध है, और सभी तुल्यता वर्ग अनगिनत रूप से अनंत हैं।

वितरणता, α(β + γ) = αβ + αγ में बाईं ओर होती है। चूँकि, दाईं ओर वितरण नियम (β + γ)α = βα+γα सामान्यतः सत्य नहीं है: (1 + 1)·ω = 2·ω = ω यद्यपि 1·ω + 1·ω = ω+ω, जो भिन्न है। यदि α > 0 और α·β = α·γ हैं तो β = γ होगा, यह बायां निरस्तीकरण नियम है। उचित निरस्तीकरण कार्य नहीं करता है, उदाहरण के लिए 1·ω = 2·ω = ω, किन्तु 1 और 2 भिन्न हैं। शेष गुण के साथ बाएँ विभाजन के लिए α और β मान्य है यदि β> 0, तब γ और δ अद्वितीय हैं जैसे कि α = β·γ + δ और δ < β, उचित विभाजन कार्य नहीं करते हैं: ऐसा α नहीं है जैसे कि α·ω ≤ ωω ≤ (α + 1)·ω.

क्रमसूचक संख्याएँ बाएँ निकट-सेमीरिंग बनाती हैं, किन्तु वलय (बीजगणित) नहीं बनाती हैं। इसलिए ऑर्डिनल्स यूक्लिडियन डोमेन नहीं हैं, क्योंकि वे वलय भी नहीं हैं – इसके अतिरिक्त, यूक्लिडियन मानदंड बाएं डिवीजन का उपयोग करके क्रमसूचक-महत्वपूर्ण होता है।

δ-संख्या (गुणात्मक रूप से अविघटनीय क्रमसूचक देखें) 1 से बड़ी ऑर्डिनल β है जैसे कि αβ=β, जब 0 < α < β होता है। इनमें क्रमसूचक 2 और β = ωωγ रूप के क्रमांक सम्मिलित हैं।

घातांक
क्रम प्रकार के माध्यम से परिभाषा को सबसे सरलता से वॉन न्यूमैन की ऑर्डिनल परिभाषा का उपयोग करके सभी छोटे क्रमसूचकों के सेट के रूप में अध्यन्न किया गया है। तत्पश्चात, क्रम प्रकार αβ का सेट बनाने के लिए β से α तक सभी फंक्शन्स पर विचार करें जैसे कि डोमेन β के तत्वों की केवल 1 परिमित संख्या α के गैर शून्य तत्व के लिए मैप करती है (अनिवार्य रूप से, हम सीमित समर्थन (गणित) के साथ फंक्शन्स पर विचार करते हैं)। क्रम प्रथम अतिअल्प महत्वपूर्ण स्थिति के साथ लेक्सिकोग्राफ़िक है।

घातांक की परिभाषा भी आगमनात्मक रूप से प्राप्त की जा सकती है (निम्नलिखित प्रेरण β, घातांक पर है)-
 * α0 = 1
 * αS(β) = (αβ) · α, उत्तराधिकारी क्रमसूचक S(β) के लिए है।
 * $$\alpha^\beta=\bigcup_{0<\delta<\beta}(\alpha^\delta)$$, जब β सीमा क्रमसूचक है।

परिमित घातांक के लिए क्रमसूचक घातांक की परिभाषा सरल है। यदि घातांक परिमित संख्या है, तो घात पुनरावृत्त गुणन का परिणाम है। उदाहरण के लिए, ω2 = ω·ω क्रमसूचक गुणन की संक्रिया का प्रयोग करें। ध्यान दें कि ω·ω को 2 = {0,1} से ω = {0,1,2,...} तक के फंक्शन्स के सेट का उपयोग करके परिभाषित किया जा सकता है, महत्वपूर्ण स्थिति के साथ लेक्सिकोग्राफ़िक क्रम है-
 * (0,0) <(1,0) <(2,0) <(3,0) <... <(0,1) <(1,1) <(2,1) <(3, 1) <... <(0,2) <(1,2) <(2,2) <...

यहाँ संक्षिप्तता के लिए, हमने फ़ंक्शन {(0,k), (1,m)} को क्रमित जोड़ी (k, m) से प्रतिस्थापित कर दिया है।

इसी प्रकार, किसी परिमित घातांक n के लिए, $$\omega^n$$ को n (डोमेन) से प्राकृतिक संख्याओं (कोडोमेन) तक के फंक्शन्स के सेट का उपयोग करके परिभाषित किया जा सकता है। इन फंक्शन्स को प्राकृतिक संख्याओं के n-टपल्स के रूप में संक्षिप्त किया जा सकता है।

किन्तु अपरिमित घातांकों के लिए, परिभाषा स्पष्ट नहीं हो सकती है। सीमा क्रमसूचक, जैसे ωω, सभी छोटे क्रमांकों का सर्वोच्च है। प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों के समुच्चय का उपयोग करके ωω को परिभाषित करना स्वाभाविक प्रतीत हो सकता है। चूँकि, हम प्राप्त करते हैं कि इस समुच्चय पर निरपेक्षता (गणितीय तर्क) से परिभाषित क्रम सुव्यवस्थित नहीं है। इस समस्या के समाधान के लिए परिभाषा समुच्चय को अनुक्रमों तक सीमित करती है जो केवल तर्कों की सीमित संख्या के लिए अशून्य होते हैं। यह स्वाभाविक रूप से आधार की परिमित घातों की सीमा के रूप में प्रेरित होता है (बीजगणित में प्रतिफल की अवधारणा के समान)। इसे अपरिमित संघ $$\bigcup_{n<\omega}\omega^n$$ भी माना जा सकता है।

उनमें से प्रत्येक अनुक्रम जैसे $$\omega^{n_1} c_1 + \omega^{n_2} c_2 + \cdots + \omega^{n_k} c_k$$, $$\omega^\omega$$ से अल्प क्रमसूचक से युग्मित होता है और $$\omega^\omega$$ छोटे क्रमसूचकों का सर्वोच्च है।

इस समुच्चय पर लेक्सिकोोग्राफ़िकल ऑर्डर उत्तम क्रम है जो दशमलव अंकन में लिखी गई प्राकृतिक संख्याओं के क्रम के समान होता है, अतिरिक्त इसके कि अंकों की स्थिति को परिवर्तित कर दिया जाए और केवल 0-9 अंकों के साथ आर्बिटरी प्राकृतिक संख्याएँ हैं:


 * (0,0,0,...) <(1,0,0,0,...) <(2,0,0,0,...) <... <
 * (0,1,0,0,0,...) <(1,1,0,0,0,...) <(2,1,0,0,0,...) <। .. <
 * (0,2,0,0,0,...) <(1,2,0,0,0,...) <(2,2,0,0,0,...)
 * (0,0,1,0,0,0,...) <(1,0,1,0,0,0,...) <(2,0,1,0,0,0, ...)
 * (0,0,1,0,0,0,...) <(1,0,1,0,0,0,...) <(2,0,1,0,0,0, ...)

सामान्यतः, αβ प्राप्त करने के लिए क्रमसूचक α को दूसरे क्रमसूचक β की घात तक विस्तारित किया जा सकता है।

हम देखतें है,
 * 1ω = 1,
 * 2ω = ω,
 * 2ω+1 = ω·2 = ω+ω.

चूँकि समान संकेतन का उपयोग क्रमसूचक घातांक और कार्डिनल घातांक के लिए किया जाता है, क्रमसूचक घातांक कार्डिनल घातांक से अत्याधिक भिन्न होता है। उदाहरण के लिए, क्रमसूचक घातांक के साथ $$2^\omega = \omega$$, किन्तु $$\aleph_0$$ के लिए (एलेफ संख्याओं की प्रमुखता $$\omega$$), $$2^{\aleph_0} > \aleph_0$$ है। यहाँ, $$2^{\aleph_0}$$ प्राकृतिक संख्याओं के समुच्चय से लेकर दो तत्वों वाले समुच्चय तक सभी फक्शंस के सेट की प्रमुखता है। (यह प्राकृतिक संख्याओं के समुच्चय के पावरसेट की कार्डिनैलिटी है और $$\mathfrak c$$ कॉन्टिनम की कार्डिनैलिटी के समान है।) क्रमसूचक घातांक को कार्डिनल घातांक के साथ भ्रमित करने से बचने के लिए, क्रमसूचक प्रतीकों (जैसे ω) का उपयोग कर सकता है और उसके पश्चात कार्डिनल प्रतीकों (जैसे $$\aleph_0$$) का उपयोग कर सकता है।

गुण

 * α0 = 1
 * यदि 0 <α, तब 0α = 0
 * 1α = 1
 * α1 = α
 * αβ·αγ = αβ + γ
 * (αβ)γ = αβ·γ
 * α, β, और γ हैं जिसके लिए (α·β)γ ≠ αγ·βγ हैं। उदाहरण के लिए, (ω·2)2 = ω·2·ω·2 = ω2·2 ≠ ω2·4
 * क्रमसूचक घातांक जटिलता से विस्तारित हो रहा है और उचित तर्क में निरंतर है: यदि γ> 1 और α < β, तब γα < γβ है।
 * यदि α < β, तब αγ ≤ βγ, उदाहरण के लिए ध्यान दें कि 2 < 3 और 2ω = 3ω = ω है।
 * यदि α> 1 और αβ = αγ, तब β = γ है। यदि α = 1 या α = 0 तब यह स्थिति नहीं है।
 * यदि β > 1 और α > 0 है, तब α और β के लिए अद्वितीय γ, δ, और ρ उपस्थित हैं जैसे कि α = βγ·δ + ρ, 0 < δ < β और ρ < βγ

अर्न्स्ट जैकबस्टल ने दिखाया कि αβ = βα का α ≤ β के साथ एकमात्र समाधान α = β, या α = 2 और β = 4 द्वारा दिया जाता है, या α सीमा क्रमसूचक है और β = εα जहाँ ε, α से बड़ी ε-संख्या है।

घातांक से परे
ऐसे क्रमसूचक संचालन होते हैं जो जोड़, गुणन और घातांक द्वारा प्रारम्भ किए गए अनुक्रम को निरंतर रखते हैं, जिसमें टेट्रेशन, पेंटेशन और  हेक्सेशन के क्रमसूचक संस्करण सम्मिलित हैं। वेब्लेन समारोह भी देखें।

कैंटर सामान्य रूप
प्रत्येक क्रमसूचक संख्या α को विशिष्ट रूप से $$\omega^{\beta_1} c_1 + \omega^{\beta_2}c_2 + \cdots + \omega^{\beta_k}c_k$$ के रूप में लिखा जा सकता है, जहाँ k प्राकृत संख्या है, $$c_1, c_2, \ldots, c_k$$ सकारात्मक पूर्णांक हैं, और $$\beta_1 > \beta_2 > \ldots > \beta_k \geq 0$$ क्रमसूचक संख्याएँ हैं। अपकृष्ट स्तिथि α = 0 तब होती है जब k = 0 होता है और कोई βs और cs नहीं होता है। Α के इस अपघटन को α का 'कैंटर सामान्य रूप' कहा जाता है, और इसे आधार-ω की स्थितीय अंक प्रणाली माना जा सकता है। उच्चतम घातांक $$\beta_1$$ को $$\alpha$$ की डिग्री कहा जाता है, और यह $$\beta_1\le\alpha$$ संतुष्ट करता है। यदि $$\alpha=\omega^\alpha$$ है, समानता $$\beta_1=\alpha$$ क्रियान्वित होती है। उस स्थिति में कैंटर सामान्य रूप क्रमसूचक को छोटे संदर्भ में व्यक्त नहीं करता है।

कैंटर सामान्य रूप का साधारण परिवर्तन, जिसके साथ कार्य करना सामान्यतः सरल होता है, जिसमें संख्या ci को 1 के समान सेट करना और घातांकों को समान करने की अनुमति देना है। अन्य शब्दों में, प्रत्येक क्रमसूचक संख्या α को विशिष्ट रूप से $$\omega^{\beta_1}  + \omega^{\beta_2} + \cdots + \omega^{\beta_k}$$ लिखा जा सकता है, जहाँ k प्राकृतिक संख्या है, और $$\beta_1 \ge \beta_2 \ge \ldots \ge \beta_k \ge 0$$ क्रमसूचक संख्याएँ हैं।

कैंटर सामान्य रूप की अन्य भिन्नता "आधार δ विस्तार" है, जहां ω को क्रमसूचक δ>1 द्वारा प्रतिस्थापित किया जाता है, और संख्या ci,δ से अल्प धनात्मक क्रमांक हैं।

कैंटर सामान्य रूप हमें विशिष्ट रूप से अभिव्यक्त और व्यवस्थित करने की अनुमति देता है-ऑर्डिनल्स α जो कि प्राकृतिक संख्याओं से जोड़, गुणा और घातांक आधार-$$\omega$$ के अंकगणितीय संचालन की सीमित संख्या से निर्मित होते हैं: अन्य शब्दों में, $$\beta_1<\alpha$$ मानकर हम घातांक $$\beta_i$$ को कैंटर सामान्य रूप में भी व्यक्त कर सकते हैं और $$\beta_i$$ के लिए α के समान धारणा बना सकते हैं और इसी प्रकार पुनरावर्ती रूप से, हम इन क्रमसूचकों के लिए संकेतन की प्रणाली प्राप्त करते हैं (उदाहरण के लिए,
 * $$\omega^{\omega^{\omega^7\cdot6+\omega+42}\cdot1729+\omega^9+88}\cdot3+\omega^{\omega^\omega}\cdot5+65537$$

जो क्रमसूचक को दर्शाता है)।

क्रमसूचक ε0 (एप्सिलॉन शून्य) कैंटर सामान्य रूप की परिमित-लंबाई अंकगणितीय अभिव्यक्तियों के क्रमिक मानों α का सेट है जो आनुवंशिक रूप से नॉन-ट्रिविअल हैं जहां नॉन-ट्रिविअल का अर्थ β1<α जब 0<α है। यह सबसे छोटा क्रमसूचक है जिसमें ω के संदर्भ में परिमित अंकगणितीय अभिव्यक्ति नहीं है, उदाहरण के लिए $$\varepsilon_0 = \omega^{\varepsilon_0}$$, अर्थात कैंटर सामान्य रूप में घातांक स्वयं क्रमसूचक से छोटा नहीं होता है। यह क्रम की सीमा है-
 * $$0, \, 1=\omega^0, \, \omega=\omega^1, \, \omega^\omega, \, \omega^{\omega^\omega}, \, \ldots \,.$$

क्रमसूचक ε0 अंकगणित में विभिन्न कारणों से महत्वपूर्ण है (अनिवार्य रूप से क्योंकि यह प्रथम-क्रम तर्क की प्रूफ-सैद्धांतिक शक्ति को मापता है: पियानो के एक्सिओम्स ε0 से अल्प किसी भी क्रमसूचक तक ट्रांसफिनिट इंडक्शन दिखा सकते हैं)

कैंटर सामान्य रूप, क्रमसूचकों के योग और गुणनफलों की गणना करने की अनुमति देता है: योग की गणना करने के लिए, उदाहरण के लिए, केवल यह ज्ञात करने की आवश्यकता है ( और में सूचीबद्ध गुणों को देखें)
 * $$\omega^{\beta} c+\omega^{\beta'} c' = \omega^{\beta'}c' \,,$$

यदि $$\beta'>\beta$$ (यदि $$\beta'=\beta$$, वितरण नियम को बाईं ओर प्रयुक्त कर सकता है और इसे पुनः $$\omega^{\beta} (c+c')$$ के रूप में लिख सकता है, और यदि $$\beta'<\beta$$ अभिव्यक्ति पूर्व ही कैंटर सामान्य रूप में है) और गुणनफलों की गणना करने के लिए, आवश्यक तथ्य यह हैं कि जब $$0 < \alpha = \omega^{\beta_1} c_1 + \cdots + \omega^{\beta_k}c_k$$ कैंटर सामान्य रूप में होता है और $$0 < \beta' $$, तब
 * $$\alpha\omega^{\beta'} = \omega^{\beta_1 + \beta'} \,$$

और
 * $$\alpha n = \omega^{\beta_1} c_1 n + \omega^{\beta_2} c_2 + \cdots + \omega^{\beta_k}c_k \,,$$

यदि n अशून्य प्राकृतिक संख्या है।

कैंटर सामान्य रूप में लिखे गए दो क्रमसूचकों की तुलना करने के लिए, प्रथम $$\beta_1$$की तुलना करें, उसके पश्चात $$c_1$$, तत्पश्चात $$\beta_2$$, तत्पश्चात $$c_2$$, आदि की तुलना करें, प्रथम अंतर पर, जिस क्रमसूचक का बड़ा घटक होता है वह बड़ा क्रमसूचक होता है। यदि वे तब तक समान हैं जब तक एक दूसरे से पूर्व समाप्त नहीं हो जाते है, तो जो पूर्व समाप्त होता है वह छोटा होता है।

अभाज्यों में गुणनखंड
अर्न्स्ट जैकबस्टल ने प्रस्तुत किया कि क्रमसूचक अद्वितीय गुणनखंड प्रमेय के रूप को संतुष्ट करते हैं: प्रत्येक अशून्य क्रमसूचक को परिमित संख्याओं के गुणनफल के रूप में अंकित किया जा सकता है। प्राइम ऑर्डिनल्स में यह गुणनखंड सामान्य रूप से अद्वितीय नहीं है, किन्तु अभाज्यों में न्यूनतम गुणनखंड है जो परिमित प्रमुख कारकों के क्रम को परिवर्तित करने के लिए अद्वितीय है ।

प्रमुख क्रमसूचक 1 से अधिक क्रमसूचक है जिसे दो छोटे क्रमसूचकों के गुणनफल के रूप में अंकित नहीं किया जा सकता है। कुछ प्रथम अभाज्य संख्याएँ हैं- 2, 3, 5, ..., ω, ω+1, ω2+1, ω3+1, ..., ωω, ωω+1, ωω+1+1, ... प्रमुख क्रमसूचकों के तीन प्रकार होते हैं:
 * परिमित अभाज्य संख्याएँ- 2, 3, 5, ...
 * किसी भी क्रमसूचक α के लिए, ωω α रूप के क्रमसूचक हैं। ये प्रमुख क्रमसूचकों की सीमाएँ और डेल्टा संख्याएँ हैं, जो ट्रांसफ़ाइन क्रमसूचक गुणन के अंतर्गत संवृत हैं।
 * किसी भी क्रमसूचक α>0 के लिए, ωα+1 रूप के क्रमसूचक हैं। ये अनंत उत्तराधिकारी अभाज्य संख्याएँ हैं, और योगात्मक रूप से अविघटनीय क्रमसूचकों के उत्तराधिकारी हैं, योज्य रूप से अविघटनीय क्रमसूचक हैं।

अभाज्य संख्याओं में गुणनखंड अद्वितीय नहीं है, उदाहरण के लिए, 2×3=3×2, 2×ω=ω, (ω+1)×ω=ω×ω और ω×ωω = ωω है। चूँकि, निम्नलिखित अतिरिक्त स्तिथियों को पूर्ण करने वाले अभाज्यों में अनूठा गुणनखंड है-
 * प्रत्येक लिमिट प्राइम प्रत्येक सक्सेसर प्राइम से पूर्व आते है
 * यदि अभाज्य गुणनखंडन के दो क्रमागत अभाज्य, दोनों सीमाएँ हैं या दोनों परिमित हैं तो दूसरा अधिक से अधिक प्रथम है।

कैंटर सामान्य रूप का उपयोग करके इस अभाज्य गुणनखंडन का सरलता से अध्यन्न किया जा सकता है:
 * प्रथम क्रमसूचक को गुणनफल αβ के रूप में अंकित करें जहाँ α कैंटर सामान्य रूप में ω की सबसे छोटी घात है और β उत्तराधिकारी है।
 * यदि α=ωγ, तब कैंटर सामान्य रूप में γ लिखने से लिमिट अभाज्यों के गुणनफल के रूप में α का विस्तार होता है।
 * अब β के कैंटर सामान्य रूप को देखें। यदि β = ωλm + ωμn + छोटे पद, तब β = (ωμn + छोटे पद) (ωλ−μ + 1) m, जो छोटे क्रमसूचक, अभाज्य और पूर्णांक m का गुणनफल है। इसका पुनरावलोकन करते हुए और पूर्णांकों को अभाज्य संख्याओं में गुणनखंडित करने से β का अभाज्य गुणनखंड प्राप्त होता है।

तो कैंटर सामान्य रूप का गुणन क्रमसूचक है-
 * $$\omega^{\alpha_1}n_1+\cdots +\omega^{\alpha_k}n_k$$ (साथ $$\alpha_1>\cdots>\alpha_k$$)

अनंत अभाज्यों और पूर्णांकों के न्यूनतम गुणनफल में है-
 * $$\omega^{\omega^{\beta_1}}\cdots\omega^{\omega^{\beta_m}}n_k(\omega^{\alpha_{k-1}-\alpha_k}+1)n_{k-1}\cdots n_2(\omega^{\alpha_{1}-\alpha_2}+1)n_1$$

जहाँ प्रत्येक ni परिमित अभाज्यों के अविस्तृत अनुक्रम में इसके गुणनखंड द्वारा प्रतिस्थापित किया जाना चाहिए और
 * $$\alpha_k=\omega^{\beta_1}+\cdots +\omega^{\beta_m}$$ साथ $$\beta_1\ge\cdots\ge\beta_m$$.

बड़े गणनीय अध्यादेश
जैसा कि ऊपर चर्चा की गई है, कैंटर नीचे दिए गए अध्यादेशों का सामान्य रूप है $$\varepsilon_0$$ एक वर्णमाला में व्यक्त किया जा सकता है जिसमें केवल जोड़, गुणा और घातांक के लिए फ़ंक्शन प्रतीक होते हैं, साथ ही साथ प्रत्येक प्राकृतिक संख्या और के लिए निरंतर प्रतीक भी होते हैं। $$\omega$$. हम केवल निरंतर प्रतीक 0 और उत्तराधिकारी के संचालन का उपयोग करके असीमित रूप से कई अंकों से दूर हो सकते हैं, $$S$$ (उदाहरण के लिए, पूर्णांक 4 को इस रूप में व्यक्त किया जा सकता है $$S(S(S(S(0))))$$). यह एक क्रमसूचक संकेतन का वर्णन करता है: एक परिमित वर्णमाला पर क्रमसूचकों के नामकरण के लिए एक प्रणाली। क्रमसूचक संकेतन की इस विशेष प्रणाली को अंकगणितीय क्रमसूचक अभिव्यक्तियों का संग्रह कहा जाता है, और नीचे दिए गए सभी क्रमों को व्यक्त कर सकता है $$\varepsilon_0$$है, पर व्यक्त नहीं कर सकता $$\varepsilon_0$$. ऐसे अन्य क्रमसूचक संकेतन हैं जो अध्यादेशों को अच्छी तरह से पकड़ने में सक्षम हैं $$\varepsilon_0$$, किन्तु क्योंकि किसी भी परिमित वर्णमाला पर केवल गिने-चुने तार हैं, किसी भी क्रमसूचक संकेतन के लिए नीचे क्रमसूचक होंगे $$\omega_1$$ (पहला बेशुमार क्रमसूचक) जो व्यक्त नहीं किया जा सकता। ऐसे अध्यादेशों को बड़े गणनीय अध्यादेशों के रूप में जाना जाता है।

जोड़, गुणन और घातांक के संचालन आदिम पुनरावर्ती क्रमसूचक कार्यों के सभी उदाहरण हैं, और अधिक सामान्य आदिम पुनरावर्ती क्रमसूचक कार्यों का उपयोग बड़े अध्यादेशों का वर्णन करने के लिए किया जा सकता है।

प्राकृतिक संचालन
अध्यादेशों पर प्राकृतिक योग और प्राकृतिक उत्पाद संचालन को 1906 में गेरहार्ड हेसनबर्ग द्वारा परिभाषित किया गया था, और कभी-कभी हेसेनबर्ग योग (या उत्पाद) कहा जाता है।. ये असली संख्याओं के जॉन कॉनवे के फील्ड (गणित) के जोड़ और गुणा (ऑर्डिनल्स तक सीमित) के समान हैं। उनके पास यह लाभ है कि वे साहचर्य और क्रमविनिमेय हैं, और प्राकृतिक उत्पाद प्राकृतिक राशि पर वितरित होते हैं। इन परिचालनों को क्रमविनिमेय बनाने की लागत यह है कि वे सही तर्क में निरंतरता खो देते हैं, जो साधारण योग और उत्पाद की संपत्ति है। α और β के प्राकृतिक योग को अक्सर α ⊕ β या α # β, और प्राकृतिक उत्पाद α ⊗ β या α ⨳ β द्वारा दर्शाया जाता है।

प्राकृतिक संक्रियाएँ अच्छी तरह से अर्ध-आदेश के सिद्धांत में सामने आती हैं; ऑर्डर प्रकार (अधिकतम रैखिक ऑर्डर) ओ(एस) और ओ(टी) के दो अच्छी तरह से आंशिक ऑर्डर एस और टी दिए गए हैं, डिसजॉइंट यूनियन का प्रकार ओ(एस) ⊕ ओ(टी) है, जबकि प्रत्यक्ष का प्रकार उत्पाद ओ(एस) ⊗ ओ(टी) है। एस और टी को ऑर्डिनल्स α और β चुनकर इस संबंध को प्राकृतिक संचालन की परिभाषा के रूप में लिया जा सकता है; इसलिए α ⊕ β कुल ऑर्डर का अधिकतम ऑर्डर प्रकार है जो α और β के डिसजॉइंट यूनियन (आंशिक ऑर्डर के रूप में) को बढ़ाता है; जबकि α ⊗ β, α और β के प्रत्यक्ष उत्पाद (आंशिक आदेश के रूप में) को विस्तारित करने वाले कुल ऑर्डर का अधिकतम ऑर्डर प्रकार है। इसका एक उपयोगी अनुप्रयोग तब होता है जब α और β दोनों कुछ बड़े कुल क्रम के उपसमुच्चय होते हैं; तब उनके संघ का ऑर्डर प्रकार अधिकतम α ⊕ β होता है। यदि वे दोनों किसी क्रमित समूह के उपसमुच्चय हैं, तो उनके योग का क्रम प्रकार अधिक से अधिक α ⊗ β होता है।

हम α और β के प्राकृतिक योग को आगमनात्मक रूप से भी परिभाषित कर सकते हैं (α और β पर एक साथ प्रेरण द्वारा) सभी γ < β के लिए α और γ के प्राकृतिक योग और सभी γ < α के लिए γ और β के प्राकृतिक योग से अधिक सबसे छोटा क्रमसूचक योग है। प्राकृतिक उत्पाद (पारस्परिक प्रेरण द्वारा) की एक आगमनात्मक परिभाषा भी है, किन्तु इसे लिखना कुछ कठिन है और हम ऐसा नहीं करेंगे (उस संदर्भ में परिभाषा के लिए वास्तविक संख्याओं पर लेख देखें, चूँकि, असली का उपयोग करता है घटाव, कुछ ऐसा जो स्पष्ट रूप से अध्यादेशों पर परिभाषित नहीं किया जा सकता)।

प्राकृतिक योग साहचर्य और क्रमविनिमेय है। यह हमेशा सामान्य योग से अधिक या बराबर होता है, किन्तु यह सख्ती से अधिक हो सकता है। उदाहरण के लिए, ω और 1 का प्राकृतिक योग ω+1 (सामान्य योग) है, किन्तु यह 1 और ω का प्राकृतिक योग भी है। प्राकृतिक उत्पाद साहचर्य और क्रमविनिमेय है और प्राकृतिक योग पर वितरित करता है। प्राकृतिक उत्पाद हमेशा सामान्य उत्पाद से बड़ा या बराबर होता है, किन्तु यह सख्ती से बड़ा हो सकता है। उदाहरण के लिए, ω और 2 का प्राकृतिक उत्पाद ω·2 (सामान्य उत्पाद) है, किन्तु यह 2 और ω का प्राकृतिक उत्पाद भी है।

फिर भी दो अध्यादेशों α और β के प्राकृतिक योग और उत्पाद को परिभाषित करने का एक और तरीका कैंटर सामान्य रूप का उपयोग करना है: कोई क्रमांक का अनुक्रम पा सकता है जी1 > ... > सीn और दो अनुक्रम (के1, ..., कn) और (जे1, ..., जेn) प्राकृतिक संख्या (शून्य सहित, किन्तु संतोषजनक कi + जेi > 0 सभी के लिए i) ऐसा कि
 * $$\alpha = \omega^{\gamma_1}\cdot k_1 + \cdots +\omega^{\gamma_n}\cdot k_n$$
 * $$\beta = \omega^{\gamma_1}\cdot j_1 + \cdots +\omega^{\gamma_n}\cdot j_n$$

और परिभाषित करें
 * $$\alpha \#\beta = \omega^{\gamma_1}\cdot (k_1+j_1) + \cdots +\omega^{\gamma_n}\cdot (k_n+j_n).$$

प्राकृतिक जोड़ के तहत, गामा संख्या ω द्वारा उत्पन्न मुफ्त कम्यूटेटिव मोनोइड के तत्वों के साथ अध्यादेशों की पहचान की जा सकती हैα. प्राकृतिक जोड़ और गुणन के तहत, डेल्टा संख्या ω द्वारा उत्पन्न मोटी हो जाओ के तत्वों के साथ अध्यादेशों की पहचान की जा सकती हैω α. ऑर्डिनल्स में प्राकृतिक उत्पाद के तहत प्राइम्स में अद्वितीय कारक नहीं होते हैं। जबकि पूर्ण बहुपद वलय में अद्वितीय गुणनखंड होता है, गैर-नकारात्मक गुणांक वाले बहुपदों का उपसमुच्चय नहीं होता है: उदाहरण के लिए, यदि x कोई डेल्टा संख्या है, तो
 * $$x^5+x^4+x^3+x^2+x+1=(x+1)(x^4+x^2+1)=(x^2+x+1)(x^3+1)$$

गैर-नकारात्मक गुणांक वाले बहुपदों के प्राकृतिक उत्पाद के रूप में दो असंगत अभिव्यक्तियाँ हैं जिन्हें आगे विघटित नहीं किया जा सकता है।

नम्बर अंकगणित
ऑर्डिनल्स और निम्बर्स के बीच एक-से-एक पत्राचार के आधार पर ऑर्डिनल्स पर अंकगणितीय ऑपरेशन होते हैं। निम्बरों पर तीन सामान्य संक्रियाएँ निम्बर जोड़, निंबर गुणन और मेक्स (गणित)|न्यूनतम अपवर्जन (मेक्स) हैं। निम्बर जोड़ प्राकृतिक संख्याओं पर बिटवाइज़ ऑपरेशन #XOR ऑपरेशन का एक सामान्यीकरण है। वह $mex$ अध्यादेशों के एक सेट में सबसे छोटा क्रमसूचक है जो सेट में मौजूद नहीं है।

संदर्भ

 * Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.
 * Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.

बाहरी संबंध

 * ordCalc ordinal calculator