Lihat sumber Kohimpunan

{{short description|Konsep dalam teori grup matematika}}
{{distinguish|Cosette}}{{Terjemahan kaku|en|Coset}}[[Berkas:Left cosets of Z 2 in Z 8.svg|thumb|{{math|''G''}} adalah grup {{nowrap|('''ℤ'''/8'''ℤ''', +)}}, [[Integers modulo n | integers mod 8]] sebagai tambahan. Subgrup {{math | ''H''}} hanya berisi 0 dan 4. Ada empat koset kiri dari {{math|''H''}}: {{math|''H''}} itself, {{math|1 + ''H''}}, {{math|2 + ''H''}}, dan {{math|3 + ''H''}} (ditulis menggunakan notasi aditif karena ini adalah [[grup aditif]]). Bersama-sama mereka mempartisi seluruh grup {{math | '' G ''}} menjadi set yang berukuran sama dan tidak tumpang tindih. [[Indeks subgrup | indeks]]{{math|[''G'' : ''H'']}} is 4.]]

Dalam [[matematika]], khususnya [[teori grup]], [[subgrup]] {{mvar|H}} dari [[grup (matematika) | grup]] {{math | ''G''}} dapat digunakan untuk mendekomposisi himpunan yang mendasari {{mvar | G}} menjadi [[himpunan terpisah | disjoint]] sama- potongan ukuran yang disebut '''kohimpunan'''. Ada dua jenis koset: ''kohimpunan kiri '' dan ''kohimpunan kanan''. Kohimpunan (dari kedua jenis) memiliki jumlah elemen yang sama ([[kardinalitas]]) seperti halnya {{mvar | H}}. Lebih lanjut, {{mvar | H}} itu sendiri adalah kohimpunan, yang merupakan koset kiri dan kohimpunan kanan. Jumlah koset kiri {{math | ''H''}} di {{math | ''G''}} sama dengan jumlah koset kanan dari {{math | ''H''}} di {{matematika | ''G''}}. Nilai yang sama disebut [[Indeks subgrup | indeks]] dari {{math | ''H''}} dalam bahasa {{math | ''G''}} dan biasanya dilambangkan dengan {{math|[''G'' : ''H'']}}.

Kohimpunan adalah alat dasar dalam mempelajari grup; misalnya, mereka memainkan peran sentral dalam [[teorema Lagrange (teori grup) | Teorema Lagrange]] yang menyatakan bahwa untuk [[grup hingga]] {{math|''G''}}, jumlah elemen dari setiap subgrup {{math | '' H ''}} dari {{mvar | ''G''}} membagi jumlah elemen {{mvar | ''G''}}. Koset dari jenis subgrup tertentu ([[subgrup normal]]) dapat digunakan sebagai elemen dari grup lain yang disebut [[grup hasil bagi|grup hasil bagi atau grup faktor]]. Kohimpunan juga muncul di bidang matematika lain seperti [[ruang vektor]] dan [[kode koreksi kesalahan]].

== Definisi ==
Misalkan {{mvar | H}} menjadi subgrup dari grup {{mvar | G}} yang operasinya ditulis secara multiplikatif (penjajaran berarti menerapkan operasi grup). Diberikan elemen {{math | ''g''}} dari {{mvar | G}}, '' 'coset kiri' '' dari {{mvar | H}} ke {{mvar | G}} adalah himpunan diperoleh dengan mengalikan setiap elemen {{mvar | H}} dengan elemen tetap {{mvar | g}} dari {{mvar | G}} (di mana {{mvar | g}} adalah faktor kiri). Dalam simbol ini adalah,  
:{{math|1=''gH'' = {&thinsp;''gh'' : ''h'' sebuah elemen dari ''H''&thinsp;}}} untuk setiap {{mvar | g}} di {{mvar | G}}.
'''Kohimpunan kanan''' didefinisikan dengan cara yang sama, kecuali bahwa elemen {{mvar | g}} sekarang merupakan faktor kanan, yaitu, 
:{{math|1=''Hg'' = {&thinsp;''hg'' : ''h'' sebuah elemen dari ''H''&thinsp;}}} untuk {{mvar|g}} ke {{mvar|G}}.

