Aljabar abstrak: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Baris 1:
== Teori grup ==
===Definisi dasasr===
'''Definisi:'''
Misalkan <math> G </math> himpunan tidak kosong.
Baris 13 ⟶ 14:
Suatu grupoid <math> ( G , \circ ) </math> disebut '''grup''' jika itu memenuhi hukum-hukum berikut:
*'''(G1)''' <math> ( a \circ b ) \circ c = a \circ ( b \circ c) </math> unuk semua <math> a, b, c \in G </math>. ('''Hukum assotiatif''')
*'''(G2)''' Terdapat suatu anggota <math> e \in G </math> sehingga <math> a \circ e = e \circ a = a </math> untuk semua <math> a \in G </math>. (<math> e </math> disebut '''anggota identitas''')
*'''(G3)''' Terdapat suatu anggota identitas <math> e \in G </math> sehingga: untuk setiap <math> a \in G </math> terdapat suatu <math> b \in G </math> sehingga <math> a \circ b = b \circ a = e </math>. ('''Hukum invers''')
Suatu grup <math> ( G , \circ ) </math> adalah '''grup Abelian''' (atua '''grup komutatif''') jika itu memnuhi juga
*'''(G4)''' <math> a \circ b = b \circ a </math> untuk semua <math> a, b \in G </math>. ('''Hukum komutatif''')
Baris 20 ⟶ 21:
===Catatan===
Untuk mendefinisikan grup kita dapat menganti '''(G1)''' dan '''(G2)''' dengan '''(G1)' ''' dan '''(G2)' ''' di berikut:
*'''(G2)' ''' Terdapat suatu anggota <math> e \in G </math> sehingga <math> a \circ e = a </math> untuk semua <math> a \in G </math>. (<math> e </math> disebut '''anggota identitas kanan''')
*'''(G3)' ''' Terdapat suatu anggota identitas kanan <math> e \in G </math> sehingga: untuk setiap <math> a \in G </math> terdapat suatu <math> b \in G </math> sehingga <math> a \circ b = e </math>. ('''Hukum invers kanan''')
===Sifat-Sifat===
| |||