Aljabar abstrak: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Baris 58:
Jika <math> b \circ a = c \circ a </math> maka dengan '''(G1)''' dan '''(G2)'''
:<math> b = b \circ e = b \circ ( a \circ d ) = ( b \circ a ) \circ d = ( c \circ a ) \circ d = c \circ ( a \circ d ) = c \circ e = c. </math> □
 
'''Teorema'''
<math> ( a ^{-1} ) ^{-a} = a </math>.
 
'''Bukti:'''
<math> a ^{-1} \circ a = a \circ a ^{-1} </math> dari Definisi <math> a ^{-1} </math> yang berarti bahwa <math> a </math> elemen invers untuk <math> a ^{-1} </math>. □
 
==Grup bagian==