मॉर्ले रैंक

गणितीय तर्क में, द्वारा प्रस्तुत मॉर्ले पद, सिद्धांत (तर्क) के मॉडल सिद्धांत के उपसमुच्चय के आकार को मापने का एक ऐसा साधन है, जो बीजगणितीय ज्यामिति में विमा की धारणा को सामान्य बनाता है।

परिभाषा
इस प्रकार से मॉडल M के साथ सिद्धांत T को ठीक करें। अतः M के निश्चित समुच्चय (मापदंडों के साथ) उपसमुच्चय S को परिभाषित करने वाले सूत्र φ के मॉर्ले पद एक क्रमसूचक या −1 या ∞ है, जिसे पहले पुनरावर्ती रूप से यह परिभाषित करके परिभाषित किया जाता है कि किसी भी सूत्र के लिए कुछ क्रमसूचक α के लिए कम से कम α पद रखने का क्या अर्थ है। इस प्रकार से मॉर्ले पद को तब α के रूप में परिभाषित किया जाता है यदि यह कम से कम α है परन्तु कम से कम α + 1 नहीं है, और इसे ∞ के रूप में पूर्ण रूप से परिभाषित किया गया है यदि यह सभी क्रमसूचक α के लिए कम से कम α है, और यदि S रिक्त है तो इसे −1 के रूप में परिभाषित किया गया है।
 * यदि S गैर-रिक्त है तो मॉर्ले पद कम से कम 0 है।
 * α के परवर्ती क्रमसूचक के लिए, मॉर्ले पद कम से कम α है यदि M के कुछ प्राथमिक विस्तार N में सम्मिलित हैं, तो समुच्चय S में अगणनीय असंयुक्त निश्चित उपसमुच्चय Si हैं, अतः प्रत्येक पद पूर्ण रूप से कम से कम α − 1 है।
 * α के लिए गैर-शून्य सीमा क्रमसूचक है, जो मॉर्ले पद कम से कम α है यदि यह α से कम सभी β के लिए पूर्ण रूप से कम से कम β है।

अतः मॉडल M (सूत्र φ द्वारा परिभाषित) के निश्चित उपसमुच्चय के लिए मॉर्ले पद को M के किसी भी ℵ0-संतृप्त मॉडल के प्राथमिक विस्तार में φ के मॉर्ले पद के रूप पूर्ण रूप से में परिभाषित किया गया है। इस प्रकार से विशेष रूप से ℵ0-संतृप्त मॉडल के लिए उपसमुच्चय के मॉर्ले पद उपसमुच्चय को परिभाषित करने वाले किसी भी सूत्र के मॉर्ले पद है।

यदि S को परिभाषित करने वाले φ की पद α है, और S पद α के n < ω उपसमुच्चय से अधिक में नहीं टूटता है, तो φ को 'मॉर्ले घात' n कहा जाता है। अतः परिमित समुच्चय को परिभाषित करने वाले सूत्र में मॉर्ले पद 0 है। इस प्रकार से मॉर्ले पद 1 और मॉर्ले घात 1 वाले सूत्र को दृढ़तापूर्वक न्यूनतम सिद्धांत कहा जाता है। अतः 'दृढ़ता से न्यूनतम' संरचना वह है जहां तुच्छ सूत्र x = x दृढ़ता से न्यूनतम है। इस प्रकार से मॉर्ले पद और दृढ़ता से न्यूनतम संरचनाएं मॉर्ले की श्रेणीबद्धता प्रमेय के प्रमाण और मॉडल सैद्धांतिक स्थिरता सिद्धांत (मॉडल सिद्धांत) के बड़े क्षेत्र में महत्वपूर्ण उपकरण हैं।

उदाहरण

 * रिक्त समुच्चय में मॉर्ले पद -1 है, और इसके विपरीत मॉर्ले पद -1 में से कुछ भी रिक्त है।
 * एक उपसमुच्चय में मॉर्ले पद 0 है यदि और मात्र यदि यह परिमित और गैर-रिक्त है।
 * यदि बीजगणितीय रूप से संवृत क्षेत्र K के लिए V है, जो Kn में एक बीजगणितीय समुच्चय है, तो V के मॉर्ले पद इसके सामान्य क्रुल विमा के समान है। V की मॉर्ले घात अधिकतम विमा के अपरिवर्तनीय घटकों की संख्या है; इस प्रकार से यह इसकी घात (बीजगणितीय ज्यामिति) के समान नहीं है, इसके अतिरिक्त कि जब इसकी अधिकतम विमा के घटक रैखिक समष्टि हों।
 * ऐसी तर्कसंगत संख्याएँ, जिन्हें पूर्ण रूप से क्रमबद्ध समुच्चय माना जाता है, इसमें मॉर्ले पद ∞ है, क्योंकि इसमें स्वयं के लिए समरूपी निश्चित उपसमुच्चय का गणनीय असंयुक्त संघ सम्मिलित है।

यह भी देखें

 * चेर्लिन-ज़िल्बर अनुमान
 * परिमित मॉर्ले पद का समूह
 * यू-पद

संदर्भ

 * Alexandre Borovik, Ali Nesin, "Groups of finite Morley rank", Oxford Univ. Press (1994)
 * B. Hart Stability theory and its variants (2000) pp. 131–148 in Model theory, algebra and geometry, edited by D. Haskell et al., Math. Sci. Res. Inst. Publ. 39, Cambridge Univ. Press, New York, 2000. Contains a formal definition of Morley rank.
 * David Marker Model Theory of Differential Fields (2000) pp. 53–63 in Model theory, algebra and geometry, edited by D. Haskell et al., Math. Sci. Res. Inst. Publ. 39, Cambridge Univ. Press, New York, 2000.