Karena {{mvar | g}} bervariasi di seluruh grup, akan tampak bahwa banyak koset (kanan atau kiri) akan dihasilkan. Ini benar, tetapi kosetnya tidak semuanya berbeda. Faktanya, jika dua kohimpunan dari jenis yang sama memiliki setidaknya satu elemen yang sama, maka keduanya identik sebagai himpunan.<ref name=Rotman2006>{{harvnb|Rotman|2006|loc=p. 156}}</ref>

Jika operasi grup ditulis secara tambahan, seperti yang sering terjadi ketika grup adalah [[grup abelian | abelian]], notasi yang digunakan berubah menjadi {{math|''g'' + ''H''}} atau {{math|''H'' + ''g''}}.

=== Contoh pertama ===
Misalkan {{mvar | G}} adalah [[kelompok dihedral berorde 6 | kelompok dihedral berorde enam]]. Elemen-elemennya dapat diwakili oleh {{math|{''I'', ''a'', ''a''<sup>2</sup>, ''b'', ''ab'', ''a''<sup>2</sup>''b''}}}. Dalam grup ini {{math|1=''a''<sup>3</sup> = ''b''<sup>2</sup> = ''I''}} dan {{math|1=''ba'' = ''a''<sup>−1</sup>''b'' = ''a''<sup>2</sup>''b''}}. Ini adalah informasi yang cukup untuk mengisi seluruh tabel perkalian:
::{| class=wikitable
!*||{{mvar|I}} ||{{mvar|a}} ||{{math|''a''<sup>2</sup>}} ||{{mvar|b}} ||{{mvar|ab}} ||{{math|''a''<sup>2</sup>''b''}}
|-
!{{mvar|I}} 
||{{mvar|I}} ||{{mvar|a}} ||{{math|''a''<sup>2</sup>}} ||{{mvar|b}} ||{{mvar|ab}} ||{{math|''a''<sup>2</sup>''b''}}
|-
!{{mvar|a}} 
|{{mvar|a}} ||{{math|''a''<sup>2</sup>}} ||{{mvar|I}} ||{{mvar|ab}} ||{{math|''a''<sup>2</sup>''b''}} ||{{mvar|b}}
|-
!{{math|''a''<sup>2</sup>}}
|{{math|''a''<sup>2</sup>}} ||{{mvar|I}} ||{{mvar|a}} ||{{math|''a''<sup>2</sup>''b''}} ||{{mvar|b}} ||{{mvar|ab}}
|-
!{{mvar|b}} 
|{{mvar|b}} ||{{math|''a''<sup>2</sup>''b''}} ||{{mvar|ab}} ||{{mvar|I}} ||{{math|''a''<sup>2</sup>}} ||{{mvar|a}}
|-
!{{mvar|ab}} 
|{{mvar|ab}} ||{{mvar|b}} ||{{math|''a''<sup>2</sup>''b''}} ||{{mvar|a}} ||{{mvar|I}} ||{{math|''a''<sup>2</sup>}}
|-
!{{math|''a''<sup>2</sup>''b''}} 
|{{math|''a''<sup>2</sup>''b''}} ||{{mvar|ab}} ||{{mvar|b}} ||{{math|''a''<sup>2</sup>}} ||{{mvar|a}} ||{{mvar|I}}
|}

