Page 101 - modul digital struktur aljabar grup
P. 101
98
Teorema 4.4.8:
Jika sebuah Grup dengan operasi biner , dan jika dan
termuat dalam , maka persamaan linier dan
mempunyai penyelesaian yang unik (tunggal)
dalam .
Bukti:
( ) , karena grup maka termuat
dalam
( ) (asosiatif)
(invers)
dengan cara yang sama diperoleh
(mempunyai penyelesaian yang tunggal).