# பர்ன்ஸைட்-ஃப்ரொபீனியஸ் கொற்கோள்

**பர்ன்ஸைட்-ஃப்ரொபீனியஸ் கொற்கோள் ** (Burnside-Frobenius Lemma) என்பது கணிதத்தில் சேர்வியலில் உள்ள ஓர் அடிப்படையான கொற்கோள்.  

இக் கொற்கோளை விளங்கிக்கொள்ள சில அடிப்படையான கேள்விகளைக் கேட்கலாம். ஒருவர் அணியும் முத்துமாலையில், ஒரு குறிப்பிட்ட எண்ணிகையான பல நிற முத்துக்கள் இருந்தால், இருக்கும் நிறமுத்துக்களை வேறுவேறு அடுக்கில் கோத்து எத்தனை வேறு வேறு மாலைகள் உருவாக்க முடியும்? மாலையின் சுழற்சியால் ஒன்றுக்கொன்றாய் மாற்றக்கூடிய மாலைகள் வேறாகக் கருதப்படுவதில்லை.  

ஒரு கனசதுரத்தின் பக்கங்களை n நிறங்களால் எத்தனை விதமாக நிறப்படுத்தலாம்? நிறப்படுத்தப்பட்ட கனசதுரங்கள் சுழற்சியாலோ அல்லது எதிர்வுகளினாலோ அல்லது இவைகளின் கலவையினாலோ மாற்றக்கூடியதாக இருந்தால அவை வேறாகக் கருதப்படுவதில்லை.  

ஆறு கரிம அணுக்கள் கொண்ட பென்சீன் மூலக்கூறுகள் எத்தனை இருக்கமுடியும்?  

சமச்சீர் இருக்குமிடத்திலெல்லாம் இதுபோன்ற கேள்விகள் எழுகின்றன. இவைகளை சேர்வியலில் அலசி ஆராய்ந்து பல வழிமுறைகள் கண்டுபிடித்திருக்கின்றனர். அம்முறைகளுக்கெல்லாம் தலையாயத் தேற்றமாக இருந்தது குலக்கோட்பாட்டில் ஃப்ரொபீனியஸ் (1849 - 1917) கண்டுபிடித்த ஒரு சுவையான தேற்றம். இது முதன் முதலில் பர்ன்ஸைட் (1852 - 1927) எழுதிய கணித நூலில் பிரபலமானது. இதனால் இதற்கு **பர்ன்ஸைட் கொற்கோள்** என்றோ **பர்ன்ஸைட்-ஃப்ரொபீனியஸ் கொற்கோள் ** (Burnside-Frobenius Lemma) என்றோ பெயர் வழங்குகிறது.  

## சுற்றுப்பாதைகள்

<math>G</math> என்றொரு குலத்தை எடுத்துக்கொள்வோம். இது <math>S</math> என்றொரு கணத்தின்மேல் வரிசைமாற்றுக்குலமாக செயல்படுகிறதாகக் கொள்வோம். அதாவது <math>G</math> யிலுள்ள ஒவ்வொரு <math>g</math> யும் <math>S</math> இலுள்ள ஒவ்வொரு <math>s</math> ஐ <math>G</math> யிலுள்ள <math>gs</math> என்றொரு உறுப்புக்கு எடுத்துச்செல்கிறது என்று பொருள். இதை வைத்துக்கோண்டு <math>S</math> இல் உள்ள உறுப்புகளுக்குள் ஒரு உறவு (' <math>\sim</math> ') ஏற்படுத்தமுடியும். அதாவது,  

:: <math>s_1 \sim s_2</math> என்றால் <math>gs_1 = gs_2</math> என்றிருக்கும்படி <math>G</math> இல் <math>g</math> என்றொரு உறுப்பு உள்ளது என்று பொருள்.  

இந்த உறவு ஒரு சமான உறவு. அதனால் <math>S</math> பற்பல சமானப் பகுதிகளாகப்பிரிகிறது. இச்சமானப்பகுதிகளை <math>G</math>-சுற்றுப்பாதைகள் என்றோ அல்லது (<math>G</math> என்ற குலத்தைச் சுட்டிக்காட்ட அவசியமில்லாதபோது) **சுற்றுப்பாதைகள்** (Orbits) என்று மட்டுமோ அழைப்போம். ஒவ்வொரு <math>G</math>-சுற்றுப்பாதையையும்  

: <math>G_s = \{t \in S | G</math> இலுள்ள ஏதோவொரு <math>g</math> க்கு, <math>t = g(s)\}</math>  

என்று குறிக்கலாம்.  

## நிலையாக்கிகள்

<math>S</math> இலுள்ள ஒவ்வொரு <math>s</math> க்கும் <math>\{g \in G | g(s) = s\}</math> என்ற கணம் <math>s</math> இன் **நிலையாக்கி** (Stabilizer) எனப்பெயர் பெறும். அதாவது அதிலுள்ள எல்லா <math>g</math> யும் <math>s</math> ஐ நிலைபெறுத்துகிறது. இது <math>G</math> இன் ஒரு உட்கணம்தான் என்று உடனே நிறுவிவிடலாம். இதை <math>Stab_G(s)</math> என்றும் குறிப்பதுண்டு. இதிலுள்ள <math>g</math> க்களின் எண்ணிக்கையை <math>\eta(s)</math> என்ற குறியீட்டால் குறிப்போம்.  

## மாறாமிகள்

<math>G</math> இலுள்ள ஒவ்வொரு <math>g</math> க்கும் <math>\{s \in S | gs = s\} = S_g </math> என்ற கணம் <math>g</math> இனால் **மாற்றமுறாத கணம்** எனப்படும். இதில் உள்ள ஒவ்வொரு <math>s</math> ம் <math>g</math> க்கு ஒரு **மாறாமி** (Invariance). <math>g</math> இனுடைய மாறாமிகளின் எண்ணிக்கை <math>|S_g|.</math> இதை <math>\psi(g)</math> என்ற குறியீட்டால் குறிப்போம்.  

## பர்ன்ஸைட் கொற்கோள்

G என்பது வெற்றில்லாத கணம் S ஒன்றின்மேல் வரிசைமாற்றுக் குலமாக செயல்பட்டுக்கொண்டிருக்கும் ஒரு முடிவுறு குலம் என்றால், G-சுற்றுப்பாதைகளின் எண்ணிக்கை =  

:: (*) <math>\frac{1}{|G|} \sum_{g \in G} \psi(g)</math>  

## நிறுவலின் முதல் படி

கீழேயுள்ள <math>A</math> என்ற கணத்தைப்பார்.  

::<math>\{(g,s) | g \in G, s \in S \ni gs = s\}</math>  

<math>A</math> யின் எண்ணளவையை இரண்டுவிதமாக எண்ணலாம்.  

முதலில் <math>G</math> இலுள்ள ஒவ்வொரு <math>g</math> க்கும் <math> gs = s</math> என்ற பண்புடன் கூடிய <math>s</math> ஐக்கணக்கிடு. இவ்வெண்ணிக்கை = <math>\psi(g).</math> இதனால்  

:: <math>|A| = \sum_{g\in G} \psi(g).</math>  

இரண்டாவதாக <math>S</math> இலுள்ள ஒவ்வொரு <math>s</math> க்கும் <math>gs = s</math> என்ற பண்புடன் கூடிய <math>g</math> ஐக் கணக்கிடு. இவ்வெண்ணிக்கை = <math>\eta(s).</math> இதனால்  

:: <math>|A| = \sum_{s\in S} \eta(s).</math>  

இவ்விரண்டும் சமமானதால், நாம் (*) ஐ நிறுவிக் காட்டுவதற்குப் பதில்  

<math>p = \frac{1}{|G|}\sum_{s\in S}\eta(s)</math>  

என்று காண்பித்துவிட்டால் போதும்; பர்ன்ஸைட் கொற்கோள் நிறுவப்பட்டதாய்விடும்.  

## பர்ன்ஸைட் கொற்கோளின் நிறுவல்

<math>S_0</math> என்றொரு <math>G</math>-சுற்றுப்பாதையை எடுத்துக் கொள்வோம். இதில் <math>k</math> உறுப்புகள் இருப்பதாகவும் கொள்வோம். அவைகளை <math>s_1, s_2, ..., s_k</math> என்று பெயரிடு. அவைகளில் ஏதாவதொன்றை <math>s</math> என்ற குறியீட்டால் குறிப்போம்.  

<math>s \sim s_1</math> . <math>\therefore G</math> இல் <math>g</math> என்றொரு உறுப்பு <math>g(s) = s_1</math> என்ற பண்புடன் உள்ளது.  

இந்த <math>s</math> இனுடைய நிலையாக்கி <math>G</math> இல் இருக்கும். அதில் <math>\eta (s)</math> உறுப்புகள் இருப்பதாகக் கொண்டால், அவைகளை  

:: <math>\{ g_1, g_2, ... , g_{\eta(s)}\}</math> என்று குறிக்கலாம்.  

இப்பொழுது, <math> B = \{gg_1, gg_2, ... , gg_{\eta(s)}\}</math> என்ற கணத்தைப்பார். இதிலிலுள்ள ஒவ்வொரு உறுப்பும் வெவ்வேறான உறுப்பு. ஏனென்றால், <math>gg_i = gg_j</math> யாக இருந்தால், <math>g_i, g_j</math> இரண்டும் ஒன்றாகிவிடும்.  

<math>g_i</math> என்பது <math> s</math> ஐ <math>s</math> க்கே கொண்டு செல்கிறது. <math>g</math> என்பது <math> s</math> ஐ <math>s_1</math> க்குக்கொண்டு செல்கிறது. ஆக <math>gg_i</math> என்பது <math> s</math> ஐ <math>s_1</math> க்குக்கொண்டு செல்கிறது. அதாவது, <math>gg_1, gg_2, gg_3, ... gg_{\eta (s)}</math> எல்லாம் <math>s</math> ஐ <math>s_1</math> க்குக்கொண்டு செல்கிறது.  

<math>s</math> ஐ <math>s_1</math> க்கு இழுத்துச் செல்லும் <math> G</math> இன் உறுப்புகள் இவ்வளவேதான்; ஏனென்றால், <math>g_0</math> என்றொரு உறுப்பு <math>G</math> இல் இருந்துகொண்டு <math>s</math> ஐ <math>s_1</math> க்கு இழுத்துச் செல்லுமானால், அதை <math>g(g^{-1}g_0)</math> என்று எழுதலாம். இங்கு <math> g^{-1}g_0</math> என்பது <math>s</math> ஐ நிலைபெறச் செய்யும். அதனால் அது <math>g_i</math> இல் ஏதாவதொன்றே.அதனால் <math>g_0</math> ம் <math>gg_i</math> என்ற உருவத்தில்தான் இருக்கிறது. அதாவது அது B இல் ஓருறுப்பு.  

ஆக, B இல் உள்ள <math>\eta(s)</math> உறுப்புகள்தான் <math>s</math> ஐ <math>s_1</math> க்குக்கொண்டு செல்பவை.  

மேலேயுள்ள வாதத்தைல் <math>s_1</math> இன் இடத்தில், <math>s_2, s_3, ... s_k</math> ஆகியவற்றில் எதையும் சொல்லியிருக்கலாம். ஆகையால், G இல்,  

<math>s</math> ஐ <math>s_1</math> க்குக்கொண்டு செல்லும் உறுப்புகளின் எண்ணிக்கை <math>\eta(s)</math> ;  

<math>s</math> ஐ <math>s_2</math> க்குக்கொண்டு செல்லும் உறுப்புகளின் எண்ணிக்கை <math>\eta(s)</math> ;  

..........  

<math>s</math> ஐ <math>s_k</math> க்குக்கொண்டு செல்லும் உறுப்புகளின் எண்ணிக்கை <math>\eta(s)</math> ;  

<math>G</math> இன் உறுப்புகள் <math>s</math> ஐ வேறு எதற்கும் கொண்டு செல்ல முடியாது; ஏனென்றால் <math>s \in G</math>-சுற்றுப் பாதை <math>S_0 = \{s_1, s_2, ... s_k\}.</math>  

ஆகையால், <math>|G| = k \times \eta(s)</math>  

இதையே வேறுவிதமாகச் சொன்னால், <math>s</math> இன் சமானப் பகுதி <math>S_0</math> இல் உள்ள உறுப்புகளின் எண்ணிக்கை = k =  

::= <math> \frac{|G|}{ \eta(s)} = \frac{|G|}{|Stab_G(s)|}.</math>  

<math>\therefore \sum_{s\in S_{0}}\eta(s) = \frac{|G|}{k} + \frac{|G|}{k} + ... k times = |G|</math>  

<math>\therefore G</math>-சுற்றுப்பாதைகளின் எண்ணிக்கை <math>p</math> யானால், <math>\sum_{s\in S}\eta(s) = |G| + |G| + ... p times. = p|G|.</math>  

இதிலிருந்து <math>p = \frac{1}{|G|}\sum_{s\in S}\eta(s)</math>. Q.E.D.  

## பயன்பாடுகள்
பயன்பாடுகளுக்கு தனிக்கட்டுரைகளைப்பார்க்கவும்:  

- திண்மங்களை நிறப்படுத்தும் வகைகள்
- வேதியியலில் மாற்றியங்களை எண்ணல்
- பலநிற மணிகள் கோக்கப்பட்ட மாலைகள்
- இதர பயன்பாடுகள்