Misalkan {{mvar | T}} menjadi subgrup {{math|{''I'', ''b''}}}. Kohimpunan kiri (berbeda) dari {{mvar | T}} adalah:
:{{math|1=''IT'' = ''T'' = {''I'', ''b''}}},
:{{math|1=''aT'' = {''a'', ''ab''}}}, and
:{{math|1=''a''<sup>2</sup>''T'' = {''a''<sup>2</sup>, ''a''<sup>2</sup>''b''}}}.
Karena semua elemen {{mvar | G}} sekarang telah muncul di salah satu kohimpunan ini, menghasilkan Kohimpunan lagi tidak dapat menghasilkan kohimpunan baru, karena kohimpunan baru harus memiliki unsur yang sama dengan salah satunya dan karenanya identik dengan salah satu kohimpunan ini. Contohnya, {{math|1=''abT'' = {''ab'', ''a''} = ''aT''}}.

Kohimpunan kanan dari {{mvar | T}} adalah:
:{{math|1=''TI'' = ''T'' = {''I'', ''b''}}},
:{{math|1=''Ta'' = {''a'', ''ba''} = {''a'', ''a''<sup>2</sup>''b''}}} , dan
:{{math|1=''Ta''<sup>2</sup> = {''a''<sup>2</sup>, ''ba''<sup>2</sup>} = {''a''<sup>2</sup>, ''ab''}}}.

Dalam contoh ini, kecuali untuk {{mvar | T}}, tidak ada koset kiri yang juga merupakan kohimpunan kanan.

Misalkan {{mvar | H}} menjadi subgrup {{math|{''I'', ''a'', ''a''<sup>2</sup>}}}. Kohimpunan kiri dari {{mvar | H}} adalah {{math|1=''IH'' = ''H''}} dan {{math|1=''bH'' = {''b'', ''ba'', ''ba''<sup>2</sup>}}}. Kohimpunan kanan dari {{mvar | H}} adalah {{math|1=''HI'' = ''H''}} dan {{math|1= ''Hb'' = {''b'', ''ab'', ''a''<sup>2</sup>''b''} = {''b'', ''ba''<sup>2</sup>, ''ba''} }}. Dalam hal ini, setiap kohimpunan kiri dari {{mvar | H}} juga merupakan kohimpunan kanan dari {{mvar | H}}.<ref name=Dean>{{harvnb|Dean|1990|loc=p. 100}}</ref>

== Properti ==

Karena {{math | ''H''}} adalah subgrup, ia berisi [[elemen identitas]] grup, dengan hasil bahwa elemen {{math | ''g''}} milik kohimpunan {{math|''gH''}}. If {{math|''x''}} jadi milik {{math | ''gH''}} {{math|1=''xH''=''gH''}}. Jadi, setiap elemen dari {{math | ''G''}} tepat berada di satu koset kiri subgrup {{math|''H''}}.<ref name=Rotman2006 />

Identitas tersebut tepat berada di satu kohimpunan kiri atau kanan, yaitu {{math | ''H''}}. Jadi {{math | ''H''}} adalah kohimpunan kiri dan kanan dari dirinya sendiri.<ref name=Dean />

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''<sup>−1</sup>''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''<sup>−1</sup>''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]] dari 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.

Pernyataan serupa berlaku untuk koset kanan.

Jika {{math | ''G''}} adalah [[grup abelian]], maka {{math|1=''g'' + ''H'' = ''H'' + ''g''}} untuk setiap subkelompok {{math | '' H ''}} dari {{math | '' G ''}} dan setiap elemen {{math | '' g ''}} dari {{math | '' G '' }}. Untuk kelompok umum, diberi elemen {{mvar|''g''}} dan subgrup {{math | '' H ''}} dari grup {{mvar | '' G ''}}, koset kanan dari {{math | '' H ''}} terkait dengan {{math | '' g ''}} juga merupakan koset kiri dari [[subgrup konjugasi]] {{math|''g''<sup>−1</sup>''Hg''&thinsp;}} dengan {{math|''g''}}, adalah, {{math|1=''Hg'' = ''g''&thinsp;(&thinsp;''g''<sup>−1</sup>''Hg''&thinsp;)}}.

