Featured image of post बर्नसाइड की लेम्मा: घूर्णन समरूपता के तहत पैटर्न की सही गणना कैसे करें?
गणित

बर्नसाइड की लेम्मा: घूर्णन समरूपता के तहत पैटर्न की सही गणना कैसे करें?

हार (नेकलेस) के रंगों के उदाहरण से समझें कि घूर्णन के कारण होने वाले दोहराव को कैसे हटाया जाए। समूह सिद्धांत (Group Theory) का एक व्यावहारिक परिचय।

1. प्रस्तावना: गणना की समस्या और समरूपता

गणितीय संयोजनिकी (Combinatorics) में, “किसी दी गई शर्त को संतुष्ट करने वाली वस्तुओं की संख्या गिनना” एक अत्यंत मौलिक और महत्वपूर्ण विषय है। स्कूल में सिखाए जाने वाले क्रमचय (Permutations) और संचय (Combinations) के सूत्रों का उपयोग करके कई समस्याओं को हल किया जा सकता है। हालाँकि, जब हम वास्तविक दुनिया या ज्यामितीय समस्याओं पर विचार करते हैं, तो हमें ऐसी जटिल परिस्थितियों का सामना करना पड़ता है जिन्हें केवल बुनियादी सूत्रों के सीधे अनुप्रयोग से हल नहीं किया जा सकता।

इसका एक विशिष्ट उदाहरण “समरूपता (Symmetry) वाली वस्तुओं की गणना” है। समरूपता उस गुण को संदर्भित करती है जिसमें किसी वस्तु पर एक निश्चित संक्रिया (जैसे घूर्णन या परावर्तन) करने पर भी उसका समग्र आकार या प्रकृति नहीं बदलती।

उदाहरण के लिए, 4 मोतियों से बने एक गोल हार पर विचार करें। यदि हम मोतियों को लाल और नीले दो रंगों में रंगते हैं, तो विभिन्न विन्यासों की कुल संख्या $2^4 = 16$ प्रतीत हो सकती है। लेकिन क्योंकि हार एक गोल घेरा है, इसे घुमाने पर कई विन्यास एक-दूसरे के समान हो जाते हैं। व्यावहारिक दृष्टिकोण से, इन घुमाए गए पैटर्न को “अलग” नहीं माना जा सकता, बल्कि वे भौतिक रूप से एक ही हार हैं।

तो, घूर्णन के कारण होने वाले इन दोहरावों को हटाकर अनिवार्य रूप से अद्वितीय पैटर्न की संख्या की सटीक गणना कैसे की जाए?

इस समस्या का एक अत्यंत सुरुचिपूर्ण और शक्तिशाली समाधान अमूर्त बीजगणित की शाखा “समूह सिद्धांत (Group Theory)” द्वारा प्रदान किया गया है, और इसका केंद्रीय उपकरण “बर्नसाइड की लेम्मा (Burnside’s Lemma)” है। इस लेख में, हम एक सरल हार के उदाहरण से शुरुआत करते हुए बर्नसाइड की लेम्मा के सार और उसके अनुप्रयोग को गहराई से समझेंगे।

2. सरल गणना के नुकसान

आइए समस्या को स्पष्ट रूप से परिभाषित करें।

समस्या:
4 मोतियों से बने एक गोलाकार हार पर विचार करें। प्रत्येक मोती को 2 रंगों (काले और सफेद) में रंगा जा सकता है। जब हम हार को समतल पर घुमा सकते हैं (90°, 180°, 270°, 360° घूर्णन), तो अनिवार्य रूप से कितने विभिन्न हार बनाए जा सकते हैं? (इस चरण में, हम हार को पलटने यानी परावर्तन पर विचार नहीं करते हैं)।

$$ 2 imes 2 imes 2 imes 2 = 2^4 = 16 ext{ तरीके} $$

