תודה!!!
== G חבורה , H ת"ח. ==
למה מספר המחלקות השמאליות של <math>H</math> ב- <math>G</math> שווה למספר המחלקות הימניות של <math>H</math> ב<math>G</math>.
אפשר בבקשה הסבר אינטואיטיבי והסבר יותר פורמלי...?
יש הבדל בין מקרים בהם מספר המחלקות סופי ובין מקרים בהם מספר המחלקות אינסופי?