(ج ، o) , (ج ، * ) أو أكثر هو التطابق بين بناء الزمرتين ويتم بوجود اقتران بين عناصر المجموعتين ج , جَ مع اختلاف بالعمليتين الرياضيتين o , * .
فالزمرتان (ج ، o) , (جَ ، * ) متشاكلتان إذا وفقط إذا وجد بينهما تشاكل .
فزمرة الاعداد الحقيقية مع عملية الجمع ( ح , +) وزمرة الاعداد الحقيقية الموجبة مع عملية الضرب (ح+ ، 0) متشاكلتان , كونه يوجد اقتران تناظر بين المجموعتين من ح+ , إلى ح كما في القاعدة :
ق(س) = هــ س
أي ان ق(أ + ب) = ق(أ) , ق(ب) = هـأxهـب=هـأ+ب
لأنه عند الضرب تجمع الأسس إذا كانت الأساسيات متساوية .
ومثاله :
ق(2 + 3) = ق(2) . ق(3) = هـ2xهـ3=هـ2+3 =هـ5
أي ان ق(o) = هـْ أي ان ق(ك) = هــ ك وهكذا .
