Aljabar abstrak: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Usagioq (bicara | kontrib)
Usagioq (bicara | kontrib)
Baris 27:
 
'''Lemma 1:'''
Misalkan <math> ( G , \circ ) </math> memenuhu '''(G1) ''', '''(G2)' ''' dan ''' (G3)' ''' dengan anggota identitas kanan <math> e \in G </math> dari '''(G3)' '''. Jika <math> a , b \in G </math> memenuhi <math> a \circ b = e </math> maka <math> b \circ a = e </math>.
 
'''Bukti:'''
Baris 34:
 
'''Lemma 2:'''
Misalkan <math> ( G , \circ ) </math> memenuhu '''(G1) ''', '''(G2)' ''' dan '''(G3)' ''' dengan anggota identitas kanan <math> e \in G </math> dari '''(G3)' '''. Maka <math> e \circ a = a </math> untuk semua <math> a \in G </math>.
 
'''Bukti:'''
Baris 41:
 
'''Lemma 3:'''
Misalkan <math> ( G , \circ ) </math> memenuhu '''(G1) ''', '''(G2)' ''' dan '''(G3)' '''. Jika terdapat hanya satu anggota identitas.
 
'''Bukti:'''