Page 99 - modul digital struktur aljabar grup
P. 99
96
Teorema 4.4.5:
Jika adalah sebuah Grup dengan operasi
maka: ( )
Bukti:
( ) ( ) ( ( ))
(( ) )
( )
Terbuktilah bahwa ( ) ( ) dengan
demikian berarti:
( )
Teorema 4.4.6:
Jika adalah sebuah grup dengan operasi dan
ambil , jika atau , maka
atau sebaliknya.
Bukti:
Misalkan gandakan ruas kiri dan kanan dengan
, maka diperoleh:
