# கெய்லி குல அட்டவணை

கெய்லி(1821-1895) என்ற கணித இயலர்தான் 1854 இல் முதன் முதலில் குலம் என்ற கருத்தை அதன் உறுப்புகளின் பெருக்கல் அட்டவணையின் மூலம் காண்பித்தார். அதிலிருந்து இன்றும், சிறிய முடிவுறு குலங்களை ஒரு நொடியில் ஆராய அவைகளின் பெருக்கல் அட்டவணையைப் பார்ப்பது வழக்கமாகி விட்டது. அதனால் ஒரு குலத்தின் பெருக்கல் அட்டவணைக்கு **கெய்லி குல அட்டவணை** (Cayley Group Table) என்றே பெயர்.  

## அட்டவணையின் அடிப்படையும் பயனும்

எந்த உறுப்புகளுக்கு எவை எதிர்மாறுகள், குலத்தின் மையம் என்ன, குலத்தின் கிரமம், அது பரிமாற்றுக் குலமா, பரிமாறாக்குலமா, -- போன்ற குலத்தின் பண்புகள் கெய்லி அட்டவணையைப் பார்த்தவுடனே தெரிந்துவிடும்.  

குலத்தை <math>G</math> எனக்கொள்வோம். அட்டவணை <math>xy</math> ஐ க்காட்டுகிறது. ஒவ்வொரு நிரையிலும் முதல் காரணி <math>x</math> எல்லா உறுப்புக்களுக்கும் பொதுவாக இருக்கும். ஒவ்வொரு நிரலிலும் இரண்டாவது காரணி <math>y</math> எல்லா உறுப்புக்களுக்கும் பொதுவாக இருக்கும்.  

முதலில் அட்டவணையில் தலைப்பு நிரலிலும் தலைப்பு நிரையிலும் உறுப்புகள் ஒரே வரிசையில் எழுதப்பட்டிருப்பது அவசியம். அப்படியிருந்தபின், <math>k-</math>ஆவது நிரையும் <math>k-</math>ஆவது நிரலும் உறுப்புகளிலும் வரிசையிலும் ஒன்றாக இருந்தால், அந்நிரையின் தலைப்பிலுள்ள உறுப்பு, குலத்தின் மையத்திலிருக்கும் என்று பொருள் கொள்ளலாம். ஏனென்றால், அவ்வுறுப்பை <math>x_k</math> எனக்கொண்டால், அந்நிரை  

::<math>x_kx_1, x_kx_2, x_kx_3, ...</math>  
என்ற வரிசையில் <math> G</math> இலுள்ள எல்லா உறுப்புகளுடன் பெருக்கலைக் காட்டும். அதேபோல்,<math>k</math>-ஆவது நிரல்  

::<math>x_1x_k, x_2x_k, x_3x_ k ... </math>  

என்ற வரிசையில் <math>G</math> இலுள்ள எல்லா உறுப்புகளுடன் பெருக்கலைக் காட்டும்.  

இவையிரண்டும் சமமானால், <math>x_k</math> என்ற உறுப்பு எல்லா உறுப்புகளுடன் பரிமாறுகிறது என்று பொருள். <math>\therefore x_k \in G</math>இன் மையம்.  

எப்பொழுதும், எல்லா குலங்களிலும், <math>e \in G</math>-இன் மையம்.  

## சமச்சீர்குலம் S<sub>3</sub>

சமச்சீர் குலம் <math>S_3</math> இன் பெருக்கல் அட்டவணை (கீழே உள்ளது) அது ஒரு பரிமாற்றாக்குலம் என்பதைக் காட்டும். இதுதான் மிகச்சிறிய பரிமாற்றாக்குலம்.இதன் கிரமம் 6. இது 3 கூறியீடுகளின் வரிசைமாற்றுக்குலம்.  

<math>S_3 =\{e; a = (1)(23); b = (2)(13); c = (3)(12); d = (123); (f) = (132)\}</math>  

