TEOREMA 3.

5 Kondisi Ekuivalen Untuk Sebuah Grub

Misalkan G adalah himpunan tak kosong yang tertutup di bawah operasi biner asosiatif
yang disebut perkalian. Maka G adalah grup jika dan hanya jika persamaan ax = b dan ya = b
memiliki solusi x dan y di G untuk semua pilihan a dan b di G.

P => (q ˄ r) Bukti. Asumsikan dulu bahwa G adalah grup, dan misalkan a dan b mewakili
elemen sembarang dari G. Sekarang a-l ada di G, begitu juga x = a -1b dan y = ba-1.
Dengan pilihan untuk x dan y ini, kita memiliki:

ax = a( a-1b ) = ( aa-1 ) b = eb = b
Dan
ya = ( ba-1 ) b = b ( aa-1 ) = be = b

jadi G berisi solusi x dan y ke ax = b dan ya = b

(q ˄ r) => P Misalkan sekarang persamaan selalu memiliki solusi di G. Pertama-tama kita

tunjukkan bahwa G memiliki elemen identitas. Misalkan a mewakili elemen
sembarang tetapi tetap di G. Persamaan ax = a memiliki solusi x = u di G. Akan
ditunjukkan bahwa u adalah identitas yang tepat untuk setiap elemen di G. Untuk
melakukan ini, biarkan b sewenang-wenang di G. Dengan solusi za untuk ya = b,

bu = ( za ) u = z ( au ) = za = b

Jadi u adalah identitas yang tepat untuk setiap elemen di G. Dengan cara yang sama, ada
elemen v di G sedemikian rupa sehingga vb = b untuk semua b di G. Maka vu = v, karena u
adalah identitas yang benar, dan vu = u, karena v adalah identitas kiri. Artinya, elemen e = u = v
adalah elemen identitas untuk G.

Sekarang untuk sembarang a dalam G, misalkan x adalah solusi untuk ax = e, dan

misalkan y adalah solusi untuk ya = e. Menggabungkan persamaan ini, Kita memiliki

x = ex
= yax
= ye
=y,
Dan x = y adalah invers dari a, ini mwmbuktikan bahwa G adalah grub.
 Dalam grup G, sifat asosiatif dapat diperluas ke produk yang melibatkan lebih dari tiga
faktor. Misalnya, jika a1, a2, a3, dan a4 adalah elemen dari G, maka penerapan kondisi 2 pada
Definisi 3.1 menghasilkan

[a1 (a2 a3)] a4 = [(a1 a2) a3] a4

dan
(a1 a2) (a3 a4) = [a1 (a2 a3)] a4

Kesetaraan ini menunjukkan (tetapi tidak sepenuhnya membuktikan) bahwa terlepas dari
bagaimana simbol pengelompokan diperkenalkan dalam produk a1, a2, a3, a4 , ekspresi yang
dihasilkan dapat disederhanakan menjadi

[a1 (a2 a3)] a4

Dengan memperhatikan pengamatan ini, kami membuat definisi berikut.

Definsi 3.6 Notasi Produk

Misalkan n bilangan bulat positif, n > 2. Untuk elemen a1, a2, . . . , a, dalam grup G,
ekspresi a1ɑ2 …. an didefinisikan secara rekursif oleh

a1ɑ2 …. ak ak+1 = (a1ɑ2 …. ak ) ak+1 untuk k  1

Sekarang kita dapat membuktikan generalisasi berikut dari sifat asosiatif.