13.

Tunjukkan bahwa himpunan bagian tak kosong H dari grup G merupakan subgroup G
jika dan hanya jika ab 1  H untuk setiap a, b di H.
Bukti:
 Diketahui H subgrup G
Ambil sebarang a, b  H

Karena H subgroup, maka b 1  H akibatnya ab 1  H

 Diketahui ab 1  H untuk setiap a, b  H
(i). Ambil sebarang a, b  H

Berdasarkan yang diketahui e  aa 1  H . Jadi H memuat elemen identitas.

(ii). Ambil sebarang a, b  H
Berdasarkan (i) diperoleh e  H
Sesuai dengan yang diketahui, b 1  eb 1  H

 
Akibatnya ab  a b 1
1
H
Jadi sifat tertutup dipenuhi di H.

19. Misalkan G grup dan a di G. tunjukkan order a sama dengan order invers a !
Bukti:

Misalkan  G, o  akan ditunjukksn bahwa untuk a  a 1 setiap a  G

Andaikan a  m dan a 1  n

a  m berarti a m  e (e elemen identitas di G)

Sehingga a m   1
e

a m  e

a 
1 m
e

Ini berarti a 1  m atau n  m

Begitu pula a 1  n berarti berarti a 1  

n
e
 a 
n 1
e

a  
n 1
1
 e 1

an  e
Ini menunjukkan bahwa a  n atau m  n

Karena m  n atau n  m maka m  n

Kontradiksi dengan pengandaian.

Jadi a  a 1