Aljabar abstrak: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Usagioq (bicara | kontrib)
Usagioq (bicara | kontrib)
Baris 52:
 
'''Bukti''':
Dengan '''(G3)''' dan Teorema 1 terdapat <math> d \in G </math> sehingga <math> a \circ d = e = \circ bd \circ da = e </math>. Oleh karena itu jika <math> a \circ b = a \circ c </math> maka dengan Teorema 2 dan '''(G1)'''
:<math> b = e \circ b = ( d \circ a ) \circ b = d \circ ( a \circ b ) = d \circ ( a \circ c ) = ( d \circ a ) \circ c = e \circ c = c . </math>
Jika <math> b \circ a = c \circ a </math> maka dengan '''(G1)''' dan '''(G2)'''