=== Subgrup normal ===
Subgrup {{math | '' N ''}} dari grup {{math | '' G ''}} adalah [[subgrup normal]] dari {{math | '' G ''}} jika dan hanya jika untuk semua elemen {{math | '' g ''}} dari {{math | '' G ''}} yang sesuai, adalah, {{math|1=''gN'' = ''Ng''}}. Ini adalah kasus untuk subgrup {{mvar | H}} pada contoh pertama di atas. Selanjutnya, kohimpunan dari {{math | '' N ''}} dalam {{math | '' G ''}} membentuk sebuah grup yang disebut [[grup hasil bagi | grup hasil bagi atau grup faktor]]

Jika {{math | '' H ''}} bukan [[subgrup normal | normal]] di {{math | '' G ''}}, kohimpunan kirinya berbeda dengan Kohimpunan kanannya. Artinya, ada {{math | '' a ''}} di {{math | '' G ''}} sehingga tidak ada elemen '' b '' yang memenuhi {{math|1=''aH'' = ''Hb''}}. Ini berarti bahwa partisi {{mvar | '' G ''}} ke kohimpunan kiri {{mvar | '' H ''}} adalah partisi yang berbeda dengan partisi {{math | '' G '' }} ke dalam Kohimpunan kanan dari {{math|''H''}}. Ini diilustrasikan oleh subgrup {{mvar | T}} pada contoh pertama di atas. ('' Beberapa '' kohimpunan bertepatan. Misalnya, jika {{math | '' a ''}} ada di [[pusat (teori grup) | pusat]] dari {{math | '' G ''}}, t{{math|1=''aH'' = ''Ha''}}.)

Sebaliknya, jika subgrup '' N '' normal, himpunan semua kohimpunan membentuk grup yang disebut grup hasil bagi {{math|''G'' / ''N''}} dengan operasi ∗ ditentukan oleh {{math|1=(''aN''&thinsp;) ∗ (''bN''&thinsp;) = ''abN''}}. Karena setiap kohimpunan kanan adalah kohimpunan kiri, maka tidak perlu membedakan "kohimpunan kiri" dari "kohimpunan kanan".

=== Indeks subgrup ===
{{Main|Indeks subgrup}}
Setiap koset kiri atau kanan dari {{math | '' H ''}} memiliki jumlah elemen yang sama (atau [[kardinalitas]] dalam kasus [[Tak hingga | tak terbatas]] {{math | '' H ' '}}) sebagai {{math |' 'H' '}} itu sendiri. Selain itu, jumlah koset kiri sama dengan jumlah koset kanan dan dikenal sebagai '' 'indeks' '' dari {{math | '' H ''}} dalam '' G '', ditulis {{math|[''G'' : ''H''&thinsp;]}}. [[Teorema Lagrange (teori grup) | Teorema Lagrange]] memungkinkan kita untuk menghitung indeks dalam kasus di mana {{math | '' G ''}} dan {{mvar | '' H ''}}:
:<math>|G| = [G : H]|H|</math>.
Persamaan ini juga berlaku dalam kasus di mana kelompok tidak terbatas, meskipun artinya mungkin kurang jelas.

== Contoh lainnya ==

=== Bilangan bulat ===
Misalkan {{math | '' G ''}} menjadi [[grup aditif]] dari bilangan bulat, {{math|1='''ℤ''' = ({..., −2, −1, 0, 1, 2, ...}, +)}} dan {{math|''H''}} subgrup {{math|1=(3'''ℤ''', +) = ({..., −6, −3, 0, 3, 6, ...}, +)}}. Maka koset dari {{math | '' H ''}} dalam {{math | '' G ''}} adalah tiga himpunan {{math|3'''ℤ'''}}, {{math|3'''ℤ''' + 1}}, dan {{math|3'''ℤ''' + 2}}, dimana {{math|1=3'''ℤ''' + ''a'' = {..., −6 + ''a'', −3 + ''a'', ''a'', 3 + ''a'', 6 + ''a'', ...}}}. Ketiga himpunan ini mempartisi himpunan '' 'ℤ' '', jadi tidak ada koset kanan lain dari {{mvar | H}}. Karena [[komutivitas]] penambahan {{math|1=''H'' + 1 = 1 + ''H''}} dan {{math|1=''H'' + 2 = 2 + ''H''}}. Artinya, setiap koset kiri {{mvar | H}} juga merupakan koset kanan, jadi {{mvar | H}} adalah subgrup normal.<ref>{{harvnb|Fraleigh|1994|loc=p. 117}}</ref> (Argumen yang sama menunjukkan bahwa setiap subgrup Abelian adalah normal.<ref name=Fraleigh>{{harvnb|Fraleigh|1994|loc=p. 169}}</ref>)