आइए इन 16 विन्यासों को एक अनुक्रम के रूप में लिखें जहाँ प्रत्येक स्थिति मोती का रंग दर्शाती है:

  1. सभी सफेद: (W, W, W, W) — 1 तरीका
  2. 3 सफेद, 1 काला: (B, W, W, W), (W, B, W, W), (W, W, B, W), (W, W, W, B) — 4 तरीके
  3. 2 सफेद, 2 काले:
    • आसन्न काले मोती: (B, B, W, W), (W, B, B, W), (W, W, B, B), (B, W, W, B) — 4 तरीके
    • विपरीत काले मोती: (B, W, B, W), (W, B, W, B) — 2 तरीके
  4. 1 सफेद, 3 काले: (W, B, B, B), (B, W, B, B), (B, B, W, B), (B, B, B, W) — 4 तरीके
  5. सभी काले: (B, B, B, B) — 1 तरीका

अब, जब हम घूर्णन द्वारा एक-दूसरे में बदले जा सकने वाले पैटर्न की पहचान करते हैं:

  • सभी सफेद: घूर्णन से केवल 1 पैटर्न बनता है।
  • 3 सफेद, 1 काला: ये 4 विन्यास केवल 90° घुमाने पर एक-दूसरे में परिवर्तित हो जाते हैं। अतः वे वास्तव में केवल 1 अद्वितीय हार का प्रतिनिधित्व करते हैं।
  • 2 सफेद, 2 काले (आसन्न): ये 4 विन्यास भी घूर्णन से एक-दूसरे में बदल जाते हैं, इसलिए यह 1 अद्वितीय हार है।
  • 2 सफेद, 2 काले (विपरीत): ये 2 विन्यास (B, W, B, W) और (W, B, W, B) 90° घूर्णन पर परस्पर बदलते हैं, अतः यह भी 1 अद्वितीय हार है।
  • 1 सफेद, 3 काले: घूर्णन के तहत ये 4 विन्यास भी केवल 1 अद्वितीय हार बनाते हैं।
  • सभी काले: घूर्णन से केवल 1 पैटर्न बनता है।
$$ 1 + 1 + 1 + 1 + 1 + 1 = 6 ext{ तरीके} $$

यद्यपि कुल 16 विन्यास थे और घूर्णन संक्रियाएँ 4 हैं, उत्तर $16 / 4 = 4$ नहीं है! ऐसा इसलिए है क्योंकि (B, W, B, W) जैसी सममित अवस्थाओं में 180° घूर्णन पर वही विन्यास दोहराया जाता है, जिससे उनकी कक्षा (orbit) का आकार 4 नहीं बल्कि 2 होता है। इसी प्रकार (W, W, W, W) का कक्षा आकार केवल 1 होता है।

समरूपता के कारण यह असमान विभाजन ही सरल विभाजन को विफल बनाता है। यहीं पर समूह सिद्धांत और बर्नसाइड की लेम्मा की आवश्यकता होती है।

3. समरूपता का वर्णन करने वाले “समूह” की मूल बातें

गणित में समरूपता को औपचारिक रूप देने के लिए “समूह (Group)” की अवधारणा का उपयोग किया जाता है। एक समूह संक्रियाओं (operations) का एक संग्रह $G$ है जो एक द्विआधारी संक्रिया के तहत 4 बुनियादी नियमों को संतुष्ट करता है: संवृतता (Closure), साहचर्यता (Associativity), तत्समक अवयव का अस्तित्व (Identity), और प्रतिलोम अवयव का अस्तित्व (Inverse)।

हमारे 4 मोतियों वाले हार की घूर्णन संक्रियाओं के लिए, समूह $G$ में 4 अवयव हैं:

  1. $R_0$: 0° घूर्णन (कुछ न करना, तत्समक अवयव $e$)
  2. $R_{90}$: दक्षिणावर्त 90° घूर्णन
  3. $R_{180}$: दक्षिणावर्त 180° घूर्णन
  4. $R_{270}$: दक्षिणावर्त 270° घूर्णन

इस समूह को 4 क्रम का चक्रीय समूह (Cyclic Group) $C_4$ कहा जाता है।

4. समूह क्रिया और कक्षाएँ (Group Action and Orbits)

जब समूह $G$ का कोई अवयव विन्यासों के समुच्चय $X$ (हमारे 16 संभावित रंग-विन्यास) पर कार्य करता है, तो इसे समूह क्रिया (Group Action) कहा जाता है।

$$ O_x = \{ g \cdot x \mid g \in G \} $$

इस संदर्भ में, “अनिवार्य रूप से अद्वितीय हारों की संख्या” वास्तव में “कक्षाओं की कुल संख्या ($|X/G|$)” के बराबर है!

