Aljabar abstrak: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Baris 18:
*'''(G4)''' <math> a \circ b = b \circ a </math> untuk semua <math> a, b \in G </math>. ('''Hukum komutatif''')
===Sifat-Sifat ===
'''Teorema:'''
Misalkan <math> ( G , \circ ) </math> grup dan <math> e \in G </math> anggota identitas dari '''(G3)'''. Jika <math> a , b \in G </math> memenuhi <math> a \circ b = e </math> maka <math> b \circ a = e </math>.
'''Bukti:'''
:<math> e = b \circ c = ( b \circ e ) \circ c = ( b \circ ( a \circ b ) ) \circ c = ( ( b \circ a ) \circ b ) \circ c = ( b \circ a ) \circ ( b \circ c) = ( b \circ a ) \circ e = b \circ a </math>.□
'''Teorema:'''
Misalkan <math> ( G , \circ ) </math> grup dan <math> e \in G </math> anggota identitas dari '''(G3)'''. Maka <math> a \circ e = a </math> untuk semua <math> a \in G </math>.
'''Bukti:'''
| |||