Contoh ini dapat digeneralisasikan. Sekali lagi biarkan {{math | '' G ''}} menjadi grup aditif dari bilangan bulat, {{math|1='''ℤ''' = ({..., −2, −1, 0, 1, 2, ...}, +)}}, dan sekarang biarkan {{math | '' H ''}} subgrup {{math|1=(''m'''''ℤ''', +) = ({..., −2''m'', −''m'', 0, ''m'', 2''m'', ...}, +)}}, dengan {{math | '' m ''}} adalah bilangan bulat positif. Maka koset dari {{math | '' H ''}} dalam {{math | '' G ''}} adalah himpunan {{math | '' m ''}} {{math|''m'''''ℤ'''}}, {{math|''m'''''ℤ''' + 1}}, ..., {{math|''m'''''ℤ''' + (''m'' − 1)}}, dimana {{math|1=''m'''''ℤ''' + ''a'' = {..., −2''m''+''a'', −''m''+''a'', ''a'', ''m''+''a'', 2''m''+''a'', ...}}}. Tidak lebih dari {{math | '' m ''}} Kohimpunan, karena {{math|1=''m'''''ℤ''' + ''m'' = ''m''('''ℤ''' + 1) = ''m'''''ℤ'''}}. Kohimpunan {{math|(''m'''''ℤ''' + ''a'', +)}} adalah [[Aritmatika modular | kelas kesesuaian]] dari {{math | '' a ''}} ke modulo {{math|''m''}}.<ref>{{harvnb|Joshi|1989|loc= p. 323}}</ref> Subgrup {{mvar|m'''ℤ'''}} normal {{mvar|'''ℤ'''}}, dan dengan demikian, dapat digunakan untuk membentuk kelompok hasil bagi {{mvar|'''ℤ'''/m'''ℤ'''}} kelompok [[Bilangan bulat mod n | bilangan bulat mod m]].

