केली टेबल

19 वीं शताब्दी के यूनाइटेड किंगडम के गणितज्ञ आर्थर केली के नाम पर केली सारणी परिमित समूह की संरचना का वर्णन करती है। जो समूह के सभी तत्वों के सभी संभावित उत्पादों को एक वर्ग सारणी में एक जोड़ या गुणन सारणी की जानकारी प्रदान करती है। एक समूह के कई गुण – जैसे कि यह एबेलियन समूह है या नहीं, कौन से तत्व किन तत्वों के व्युत्क्रम तत्व हैं और समूह के केंद्र का आकार और सामग्री (समूह सिद्धांत) केली सारणी के द्वारा खोजा जा सकता है।

केली सारणी का एक सरल उदाहरण साधारण गुणन के अंतर्गत समूह {1, -1} के लिए एक है:

इतिहास
केली टेबल्स को पहली बार केली के 1854 के पेपर, ऑन द थ्योरी ऑफ़ ग्रुप्स में प्रतीकात्मक समीकरण θ n = 1" के आधार पर प्रस्तुत किया गया था। उस पेपर में उन्हें केवल सारणियों के रूप में संदर्भित किया गया था और वे केवल उदाहरण थे। बाद में उन्हें अपने निर्माता के सम्मान में केली टेबल के रूप में जाना जाने लगा।

संरचना और लेआउट
कई केली टेबल उन समूहों का वर्णन करते हैं, जो एबेलियन समूह नहीं हैं। समूह के बाइनरी ऑपरेशन के संबंध में उत्पाद ab समूह में सभी a और b के लिए उत्पाद ba के बराबर होने का सम्पूर्ण प्रमाण नहीं है। भ्रम से बचने के लिए परंपरा यह है कि वह कारक जो पंक्ति को लेबल करता है (केली द्वारा निकट कारक कहा जाता है)। वह कारक पहले आता है और वह कारक जो कॉलम (या आगे कारक) को लेबल करता है। वह दूसरा कारक होता है। उदाहरण के लिए पंक्ति a और स्तंभ b का प्रतिच्छेदन ab है न कि ba, जैसा कि निम्नलिखित उदाहरण में है:

क्रम विनिमेयता
केली सारणी से हमें यह जानकारी प्राप्त होती है कि क्या कोई समूह आबेली समूह है क्योंकि एक एबेलियन समूह का समूह संचालन क्रमविनिमेय है। एक समूह एबेलियन है, यदि और केवल यदि इसके केली सारणी के मान इसके विकर्ण अक्ष के साथ सममित हैं। उपरोक्त समूह {1, -1} और सामान्य गुणन के अनुसार क्रम 3 का चक्रीय समूह दोनों एबेलियन समूहों के उदाहरण हैं और उनके केली सारणियों की समरूपता का निरीक्षण इसे सत्यापित करता है। इसके विपरीत सबसे छोटा गैर-अबेलियन समूह ऑर्डर 6 का डायहेड्रल समूह एक सममित केली टेबल नहीं है।

साहचर्य
समूहों के साथ व्यवहार करते समय सहचारिता को एक स्वयंसिद्ध के रूप में लिया जाता है। केली सारणियों के साथ व्यवहार करते समय इसे सामान्यतः यह मान लिया जाता है। चूंकि केली टेबल का उपयोग अर्धसमूह के संचालन को चिह्नित करने के लिए भी किया जा सकता है। जो सहयोगीता को एक स्वयंसिद्ध के रूप में नहीं मानता है (वास्तव में, केली टेबल का उपयोग किसी परिमित मैग्मा (बीजगणित) के संचालन को चिह्नित करने के लिए किया जा सकता है)। दुर्भाग्य से यह निर्धारित करना सामान्यतः संभव नहीं है कि कोई ऑपरेशन साहचर्य है या नहीं। इसकी केली टेबल को देखकर जानकारी प्राप्त कर सकते हैं क्योंकि यह कम्यूटेटिविटी के साथ है। ऐसा इसलिए है क्योंकि साहचर्य एक 3 टर्म समीकरण $$(ab)c=a(bc)$$ पर निर्भर करता है। जबकि केली सारणी 2-अवधि के उत्पाद दिखाती है। चूंकि प्रकाश की साहचर्यता परीक्षण क्रूर बल की तुलना में कम प्रयास के साथ साहचर्य निर्धारित कर सकता है।

क्रमपरिवर्तन
कैंसिलेशन गुण समूहों (और यहां तक ​​​​कि अर्धसमूहों) के लिए भी है। केली सारणी की कोई पंक्ति या स्तंभ में एक ही तत्व दो बार नहीं हो सकता है। इस प्रकार सारणी की प्रत्येक पंक्ति और स्तंभ समूह के सभी तत्वों का क्रमचय है। यह बहुत अधिक प्रतिबंधित करता है कि कौन सी केली सारणियाँ एक वैध समूह संचालन को परिभाषित कर सकती हैं।

