Kohimpunan: Perbedaan antara revisi

Elemen {{math | ''g''}} dan {{math | ''x''}} termasuk dalam koset kiri yang sama dari {{math | '' H ''}}, yaitu, {{math|1=''xH'' = ''gH''}} jika dan hanya jika {{math|''g''⁻¹''x''}} belongs to {{math|''H''}}.<ref name=Rotman2006 /> Lebih lanjut bisa dikatakan di sini. Definisikan dua elemen dari {{mvar | G}}, katakanlah {{mvar | x}} dan {{mvar | y}}, agar setara sehubungan dengan subgrup {{mvar | H}} jika {{math|''x''⁻¹''y''}} milik {{mvar | H}}. Ini kemudian menjadi [[relasi ekivalen]] pada {{mvar | G}} dan [[kelas ekivalen]] dari relasi ini adalah koset kiri dari {{mvar | H}}.<ref>{{harvnb|Rotman|2006|loc=p.155}}</ref> Seperti halnya himpunan kelas ekivalen, mereka membentuk [[Partisi (teori himpunan) | partisi]] ​​daridari himpunan yang mendasarinya. '''Repsentasi kohimpunan''' adalah perwakilan dalam pengertian kelas kesetaraan. Satu set perwakilan dari semua koset disebut [[Transversal (kombinatorik) | transversal]]. Ada jenis relasi ekivalen lain dalam sebuah grup, seperti konjugasi, yang membentuk kelas berbeda yang tidak memiliki properti yang dibahas di sini.

[[Kategori: Teori grup]]