(G, *) , (H, formula_1) ஆகிய இரு குலங்களுக்கிடையே குலச் சமஅமைவியமானது G லிருந்து H க்கு வரையறுக்கப்படும் இருவழிக் குலக் காப்பமைவியமாகும்.

"வரையறை":

"குறியீடு":
(G, *) , (H, formula_1) இரண்டும் சம அமைவியமுடைய குலங்கள் என்பதைக் குறிக்கும் குறியீடு:

இரு குலங்களின் ஈருறுப்புச் செயலிகளும் நன்கறியப்பட்டவையாக இருப்பின், அவையில்லாமல் இக்குறியீட்டைச் சுருக்கமாக எழுதலாம்:

சிலசமயங்களில் G = H எனவும் குறிக்கப்படலாம். ஆனால் இது எல்லா சூழ்நிலைகளிலும் சரியாக இருக்காது. எடுத்துக்காட்டாக இரு குலங்களும் ஒரே குலத்தின் உட்குலங்களாக இருந்தால் சமஅமைவியத்திற்கு சமக்குறிமட்டும் இடுதல் பொருந்தாது.

மறுதலையாக, குலம் (G, *); கணம் H; இருவழிக்கோப்பு formula_2 மூன்றும் தரப்பட்டால்,

என வரையறுப்பதன் மூலம் H கணத்தை (H, formula_1) எனும் குலமாக்கலாம்.

H = G , formula_1 = * எனில் இச்சார்பு தன்னமைவியம் எனப்படும்.

சமஅமைவியம்:


சுழற் குலங்கள்
வரையறையும் குறியீடும்
எடுத்துக்காட்டுகள்
விளைவுகள்