# இணையியத் தொகுதி

இரண்டு கெய்லி வரைபடங்களும் வேறுபட்ட நிறங்களில் காட்டப்பட்டுள்ள இணையியத் தொகுதிகளும்.]]  

கணிதத்தில், குறிப்பாக குலக்கோட்பாட்டில், ஒரு குலத்தில் <math>a,</math> <math>b</math> என்ற இரு உறுப்புகளுக்கு <math>b = gag^{-1}.</math> என்பதை நிறைவு செய்யும் மற்றொரு உறுப்பு <math>g</math> அதே குலத்தில் இருந்தால் <math>a,</math> <math>b</math> இரண்டும் ஒன்றுகொன்று **இணையியம்** (*conjugate*) ஆகும். ”இணைத்தல்” (conjugation) என்ற உறவு சமான உறவாகும். இவ்வுறவின் சமானத் தொகுதிகள் **இணையியத் தொகுதிகள்** (*conjugacy classes*) என அழைக்கப்படுகின்றன. இதனை, ஒவ்வொரு இணையியத் தொகுதியும் குலத்திலுள்ள ஒவ்வொரு உறுப்பு <math>g</math>-க்கும் <math>b = gag^{-1}.</math> செயலின்கீழ் அடைவுபெற்றுள்ளது என்றும் கூறலாம்.  

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

ஒரே இணையியத் தொகுதியிலுள்ள உறுப்புகளுக்கு மாறிலியாகவுள்ள சார்புகள் “தொகுதிச் சார்புகள்” என அழைக்கப்படுகின்றன.  

## வரையறை
<math>G</math> ஒரு குலம். <math>a,</math> <math>b</math> என்ற இரு உறுப்புகளுக்கு <math>b = gag^{-1}.</math> என்பதை நிறைவு செய்யும் மற்றொரு உறுப்பு <math>g</math> அதே குலத்தில் இருந்தால் <math>a,</math> <math>b</math> இரண்டும் ஒன்றுகொன்று **இணையியம்** (*conjugate*) ஆகும்.  

"இணைத்தல்" செயல் என்பது ஒரு சமான உறவு என்பதை எளிதாகக் காணமுடியும். எனவே இச் செயல் <math>G</math> ஐ சமானத் தொகுதிகளாகப் பிரிக்கிறது. (அதாவது, குலத்தின் ஒவ்வொரு உறுப்பும் ஒரேயொரு இணையியத் தொகுதியில் மட்டுமே இருக்கும். மேலும் <math>a</math>, <math>b</math> இரண்டும் ஒன்றுக்கொன்று இணையியங்களாக "இருந்தால், இருந்தால்தான்" அவற்றின் இணையியத் தொகுதிகள் <math>\operatorname{Cl}(a),</math> <math>\operatorname{Cl}(b)</math> இரண்டும் சமமாக இருக்கும். அவ்வாறில்லாவிடில் அவ்விரு தொகுதிகளும் சேர்ப்பில்லாக் கணங்களாக இருக்கும்.)  

<math>a \in G</math> இன் சமானத் தொகுதி:  
<math display="block">\operatorname{Cl}(a) = \\{ gag^{-1} : g \in G \\}</math>  
இதுவே <math>a</math> இன் இணையியத் தொகுதியுமாகும்.  

<math>G</math> இன் வேறுபட்ட இணையியத் தொகுதிகளின் எண்ணிக்கையானது அக்குலத்தின் "தொகுதி எண்" எனப்படும். ஒரே இணையியத் தொகுதியைச் சேர்ந்த குலத்தின் உறுப்புகள் அனைத்தும் வரிசையுடையவையாக இருக்கும்.  

## எடுத்துக்காட்டுகள்
### எடுத்துக்காட்டு 1
மூன்று உறுப்புகளின் 6 வரிசைமாற்றங்களின் சமச்சீர் குலமான சமச்சீர் குலம் <math>S_3</math>]] -க்கு மூன்று இணையியத் தொகுதிகள் உள்ளன:  

1. மாற்றம் இல்லாதது <math>(abc \to abc)</math>. ஒரு வரிசையுடைய ஒரேயொரு உறுப்புடையது.
1. இரு உறுப்புகளை இடமாற்றல் <math>(abc \to acb, abc \to bac, abc \to cba)</math>. இரண்டு வரிசையுடைய மூன்று உறுப்புகள் உள்ளன.
1. எல்லா மூன்று உறுப்புகளையும் வரிசைமாற்றல் <math>(abc \to bca, abc \to cab)</math>. மூன்று வரிசையுடைய இரண்டு உறுப்புகள் உள்ளன.

இந்த மூன்று தொகுதிகளும் சமபக்க முக்கோணத்தின் சமவளவைக் குலங்களின் வகைப்படுத்தலை ஒத்ததாகும்.  

### எடுத்துக்காட்டு 2
நான்கு உறுப்புகளின் 24 வரிசைமாற்றங்களின் சமச்சீர் குலம்<math>S_4</math> -க்கு ஐந்து இணையியத் தொகுதிகள் உள்ளன. இவ்வைந்தும் அவற்றின் விளக்கம், வரிசைமாற்ற வகை, உறுப்பின் வரிசை, உறுப்புகள் என பட்டியலிடப்படுகின்றன:  

