Page 100 - modul digital struktur aljabar grup

97

( )

( )

terbukti

Teorema 4.4.7:

Jika sebuah grup dengan operasi , padanya berlaku

hukum kanselasi kiri dan kanan yaitu jika ,

maka dan jika maka untuk

setiap termuat dalam .

Bukti:

berarti termuat dalam sebab grup,

maka:

( ) ( )

( ) ( ) (sifat asosiatif)

(sifat invers)

(sifat identity)

analog (terbukti)