G का कोई निरूपण किसी C-सदिश समष्टि V के लिए एक समाकारिता ρ:G→GL(V) है; dimV उसकी घात कहलाती है। कोई उपसमष्टि W⊆V अपरिवर्ती कहलाती है यदि सभी g के लिए ρ(g)W⊆W हो; प्रतिबंध से W एक उपनिरूपण बन जाता है। ρ अखंडनीय कहलाता है यदि V=0 हो और उसकी एकमात्र अपरिवर्ती उपसमष्टियाँ 0 और V हों। (ρ,V) और (σ,W) के बीच समाकारिता ऐसा रैखिक f:V→W है जिसके लिए सभी g पर fρ(g)=σ(g)f हो (समतुल्यवर्तिता); एकैकी आच्छादक f तुल्याकारिताएँ कहलाती हैं।
उदाहरण
उदाहरण 5.2
(क) घात 1: समाकारिताएँ G→C×। (ख) नियमित निरूपण: आधार (eh)h∈G वाला V=CG, जिसमें ρ(g)eh=egh; घात ∣G∣। (ग) किसी परिमित समुच्चय X पर G की क्रमचय क्रिया CX पर क्रमचय निरूपण देती है: ρ(g)ex=eg⋅x। (घ) Sn निर्देशांकों का क्रमचय करके Cn पर क्रिया करता है; अधिसमतल {∑xi=0} अपरिवर्ती है: यही घात n−1 का मानक निरूपण है।
उदाहरण 5.15 (S3 की सारणी)
वर्ग: e (आकार 1), स्थानांतरण (3), 3-चक्र (2); अतः r=3 अखंडनीय, जिनकी घातें ∑ni2=6 के साथ ni हैं: 1,1,2। घात 1: तुच्छ 1 और चिह्न ε। अंतिम पंक्ति स्तंभ लांबिकता से (अथवा χstd=χperm−1 से) निकलती है:
S31εχstde112(12) [3]1−10(123) [2]11−1
जाँच: ⟨χstd,χstd⟩=61(4+0+2)=1: अखंडनीय।
उदाहरण 5.16 (S4 की सारणी)
वर्ग: e [1], स्थानांतरण [6], द्विक स्थानांतरण [3], 3-चक्र [8], 4-चक्र [6]: पाँच अखंडनीय, ∑ni2=24, जिनमें दो घात-1 के हैं (1,ε; [S4:D(S4)]=[S4:A4]=2): अतः घातें 1,1,2,3,3। घात-2 वाला S4/V≅S3 से उठता है (प्रतिज्ञप्ति 5.13(ख), जहाँ V क्लाइन समूह है); और घात 3: मानक निरूपण तथा ε से उसका मोड़:
S41εχ2χstdεχstde[1]11233(12)[6]1−101−1(12)(34)[3]112−1−1(123)[8]11−100(1234)[6]1−10−11
(χstd(g)=fix(g)−1; χ2 प्रत्येक वर्ग के V के सापेक्ष प्रतिबिंब पर S3-सारणी का मान लेता है।) सभी पंक्ति और स्तंभ लांबिकता जाँचें सफल होती हैं — उनमें से दो चलाना अभ्यास 5.3 का प्रारंभिक अभ्यास है।