1. மாற்றம் இல்லாதது. சுழல் முறை = [1<sup>4</sup>]; வரிசை = 1; உறுப்புகள் = { (1, 2, 3, 4) }; அட்டவணையில் இந்த இணையியத் தொகுதி ஒரே நிரையில் கருப்பு வட்டங்களில் காட்டப்பட்டுள்ளது.
1. இரண்டு உறுப்புகள் மட்டும் மாற்றம். சுழல் முறை = [1<sup>2</sup>2<sup>1</sup>]; வரிசை = 2; உறுப்புகள் = { (1, 2, 4, 3), (1, 4, 3, 2), (1, 3, 2, 4), (4, 2, 3, 1), (3, 2, 1, 4), (2, 1, 3, 4) }); அட்டவணையில் இந்த இணையியத் தொகுதி பச்சை நிறத்தில் ஆறு நிரைகளில் காட்டப்பட்டுள்ளது.
1. மூன்று உறுப்புகளை மட்டும் வட்ட வரிசைமாற்றுதல். சுழல் முறை = [1<sup>1</sup>3<sup>1</sup>] வரிசை = 3: உறுப்புகள் = { (1, 3, 4, 2), (1, 4, 2, 3), (3, 2, 4, 1), (4, 2, 1, 3), (4, 1, 3, 2), (2, 4, 3, 1), (3, 1, 2, 4), (2, 3, 1, 4) }); அட்டவணையில் இந்த இணையியத் தொகுதியைக்கொண்ட 8 நிரைகள் நிறமின்றி சாதாரணமாகக் காட்டப்பட்டுள்ளது.
1. நான்கை மட்டும் வட்ட வரிசைமாற்றல். சுழல் முறை = [4<sup>1</sup>]; வரிசை = 4. உறுப்புகள் = { (2, 3, 4, 1), (2, 4, 1, 3), (3, 1, 4, 2), (3, 4, 2, 1), (4, 1, 2, 3), (4, 3, 1, 2) }). அட்டவணையில் இந்த இணையியத் தொகுதி ஆறு நிரைகளில் ஆரஞ்சு நிறத்தில் காட்டப்பட்டுள்ளது.
1. இரு உறுப்புகளை இடம்மாற்றுவதோடு மற்ற இரண்டையும் இடம் மாற்றல். சுழல் முறை = [2<sup>2</sup>]; வரிசை = 2. உறுப்புகள் = { (2, 1, 4, 3), (4, 3, 2, 1), (3, 4, 1, 2) }); அட்டவணையில் இந்த இணையியத் தொகுதி 3 நிரைகளில் தடித்தவகையில் காட்டப்பட்டுள்ளது.

பொதுவாக, சமச்சீர் குலம் <math>S_n</math> இன் இணையியத் தொகுதிகளின் எண்ணிக்கை <math>n.</math> -இன் எண் பிரிவினைகளின் என்ணிக்கைக்குச் சமமானதாக இருக்கும்.  

## பண்புகள்
- <math>\operatorname{Cl}(e) = \{ e \}.</math> என்பதைத் தனது இணையியத் தொகுதியில் நிறைவு செய்யும் ஒரேயொரு உறுப்பாக குலத்தின் சமனி உறுப்பு மட்டுமே இருக்கும்.
- <math>G</math> ஒரு பரிமாற்றுக் குலமெனில், <math>gag^{-1} = a</math> <math>\forall </math><math> a, g \in G.</math> அதாவது, <math>\operatorname{Cl}(a) = \{ a \}</math> <math>\forall </math> <math>a \in G.</math>
இதன் மறுதலையும் உண்மையாக இருக்கும்: அனைத்து இணையியத் தொகுதிகளும் ஒற்றையுறுப்புக் கணமாக இருந்தால், <math>G</math> ஒரு பரிமாற்றுக் குலமாக இருக்கும்.  
- <math>a, b \in G</math> எனும் இரு உறுப்புகள் ஒரே இணையியத் தொகுதியைச் சேர்ந்தவையெனில், அவற்றின் வரிசைகளும் சமமாகவே இருக்கும். மேலும் <math>\varphi(x) = gxg^{-1}</math> என்ற கோப்பு <math>G</math> இன் உள் தன்னமைவியமாக இருக்குமென்பதால், <math>a</math> -க்கான எந்தக் கூற்றையும் <math>b = gag^{-1},</math> -க்கானக் கூற்றாகக் கொள்ளலாம்.
- I<math>a,</math> <math>b</math> இரண்டும் இணையியங்கள் எனில், அவற்றின் அடுக்குகளும் (<math>a^k,</math> and <math>b^k.</math>) இணையியங்களாக இருக்கும்.
::<math>a = gbg^{-1}</math> எனில், <math>a^k = \(gbg^{-1}\)\(gbg^{-1}\) \cdots \(gbg^{-1}\) = gb^kg^{-1}.</math>  
- <math>\sigma \in S_n;</math>
:இதன் சுழல் முறையிலுள்ள சுழல்களின் நீளங்கள்: <math>m_1, m_2, \ldots, m_s</math>;  
:<math>i = 1, 2, \ldots, s</math> ஒவ்வொன்றுக்கும் <math>\sigma</math> -இன் <math>m_i</math> நீளமுள்ள சுழல்களின் எண்ணிக்கை <math>k_i</math> (<math>\sum\limits_{i=1}^{s} k_i m_i = n</math>) எனில்,  
:<math>\sigma</math> இன் இணையியங்களின் எண்ணிக்கை:  
::<math display="block">\frac{n!}{\(k_{1}!m_{1}^{k_{1}}\) \(k_{2}!m_{2}^{k_{2}}\) \cdots \(k_{s}!m_{s}^{k_{s}}\)}.</math>