5. बर्नसाइड की लेम्मा (Burnside’s Lemma)

बर्नसाइड की लेम्मा हमें सीधे कक्षाओं की संख्या की गणना करने का एक अत्यंत शक्तिशाली सूत्र प्रदान करती है।

बर्नसाइड की लेम्मा (कौशी-फ़्रोबेनियस लेम्मा)

$$ |X/G| = rac{1}{|G|} \sum_{g \in G} |X^g| $$

यहाँ $|G|$ समूह के अवयवों की कुल संख्या है, और $X^g$ उन विन्यासों $x \in X$ का समुच्चय है जो संक्रिया $g$ के अंतर्गत अपरिवर्तित (स्थिर) रहते हैं, यानी $g \cdot x = x$ (स्थिर बिंदु / Fixed Points)।

इस प्रमेय का केंद्रीय संदेश आश्चर्यजनक रूप से सरल है:
“अनिवार्य रूप से अद्वितीय पैटर्न की संख्या प्रत्येक संक्रिया के तहत स्थिर रहने वाले पैटर्न की औसत संख्या के बराबर होती है।”

विभिन्न कक्षाओं के आकारों की जटिल गणना करने के बजाय, हमें केवल प्रत्येक संक्रिया $g$ के लिए यह देखना है कि कितने पैटर्न नहीं बदलते ($|X^g|$), उन्हें जोड़ना है, और $|G|$ से विभाजित करना है!

6. हार की समस्या पर अनुप्रयोग और गणना

आइए अब बर्नसाइड की लेम्मा का उपयोग करके अपने 4-मोतियों वाले हार की समस्या को हल करें ($|G| = 4$):

6.1. $R_0$ (0° घूर्णन, कुछ न करना) के स्थिर बिंदु

$$ |X^{R_0}| = 16 $$

6.2. $R_{90}$ (90° घूर्णन) के स्थिर बिंदु

90° घुमाने पर स्थिति 1 का मोती 2 पर, 2 का 3 पर, 3 का 4 पर, और 4 का वापस 1 पर जाता है। अतः पैटर्न तभी स्थिर रहेगा जब सभी 4 मोतियों का रंग समान हो:

  • सभी सफेद: (W, W, W, W)
  • सभी काले: (B, B, B, B) अतः केवल 2 विन्यास स्थिर रहते हैं: $$ |X^{R_{90}}| = 2 $$

6.3. $R_{180}$ (180° घूर्णन) के स्थिर बिंदु

$$ |X^{R_{180}}| = 2 imes 2 = 4 $$

(वे हैं: WWWW, BBBB, BWBW, WBBB नहीं बल्कि WBWB)।

6.4. $R_{270}$ (270° घूर्णन) के स्थिर बिंदु

$$ |X^{R_{270}}| = 2 $$

6.5. अंतिम परिणाम की गणना

$$ |X/G| = rac{1}{4} \left( |X^{R_0}| + |X^{R_{90}}| + |X^{R_{180}}| + |X^{R_{270}}| ight) $$$$ |X/G| = rac{1}{4} (16 + 2 + 4 + 2) = rac{1}{4} imes 24 = 6 $$

परिणाम बिल्कुल 6 आता है! हमने किसी भी व्यक्तिपरक रेखाचित्र या मैन्युअल छँटाई के बिना, शुद्ध यांत्रिक गणना द्वारा सटीक उत्तर प्राप्त किया।

7. द्विअंकीय समूह (Dihedral Group): जब परावर्तन (उलटना) भी शामिल हो

वास्तविक हार त्रि-आयामी अंतरिक्ष में होते हैं, जिसका अर्थ है कि हम हार को उठाकर पलट (Flip) भी सकते हैं। गणित में घूर्णन और परावर्तन दोनों को मिलाकर बनने वाले समरूपता समूह को द्विअंकीय समूह (Dihedral Group) $D_4$ कहा जाता है, जिसमें $4 imes 2 = 8$ अवयव होते हैं।