:::{|  
|-  
! <math>\frac{y\rightarrow}  
{x\downarrow}</math>  
! e  
! a  
! b  
! c  
! d  
! f  
|-  
| **e**  
| **e**  
| a  
| b  
| c  
| d  
| f  
|-  
| **a**  
| a  
| **e**  
| d  
| f  
| b  
| c  
|-  
| **b**  
| b  
| f  
| **e**  
| d  
| c  
| a  
|-  
| **c**  
| c  
| d  
| f  
| **e**  
| a  
| b  
|-  
|**d**  
| d  
| c  
| a  
| b  
| f  
| **e**  
|-  
|**f**  
| f  
| b  
| c  
| a  
|** e**  
| d  
|}  

இதனுடைய மையம் = <math>\{e\}</math>. ஏனென்றால் மற்ற ஒரு நிரையும் அதற்கொத்த நிரலும் சமமாக இல்லை.  

## ஆறாவது கிரம இருமுகக்குலம்: D<sub>3</sub>

ஒரு ஒழுங்கு முக்கோணத்தின் சமச்சீர்களினால் ஏற்படும் இருமுகக்குலம் 6 உறுப்புகளுடையது:  

:: மூன்று சுழற்சிகள் -- <math>e</math>, <math>s = 120^{\circ}</math> சுழற்சி, <math>t = 240^{\circ}</math> சுழற்சி  

:: மூன்று எதிர்வுகள் -- முக்கோணத்தின் மூன்று நடுவரைக்கோடுகளில் மூன்று எதிர்வுகள். இவை <math>r_1, r_2, r_3</math> எனப்படும்.  

இவைகளின் செயல்பாட்டினால் ஏற்படும் குலத்தின் அட்டவணை:  

:::{|  
|-  
! <math>\frac{y\rightarrow}  
{x\downarrow}</math>  
! e  
! s  
! t  
! r<sub>1</sub>  
! r<sub>2</sub>  
! r<sub>3</sub>  
|-  
| **e**  
| **e**  
| s  
| t  
| r<sub>1</sub>  
| r<sub>2</sub>  
| r<sub>3</sub>  
|-  
| **s**  
| s  
| t  
| **e**  
| r<sub>3</sub>  
| r<sub>1</sub>  
| r<sub>2</sub>  
|-  
| **t**  
| t  
| **e**  
| s  
| r<sub>2</sub>  
| r<sub>3</sub>  
| r<sub>1</sub>  
|-  
| **r<sub>1</sub>**  
| r<sub>1</sub>  
| r<sub>2</sub>  
| r<sub>3</sub>  
| **e**  
| s  
| t  
|-  
|**r<sub>2</sub>**  
| r<sub>2</sub>  
| r<sub>3</sub>  
| r<sub>1</sub>  
| t  
| **e**  
| s  
|-  
|**r<sub>3</sub>**  
| r<sub>3</sub>  
| r<sub>1</sub>  
| r<sub>2</sub>  
| s  
|t  
| **e**  
|}  

## S<sub>3</sub>யும் D<sub>3</sub> யும் சம அமைவியங்கள்

கெய்லி அட்டவணையின் ஒத்தாசையால் நாம் <math>S_3</math> யும் <math>D_3</math> யும் சம அமைவியங்கள் என்பதைத்தெரிந்துகொள்ளலாம். ஏனென்றால்  

:<math>s \leftrightarrow (123)</math>  

: <math>t \leftrightarrow (132)</math>  

: <math>r_1 \leftrightarrow (1)(23)</math>  

: <math>r_2 \leftrightarrow (2)(31)</math>  

: <math>r_3 \leftrightarrow (3)(12)</math>  

என்ற இருவழிக்கோப்பை செயல்படுத்தினால், இரண்டு அட்டவணைகளும் ஒன்றாவதைப்பார்க்கலாம்.