यह देखने के लिए कि एक पंक्ति या स्तंभ में एक से अधिक बार एक ही तत्व क्यों नहीं हो सकता है। माना कि a, x और y सभी एक समूह के तत्व हैं। जिनमें x और y भिन्न हैं। फिर तत्व a का प्रतिनिधित्व करने वाली पंक्ति में x के अनुरूप कॉलम में उत्पाद ax होता है और इसी प्रकार y के अनुरूप कॉलम में उत्पाद ay होता है। यदि ये दोनों उत्पाद बराबर थे, अर्थात् पंक्ति a में एक ही तत्व दो बार निहित है। हमारी परिकल्पना तो ax ay के बराबर होगा। किन्तु क्योंकि निरस्तीकरण नियम मान्य है। हम यह निष्कर्ष निकाल सकते हैं कि यदि ax = ay, तो x = y एक रिडक्टियो एड बेतुका। इसलिए हमारी परिकल्पना गलत है और एक पंक्ति में एक ही तत्व दो बार नहीं हो सकता। बिल्कुल वही तर्क स्तंभ स्थिति को सिद्ध करने के लिए पर्याप्त है और इसलिए हम यह निष्कर्ष निकालते हैं कि प्रत्येक पंक्ति और स्तंभ में एक से अधिक बार कोई तत्व नहीं होता है क्योंकि समूह परिमित है। पीजनहोल सिद्धांत यह गारंटी देता है कि समूह के प्रत्येक तत्व को प्रत्येक पंक्ति में और प्रत्येक स्तंभ में ठीक एक बार प्रदर्शित किया जाएगा।

इस प्रकार समूह की केली सारणी लैटिन वर्ग का एक उदाहरण है।

संभवतः सरल प्रमाण निरस्त करने के गुण का तात्पर्य है कि समूह में प्रत्येक x के लिए y f(x,y)= xy का एक चर कार्य एक से एक फलन होना चाहिए और परिमित समूह पर एक से एक फलन क्रमचय हैं।

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

 एक परिमित समूह की पहचान कंकाल 

सारणी में पहचान तत्वों द्वारा व्युत्क्रमों की पहचान की जाती है क्योंकि किसी भी समूह में, यहां तक ​​कि एक गैर-अबेलियन समूह में, प्रत्येक तत्व अपने व्युत्क्रम के साथ आवागमन करता है। यह इस प्रकार है कि केली टेबल पर पहचान तत्वों का वितरण सारणी के विकर्ण में सममित होगा। जो विकर्ण पर स्थित हैं। वे अपने स्वयं के अनूठे व्युत्क्रम हैं।

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

फिर किसी विशेष क्रम के एक परिमित समूह के लिए इसकी पहचान कंकाल को चिह्नित करना सरल है। इसलिए नाम दिया गया है क्योंकि पिछले पैराग्राफ में वर्णित प्रकारों से निर्मित केली टेबल पर पहचान तत्व मुख्य विकर्ण के बारे में क्लस्टर किए गए हैं या तो वे सीधे उस पर झूठ बोलते हैं या वे उससे अलग हो जाते हैं।

यह सिद्ध करना अपेक्षाकृत तुच्छ है कि अलग-अलग पहचान वाले कंकालों वाले समूह समरूपी नहीं हो सकते हैं। चूंकि यह सच नहीं है (उदाहरण के लिए, चक्रीय समूह C8और चतुर्धातुक समूह Q गैर-समरूपी हैं। किन्तु समान पहचान कंकाल हैं)।

तत्वों e, a, b, c, d और f के साथ छह-तत्व समूह पर विचार करें। परिपाटी के अनुसार e समूह का पहचान तत्व है। चूंकि पहचान तत्व सदैव अपने व्युत्क्रम होता है और व्युत्क्रम अद्वितीय होते हैं। तथ्य यह है कि इस समूह में 6 तत्व हैं। इसका अर्थ है कि e के अतिरिक्त कम से कम एक तत्व का अपना व्युत्क्रम होना चाहिए। तो हमारे पास निम्नलिखित संभावित कंकाल हैं:
 * 1) सभी तत्व अपने आप में प्रतिलोम हैं,
 * 2) सभी तत्व d और f को छोड़कर अपने स्वयं के व्युत्क्रम हैं। इनमें से प्रत्येक बाद वाले दो दूसरे के व्युत्क्रम हैं,
 * 3) a इसका अपना व्युत्क्रम है, b और c व्युत्क्रम हैं और d और f व्युत्क्रम हैं।

