Definisi 3.

3 Grup Hingga , Grup Tak Terbatas , Urutan Grup

Jika suatu grup G memiliki sejumlah elemen berhingga, G disebut grup berhingga, atau grup
berorde hingga. Banyaknya elemen dalam G disebut orde G dan dilambangkan dengan o(G) atau 0 G
0 . Jika G tidak memiliki jumlah elemen berhingga, G disebut grup tak berhingga.

Contoh 8 dalam contoh 3, Grub

G= { e , ρ , ρ, σ , γ , δ }
Memiliki orde o(G ) 5 6. Pada Contoh 5, o(Zn) = n. Himpunan Z dari semua bilangan bulat
adalah grup di bawah penjumlahan, dan ini adalah contoh grup tak hingga. Jika A adalah himpunan
tak hingga, maka S(A) memberikan contoh grup tak hingga.

Teorema 3.4 Properti Elemen Grup

a. Biarkan G menjadi grup terhadap operasi biner yang ditulis sebagai perkalian.
b. Elemen identitas e dalam G adalah unik.
c. Untuk setiap x ∈ G, invers dari x -1 dalam G adalah unik.
d. Untuk setiap. x ∈ G, ( x -1)-1 = x .
e. Hukum urutan terbalik. Untuk setiap x dan y di G , ( xy )-1 = y -1 x -1

Hukum pembatalan. Jika a , x , dan y berada di G , maka salah satu persamaan ax=ay atau
xa= ya menyiratkan bahwa x= y .
Bukti Kami membuktikan bagian b dan d dan meninggalkan yang lain sebagai latihan. Untuk
membuktikan bagian b, mari x ∈ G, dan misalkan masing-masing dari y dan z adalah invers dari x .
Itu adalah,

xy=e= yx dan xz=e=zx .

Sehinnga,

y=ey mka e adalah sebuah identitas

¿ ( zx ) y maka zx=e
¿ z ( xy)oleh asosiatif.
¿ z (e) maka xy=e
¿ z maka e adalah sebuah identitas

Jadi y=z , dan ini membenarkan notasi x -1 sebagai invers unik dari x dalam G . ( p ⋀ q ) ⟹ r .
Kami akan menggunakan bagian b dalam bukti bagian d. Secara khusus, kami akan menggunakan
fakta bahwa invers ( xy )-1 adalah unik. Ini berarti bahwa untuk menunjukkan bahwa y -1 x -1 = ( xy )-
1, kita hanya perlu untuk memverifikasi bahwa ( xy ) ( y−1 x −1 ) =e=( y−1 x−1 )(xy). Perhitungan ini
sangat mudah:
( y −1 x−1 ) ( xy ) = y−1 ( x−1 x ) y= y−1 ey= y −1 y=e
Dan

( xy ) ( y−1 x −1 ) =x ( yy −1) x−1=x −1 e x−1=x x−1=e

Urutan faktornya y−1 dan x−1 dalam hukum urutan terbalik ( xy )−1= y −1 x−1 sangat penting dalam
kelompok nonabelian. Contoh dimana ( xy )−1 ≠ x−1 y −1 diminta dalam Latihan 5 diakhir bagian ini.
Bagian e dari Teorema 3.4 menyiratkan bahwa dalam tabel untuk grup hingga G , tidak ada elemen G
muncul dua kali pada baris yang sama, dan tidak ada elemen G yang muncul dua kali pada kolom
yang sama. Hasil ini dapat diperluas ke pernyataan di kotak strategi berikut. Bukti dari fakta ini
diminta dalam Latihan 10.