Teorem : G bir grup ve H , G nin bir alt grubu olsu.H modulune gore sol(sag) kongruensin denklik siniflarini H nin G icindeki sol(sag) kosetleri denir.
İfadesinin ispati ?
Burada (... denir) bir iddia yok, bir tanım var. O nedenle, ispat edileck bir şey görünmüyor.
@Yasemin Usluoğlu, tanımın ispatı olmaz.
link (matematikte tanimlari ispatlamamiz gerekiyor mu?). Ayrica baslik da cok genel.