Aljabar abstrak: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Usagioq (bicara | kontrib)
Tidak ada ringkasan suntingan
Usagioq (bicara | kontrib)
Tidak ada ringkasan suntingan
Baris 10:
'''Definition''':
Suatu grupoid <math> ( G , \circ ) </math> adalah '''grup''', jika itu memenuhi 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)''' Terdapatlah suatu anggota <math> e \in G </math> sehingga <math> g \circ e = g </math> untuk semua <math> g \in G </math>. ('''Hukum identitas''')
*'''(G3)''' (''Hukum invers''')