4 घूर्णन संक्रियाओं के अतिरिक्त, 4 परावर्तन संक्रियाएँ जुड़ जाती हैं:

  1. $F_v$: ऊर्ध्वाधर अक्ष के परितः परावर्तन
  2. $F_h$: क्षैतिज अक्ष के परितः परावर्तन
  3. $F_{d1}$: पहले विकर्ण के परितः परावर्तन
  4. $F_{d2}$: दूसरे विकर्ण के परितः परावर्तन

7.1. ऊर्ध्वाधर और क्षैतिज अक्षों पर परावर्तन ($F_v, F_h$)

$$ |X^{F_v}| = 4, \quad |X^{F_h}| = 4 $$

7.2. विकर्णों पर परावर्तन ($F_{d1}, F_{d2}$)

$$ |X^{F_{d1}}| = 8, \quad |X^{F_{d2}}| = 8 $$

7.3. द्विअंकीय समूह में परिणाम की गणना

$$ |X/D_4| = rac{1}{8} (16 + 2 + 4 + 2 + 4 + 4 + 8 + 8) = rac{1}{8} imes 48 = 6 $$

इस विशेष स्थिति में परावर्तन जोड़ने के बाद भी उत्तर 6 ही रहता है, क्योंकि 4 मोतियों वाले हार में जो विन्यास घूर्णन से भिन्न थे, वे परावर्तन से भी परस्पर नहीं जुड़ते।

8. बर्नसाइड की लेम्मा के प्रमाण की रूपरेखा

“स्थिर बिंदुओं की संख्या का औसत” लेने से “कक्षाओं की संख्या” क्यों प्राप्त होती है? इसके पीछे समूह सिद्धांत का एक अत्यंत मौलिक प्रमेय है जिसे “कक्षा-स्थिरक प्रमेय (Orbit-Stabilizer Theorem)” कहा जाता है।

प्रमाण की रूपरेखा संक्षेप में इस प्रकार है:
समुच्चय $X$ और समूह $G$ के अवयवों के ऐसे सभी युग्मों $(x, g)$ की कुल संख्या गिनें जहाँ “$x$ संक्रिया $g$ द्वारा स्थिर रहता है ($g \cdot x = x$)"। इसे दो प्रकार से गिना जा सकता है:

  1. संक्रिया $g$ के अनुसार गणना:
    प्रत्येक $g$ के लिए स्थिर $x$ की संख्या $|X^g|$ का योग: $\sum_{g \in G} |X^g|$।
  2. तत्व $x$ के अनुसार गणना:
    प्रत्येक $x$ के लिए उसे स्थिर रखने वाली संक्रियाओं $g$ के उपसमूह को $x$ का स्थिरक (Stabilizer) $G_x$ कहा जाता है। अतः कुल संख्या $\sum_{x \in X} |G_x|$ है।
$$ |G| = |O_x| imes |G_x| \implies |G_x| = rac{|G|}{|O_x|} $$$$ \sum_{g \in G} |X^g| = \sum_{x \in X} |G_x| = \sum_{x \in X} rac{|G|}{|O_x|} = |G| \sum_{x \in X} rac{1}{|O_x|} $$$$ |G| \sum_{x \in X} rac{1}{|O_x|} = |G| imes |X/G| $$

दोनों पक्षों को $|G|$ से विभाजित करने पर सीधे बर्नसाइड की लेम्मा का सूत्र प्राप्त होता है। यह अमूर्त बीजगणित के सबसे खूबसूरत परिणामों में से एक है।

9. पोल्या गणना प्रमेय (Pólya Enumeration Theorem) में विस्तार

बर्नसाइड की लेम्मा शक्तिशाली है, लेकिन जब समस्या का पैमाना बढ़ता है (उदाहरण के लिए, 12 फलकों वाले नियमित द्वादशफलक के फलकों को 3 रंगों में रंगना, जहाँ घूर्णन समूह में 60 अवयव होते हैं), तो प्रत्येक संक्रिया के लिए मैन्युअल रूप से स्थिर बिंदु खोजना श्रमसाध्य हो जाता है।

इस पद्धति को और आगे सामान्यीकृत करते हुए बीजगणितीय बहुपदों (साइकिल इंडेक्स / Cycle Index) के माध्यम से यांत्रिक गणना को सक्षम बनाने वाला प्रमेय “पोल्या गणना प्रमेय (Pólya Enumeration Theorem)” कहलाता है। बर्नसाइड की लेम्मा पोल्या के प्रमेय की आधारशिला है।

