किसी समुच्चय पर की एक क्रिया के एकैकी आच्छादक प्रतिचित्रणों के समूह में जाने वाली एक समाकारिता है; के लिए लिखा जाता है। समतुल्य रूप से: एक ऐसा प्रतिचित्रण जिसके लिए और । की कक्षा है, उसका स्थायीकारी उपसमूह है, और स्थिर बिंदुओं का समुच्चय है। क्रिया संक्रमणीय कहलाती है यदि ठीक एक कक्षा हो, निष्ठ यदि एकैकी हो, और मुक्त यदि सभी स्थायीकारी तुच्छ हों।
উদাহরণ
उदाहरण 1.9
पाँच क्रियाएँ समूचे परिमित समूह सिद्धांत को चलाती हैं:
- बायाँ स्थानांतरण द्वारा की अपने ही ऊपर क्रिया: मुक्त और संक्रमणीय।
- संयुग्मन द्वारा की अपने ही ऊपर क्रिया: कक्षाएँ संयुग्मन वर्ग हैं, स्थायीकारी केंद्रक हैं, और स्थिर बिंदु केंद्र हैं।
- सहसमुच्चय समष्टि पर द्वारा की क्रिया: संक्रमणीय, जिसमें सहसमुच्चय का स्थायीकारी है। प्रत्येक संक्रमणीय क्रिया इसी रूप की होती है (अभ्यास 1.8)।
- संयुग्मन द्वारा की अपने उपसमूहों के समुच्चय पर क्रिया: का स्थायीकारी प्रसामान्यक है, अर्थात् का सबसे बड़ा उपसमूह जिसमें प्रसामान्य है।
- पर की क्रिया: सब उदाहरणों की जननी।