۳۱
ویرایش
هم‌دسته: تفاوت میان نسخه‌ها
جز
←هم مجموعه راست
Luckas-bot (بحث | مشارکتها) جز (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> نشان می‌دهیم و داریم:
| |||