हमारे विशेष उदाहरण में क्रम 6 के पहले कंकाल का समूह उपस्थित नहीं है। वास्तव में केवल इसलिए कि एक विशेष पहचान कंकाल बोधगम्य है। इसका सामान्य अर्थ यह नहीं है कि एक समूह उपस्थित है जो इसे फिट करता है।

कोई भी समूह जिसमें प्रत्येक तत्व का अपना व्युत्क्रम होता है। एबेलियन होता है: a और b को समूह के तत्व होने दें। फिर ab = (ab)−1 = b−1a−1 = ba

एक बार एक विशेष पहचान कंकाल निर्धारित हो जाने के बाद केली टेबल भरना प्रारम्भ करना संभव है। उदाहरण के लिए ऊपर बताए गए दूसरे कंकाल के क्रम 6 के समूह के पहचान कंकाल को लें:

प्रदर्शित है। e-पंक्ति और e-कॉलम को तुरंत भरा जा सकता है।

एक बार यह हो जाने के बाद आगे बढ़ने के कई संभावित विकल्प हैं। हम ab के मान पर ध्यान केन्द्रित करेंगे। लैटिन वर्ग गुण के अनुसार ab के केवल संभवतः मान्य मान c, d या f हैं। चूंकि हम देख सकते हैं कि दो तत्वों d और f के चारों ओर परिवर्तन करने से ठीक वैसी ही सारणी बनेगी, जैसी हमारे पास पहले से है। विशेष प्रकार से चयनित लेबल के लिए सहेजें। इसलिए हम आशा करेंगे कि इन दोनों विकल्पों में से एक ही परिणाम के परिणामस्वरूप, समरूपता तक और इसलिए हमें उनमें से केवल एक पर विचार करने की आवश्यकता है।

यह भी ध्यान रखना महत्वपूर्ण है कि एक या कई मान बाद में विरोधाभास का कारण बन सकते हैं (और हमारे स्थिति में करते हैं)। इसका अर्थ केवल यह है कि वे वास्तव में मान्य मान बिल्कुल भी नहीं थे।

ab = c
बारी-बारी से बाईं ओर और दाईं ओर गुणा करके एक समीकरण को समीकरणों के एक पाश में विस्तारित करना संभव है। जहां कोई भी अन्य सभी को दर्शाता है:
 * बायीं ओर ab = c को a से गुणा करने पर b = ac प्राप्त होता है।
 * दाईं ओर b = ac को c से गुणा करने पर bc = a मिलता है।
 * बाईं ओर bc = a को बी से गुणा करने पर c = ba मिलता है।
 * दाईं ओर c = ba को a से गुणा करने पर ca = b मिलता है।
 * बाईं ओर c = b को c से गुणा करने पर a = cb प्राप्त होता है।
 * दाईं ओर a = cb को b से गुणा करने पर ab = c प्राप्त होता है।

इन सभी उत्पादों को भरने पर केली सारणी अब इस प्रकार प्रदर्शित होती है (लाल रंग में नए तत्व):

चूंकि केली सारणी एक लैटिन वर्ग है। इसलिए विज्ञापन का एकमात्र संभावित वैध मान f है और इसी प्रकार af का एकमात्र संभव मान d है।

इन मूल्यों को भरते हुए केली सारणी अब इस प्रकार दिखती है (नीले रंग में नए तत्व):

दुर्भाग्य से समूह के सभी तत्व पहले से ही सारणी में बीडी के ऊपर या बाईं ओर उपस्थित हैं। इसलिए bd का कोई मूल्य नहीं है। जो लैटिन वर्ग की गुण को संतुष्ट करता है।

इसका अर्थ यह है कि हमारे द्वारा चुना गया विकल्प (ab = c) हमें एक ऐसे बिंदु पर ले गया है। जहाँ विरोधाभास उत्पन्न किए बिना bd को कोई मान नहीं दिया जा सकता है। इसलिए हमने दिखाया है कि ab ≠ c.

यदि हम इसी प्रकार से दिखाते हैं कि सभी विकल्प विरोधाभासों की ओर ले जाते हैं। तो हमें यह निष्कर्ष निकालना चाहिए कि क्रम 6 का कोई भी समूह उस पहचान ढांचे के साथ उपस्थित नहीं है। जिसके साथ हमने प्रारम्भ किया था।

