هم‌دسته: تفاوت میان نسخه‌ها

۲ بایت اضافه‌شده ،  ۱۰ سال پیش
جز
جز (r2.7.1) (ربات افزودن: es:Clase lateral)
فرض کنید G یک [[نظریه گروه ها|گروه]] و H [[زیرگروه|زیرگروهی]] از G باشد. [[رابطه]] <math>\equiv_H</math> موسوم به '''رابطه راست همنهشتی''' (یا برای تاکید، رابطه راست همنهشتی به هنگ H) را روی G به صورت زیر تعریف می‌کنیم:
 
:<math>\forall a,b\in G:a\equiv_H b\iff ab^{-1}\in H</math>
 
به سادگی می‌توان تحقیق کرد که این [[رابطه]] یک [[رابطه هم ارزی]] روی G تعریف می‌کند. حال برای هر g∈G کلاس هم ارزی g نسبت به رابطه راست همنهشتی را با <nowiki>[g]</nowiki> نشان می‌دهیم و داریم:
۳۱

ویرایش