10. बर्नसाइड की लेम्मा की ऐतिहासिक पृष्ठभूमि

रोचक बात यह है कि इस लेम्मा की खोज सबसे पहले विलियम बर्नसाइड ने नहीं की थी। यह 1897 में प्रकाशित बर्नसाइड की प्रसिद्ध पुस्तक “Theory of Groups of Finite Order” में शामिल की गई और व्यापक रूप से लोकप्रिय हुई, इसलिए इसका नाम बर्नसाइड के नाम पर पड़ा।

ऐतिहासिक रूप से, 1845 में ऑगस्टिन-लुई कौशी (Augustin-Louis Cauchy) ने सममित समूहों के लिए इसका एक विशेष रूप प्रकाशित किया था, और बाद में 1887 में फर्डिनेंड जॉर्ज फ़्रोबेनियस ने सामान्य परिमित समूहों के लिए इसका प्रमाण दिया था। इसलिए गणितीय इतिहास के प्रति सख्त लोग इसे कभी-कभी “कौशी-फ़्रोबेनियस लेम्मा” भी कहते हैं।

11. उदाहरण 2: घन (Cube) के फलकों को रंगना

बर्नसाइड की लेम्मा की शक्ति का एक और प्रसिद्ध उदाहरण है: “एक नियमित घन के 6 फलकों को 2 रंगों (लाल और नीले) में कितने तरीकों से रंगा जा सकता है?”

घन के त्रि-आयामी घूर्णन समूह में कुल 24 संक्रियाएँ होती हैं:

  1. तत्समक संक्रिया (कुछ न करना): 1 संक्रिया ($2^6 = 64$ स्थिर बिंदु)
  2. सम्मुख फलकों के केंद्रों से गुजरने वाले 3 अक्षों के परितः 90° घूर्णन: $3 imes 2 = 6$ संक्रियाएँ ($2^3 = 8$ स्थिर बिंदु)
  3. फलक केंद्रों के अक्षों के परितः 180° घूर्णन: $3 imes 1 = 3$ संक्रियाएँ ($2^4 = 16$ स्थिर बिंदु)
  4. सम्मुख शीर्षों को मिलाने वाले 4 मुख्य विकर्णों के परितः 120° और 240° घूर्णन: $4 imes 2 = 8$ संक्रियाएँ ($2^2 = 4$ स्थिर बिंदु)
  5. सम्मुख किनारों के मध्य-बिंदुओं से गुजरने वाले 6 अक्षों के परितः 180° घूर्णन: 6 संक्रियाएँ ($2^3 = 8$ स्थिर बिंदु)

कुल $1 + 6 + 3 + 8 + 6 = 24$ संक्रियाएँ।

$$ |X/G| = rac{1}{24} (1 imes 64 + 6 imes 8 + 3 imes 16 + 8 imes 4 + 6 imes 8) $$$$ |X/G| = rac{1}{24} (64 + 48 + 48 + 32 + 48) = rac{1}{24} imes 240 = 10 $$

घन के 6 फलकों को 2 रंगों में रंगने के घूर्णन के अंतर्गत अद्वितीय तरीके ठीक 10 हैं!

12. निष्कर्ष

इस लेख में हमने हार के विन्यासों की गणना के माध्यम से बर्नसाइड की लेम्मा का विस्तृत अध्ययन किया:

  • साधारण क्रमचय-संचय समरूपता के तहत होने वाले दोहरावों को आसानी से नहीं संभाल सकते।
  • समरूपता को गणितीय रूप से “समूह” द्वारा सटीक रूप से व्यक्त किया जा सकता है।
  • बर्नसाइड की लेम्मा का उपयोग करके, “प्रत्येक संक्रिया के स्थिर बिंदुओं की संख्या के औसत” की यांत्रिक प्रक्रिया द्वारा अद्वितीय विन्यासों की सटीक गणना की जा सकती है।
  • यह प्रमेय कक्षा-स्थिरक प्रमेय पर आधारित है और रसायन विज्ञान में आणविक समावयवियों (Isomers) की गणना से लेकर ग्राफ सिद्धांत और सांख्यिकीय भौतिकी तक व्यापक रूप से लागू होता है।
comments powered by Disqus