= ab = d= बारी-बारी से बाईं ओर और दाईं ओर गुणा करके एक समीकरण को समीकरणों के एक पाश में विस्तारित करना संभव है। जहां कोई भी अन्य सभी को दर्शाता है:
 * बाईं ओर ab = d को a से गुणा करने पर b = ad मिलता है।
 * दाईं ओर दिए गए b = ad को f से गुणा करने पर bf = a मिलता है।
 * बाईं ओर bf = a को b से गुणा करने पर f = ba प्राप्त होता है।
 * दाईं ओर f = ba को a से गुणा करने पर fa = b मिलता है।
 * बाईं ओर के fa = b को d से गुणा करने पर a = db प्राप्त होता है।
 * दाईं ओर a = db को b से गुणा करने पर ab = d प्राप्त होता है।

इन सभी उत्पादों को भरने पर केली सारणी अब इस प्रकार दिखती है (लाल रंग में नए तत्व):

नीले रंग में दिखाए गए a के शेष उत्पाद अब लैटिन वर्ग गुण का उपयोग करके भरे जा सकते हैं। उदाहरण के लिए c पंक्ति a से विलुप्त है और कॉलम c में दो बार नहीं हो सकता है। इसलिए ac = f। इसी प्रकार हरे रंग में दिखाए गए बी के शेष उत्पाद फिर से भरे किए जा सकते हैं:

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

उपरोक्त विधि का उपयोग करके निर्मित अर्धसमूह का उदाहरण
केली सारणी जो आगे आती है, एक पहचान कंकाल भरे करके, पहली पंक्ति और स्तंभ में भरकर और फिर उस ab = c को अभिगृहीत करके निर्मित की जा सकती है। वैकल्पिक मान्यता ab = d का परिणाम समाकारिता है। शेष सारणी एक लैटिन वर्ग के रूप में अनुसरण करती है। चूंकि सारणी के संदर्भ में (ac)b = db = a, जबकि (cb) = ad = b। इसलिए यह सहयोगीता सिद्धांत को विफल करता है और एक समूह के अतिरिक्त एक अर्धसमूह का प्रतिनिधित्व करता है।

क्रमपरिवर्तन मैट्रिक्स पीढ़ी
केली सारणी के मानक रूप में पंक्तियों में तत्वों का क्रम स्तंभों में क्रम के समान होता है। अन्य रूप स्तंभों के तत्वों को व्यवस्थित करना है। जिससे nth स्तंभ nth पंक्ति में तत्व के व्युत्क्रम से मिलता हो। हमारे उदाहरण में D3 हमें केवल अंतिम दो स्तंभों को स्विच करने की आवश्यकता है क्योंकि f और d केवल ऐसे तत्व हैं। जो अपने स्वयं के व्युत्क्रम नहीं हैं। किन्तु एक दूसरे के व्युत्क्रम हैं।

यह विशेष उदाहरण हमें छह क्रमपरिवर्तन मैट्रिक्स (सभी तत्व 1 या 0, प्रत्येक पंक्ति और स्तंभ में ठीक एक 1) बनाने देता है। एक तत्व का प्रतिनिधित्व करने वाले 6x6 मैट्रिक्स में प्रत्येक स्थिति में 1 होगा जिसमें केली टेबल में तत्व का अक्षर होगा और हर दूसरी स्थिति में शून्य होगा। उस प्रतीक के लिए क्रोनकर डेल्टा फलन (ध्यान दें कि ई मुख्य विकर्ण के नीचे हर स्थिति में है। जो हमें इस स्थिति में 6x6 मैट्रिक्स के लिए पहचान मैट्रिक्स देता है, जैसा कि हम उम्मीद करेंगे।) यहां वह मैट्रिक्स है, जो हमारे तत्व a का प्रतिनिधित्व करता है। उदाहरण के लिए-

यह हमें सीधे प्रदर्शित करता है कि क्रम n का कोई भी समूह क्रमचय समूह Sn का एक उपसमूह है और आदेश n! क्रमांक है।

सामान्यीकरण
उपरोक्त गुण समूहों के लिए मान्य कुछ अभिगृहीतों पर निर्भर करते हैं। अन्य बीजगणितीय संरचनाओं के लिए केली सारणियों पर विचार करना स्वाभाविक है। जैसे कि सेमीग्रुप्स, क्वासिग्रुप्स और मैग्मा (बीजगणित)। किन्तु ऊपर दिए गए कुछ गुण धारण नहीं करते हैं।

यह भी देखें

 * लैटिन वर्ग


 * सुडोकू

संदर्भ

 * Cayley, Arthur. "On the theory of groups, as depending on the symbolic equation θn = 1", Philosophical Magazine, Vol. 7 (1854), pp. 40–47. Available on-line at Google Books as part of his collected works.
 * Cayley, Arthur. "On the Theory of Groups", American Journal of Mathematics, Vol. 11, No. 2 (Jan 1889), pp. 139–157. Available at JSTOR.