=== Vektor ===
Contoh lain dari  berasal dari teori [[ruang vektor]]. Unsur-unsur (vektor) ruang vektor membentuk [[gruo abelian]] di bawah [[penjumlahan vektor]]. [[Subruang linear | subruang]] dari ruang vektor adalah [[subgrup]] dari grup ini. Untuk ruang vektor {{math | '' V ''}}, subruang {{math | '' W ''}}, dan vektor tetap {{vec|{{math|''a''}}}} pada {{math|''V''}}, himpunan nya
:<math>\{\vec{x} \in V \colon \vec{x} = \vec{a} + \vec{w}, \vec{w} \in W\}</math>
disebut [[affine subspace]] s, dan merupakan coset (kiri dan kanan, karena grupnya abelian). Dalam hal vektor 3 dimensi [[ruang Euklides | geometris]], subruang affine ini adalah semua "garis" atau "bidang" [[Paralel (geometri) | paralel]] ke subruang, yang merupakan garis atau bidang yang melewati titik asal. Misalnya, perhatikan [[Bidang (geometri) | bidang]] '''ℝ'''<sup>2</sup>. Jika {{mvar | m}} adalah garis melalui asal {{mvar | O}}, maka {{mvar | m}} adalah subgrup dari grup abelian '''ℝ'''<sup>2</sup>. Jika {{mvar | P}} masuk '''ℝ'''<sup>2</sup>, maka kohimpunan {{math|''P'' + ''m''}} adalah garis {{mvar | m '}} sejajar dengan {{mvar | m}} dan melewati {{mvar|P}}.<ref>{{harvnb|Rotman|2006|loc=p. 155}}</ref>

=== Matriks ===
Misalkan {{mvar | G}} adalah kelompok matriks perkalian,<ref>{{harvnb|Burton|1988|loc=pp. 128, 135}}</ref>
::<math>G = \left \{\begin{bmatrix} a & 0 \\ b & 1 \end{bmatrix} \colon a, b \in \mathbb{R}, a \neq 0 \right\},</math>
dan subgrup {{mvar | H}} dari {{mvar | G}},
::<math>H= \left \{\begin{bmatrix} 1 & 0 \\ c & 1 \end{bmatrix} \colon c \in \mathbb{R} \right\}.</math>
Untuk elemen tetap dari {{mvar | G}} pertimbangkan kohimpunan kiri
::<math>\begin{align} \begin{bmatrix} a & 0 \\ b & 1 \end{bmatrix} H =& \left \{\begin{bmatrix} a & 0 \\ b & 1 \end{bmatrix}\begin{bmatrix} 1 & 0 \\ c & 1 \end{bmatrix} \colon c \in \mathbb{R} \right\} \\
=&\left \{\begin{bmatrix} a & 0 \\ b + c & 1 \end{bmatrix} \colon c \in \mathbb{R}\right\} \\
=&\left \{\begin{bmatrix} a & 0 \\ d & 1 \end{bmatrix} \colon d \in \mathbb{R}\right\}.
\end{align}</math>
Artinya, koset kiri terdiri dari semua matriks di {{mvar | G}} yang memiliki entri kiri atas yang sama. Subgrup ini {{mvar | H}} normal di {{mvar | G}}, tetapi subgrup 
:<math>T= \left \{\begin{bmatrix} a & 0 \\ 0 & 1 \end{bmatrix} \colon a \in \mathbb{R} - \{0\} \right\}</math>
tidak normal pada {{mvar | G}}.

== Sebagai orbit dari tindakan grup ==
{{main|Tindakan grup}}

Subgrup {{mvar | H}} dari grup {{mvar | G}} bisa digunakan untuk mendefinisikan [[aksi grup | aksi]] dari {{mvar | H}} pada {{mvar | G}} di dua cara alami. ''tindakan kanan'', {{math|''G'' × ''H'' → ''G''}} diberikan oleh {{math|(''g'', ''h'') → ''gh''}} atau ''tindakan kiri'', {{math|''H'' × ''G'' → ''G''}} diberikan oleh {{math|(''h'', ''g'') → ''hg''}}. [[Orbit (teori grup) | orbit]] dari {{mvar | g}} di bawah aksi kanan adalah kohimpunan kiri {{mvar | gH}}, sedangkan orbit di bawah aksi kiri adalah kohimpunan kanan {{mvar | Hg}}.<ref name=Jacobson>{{harvnb|Jacobson|2009|loc=p. 52}}</ref>

== Sejarah ==
Konsep koset berasal dari karya [[Galois]] tahun 1830-31. Dia memperkenalkan notasi tetapi tidak memberikan nama untuk konsep tersebut. Istilah "co-set" muncul untuk pertama kalinya pada tahun 1910 dalam makalah oleh G. A. Miller di ''Quarterly Journal of Mathmatics'' (vol. 41, p.&nbsp;382). Berbagai istilah lain telah digunakan termasuk jerman ''Nebengruppen'' ([[Eduard Ritter von Weber|Weber]]) dan ''grup konjugasi'' ([[William Burnside|Burnside]]).<ref>{{harvnb|Miller|2012|loc=p. 24 footnote}}</ref>

Galois prihatin dengan menentukan kapan [[persamaan polinomial]] tertentu [[dapat diselesaikan dari radikal]]. Sebuah alat yang dia kembangkan adalah dengan mencatat bahwa subkelompok {{mvar | H}} dari sekelompok [[permutasi]] {{mvar | G}} menginduksi dua dekomposisi {{mvar | G}} (apa yang kita sekarang kohimpunan kiri dan kanan). Jika dekomposisi ini bertepatan, yaitu jika koset kiri sama dengan kohimpunan kanan, lalu ada cara untuk mengurangi masalah menjadi salah satu dengan mengerjakan {{mvar | H}}, bukan {{mvar | G}}. [[Camille Jordan]] dalam komentarnya tentang karya Galois pada tahun 1865 dan 1869 menguraikan ide-ide ini dan mendefinisikan subkelompok normal seperti yang telah kita bahas di atas, meskipun dia tidak menggunakan istilah ini.<ref name=Fraleigh />

== Lihat pula ==
* [[Heap (matematika) | Heap]]
* [[Pencacahan kohimpunan]]

== Catatan ==
{{reflist}}

== Referensi ==
*{{citation|first=David M.|last=Burton|title=Abstract Algebra|year=1988|publisher=Wm. C. Brown Publishers|isbn=0-697-06761-0}}
*{{citation|first=Richard A.|last = Dean|title=Classical Abstract Algebra|year=1990|publisher=Harper and Row|isbn=0-06-041601-7}}
*{{citation|first=John B.|last=Fraleigh|title=A First Course in Abstract Algebra|year=1994|publisher=Addison-Wesley|edition=5th|isbn=978-0-201-53467-2}}
*{{citation|first=Marshall|last=Hall, Jr.|title=The Theory of Groups|year=1959|publisher=The Macmillan Company}}
*{{citation|first=Nathan|last=Jacobson|title=Basic Algebra I|edition=2nd|year=2009|origyear=1985|publisher=Dover|isbn=978-0-486-47189-1}}
*{{citation|title=Foundations of Discrete Mathematics
|first=K. D.|last=Joshi|publisher=New Age International|year=1989|isbn=81-224-0120-1
|chapter=§5.2 Cosets of Subgroups|pages=322 ff|url=https://books.google.com/books?id=RM1D3mFw2u0C&q=coset}}
*{{citation|first=G. A.|last=Miller|title=Theory and Applications of Finite Groups|year=2012|origyear=1916|publisher=Applewood Books|isbn=9781458500700}}
*{{citation|first=Joseph J.|last=Rotman|title=A First Course in Abstract Algebra with Applications|year=2006|publisher=Prentice-Hall|edition=3rd|isbn=978-0-13-186267-8}}
*{{citation|title=Group Theory|first=W.R.|last=Scott|publisher=Courier Dover Publications
|year=1987|isbn=0-486-65377-3|chapter=§1.7 Cosets and index|pages=19 ff|url=https://books.google.com/books?id=fAPLAgAAQBAJ&q=coset}}

== Bacaan lebih lanjut ==

*{{citation |title=The Theory of Groups
|first=Hans J.|last=Zassenhaus|publisher=Courier Dover Publications|year=1999|isbn=0-486-40922-8
|chapter=§1.4 Subgroups|pages=10 ff|authorlink=Hans Zassenhaus|url=https://books.google.com/books?id=JST37pp9vMUC&q=coset}}

== Pranala luar ==
*{{MathWorld|title=Coset|urlname=Coset|author=Nicolas Bray}}
*{{MathWorld|title=Left Coset|urlname=LeftCoset}}
*{{MathWorld|title=Right Coset|urlname=RightCoset}}
*{{springer|title=Coset in a group|id=C/c026620|last=Ivanova|first=O.A.}}
*{{PlanetMath|urlname=Coset|title=Coset}}
*[http://sites.millersville.edu/bikenaga/abstract-algebra-1/cosets/cosets.html Illustrated examples]
*{{cite web| publisher=The Group Properties Wiki| work=groupprops|url=http://groupprops.subwiki.org/wiki/Coset| title=Coset}}

[[Kategori:Teori grup]]

<!--[[de:Gruppentheorie#Nebenklassen]]-->