SUBGRUP

Definisi Subgrup

Misal himpunan 𝐴 tak kosong bersamaan operasi biner (𝐴,∗) dan himpunan tak kosong
𝐵 ⊆ 𝐴. Himpunan 𝐵 dikatakan subgrup dari 𝐴 apabila 𝐵 juga merupakan grup terhadap
operasi biner * yang sama pada grup 𝐴, diberi notasi 𝐴 ≤ 𝐵.

Diagram Venn:
𝐴

Himpunan bagian 𝐵 = {𝑒} dan 𝐻 = 𝐺 selalu merupakan subgrup dari grup 𝐴 disebut
subgrup trivial, sedangkan elemen 𝐵 ⊆ 𝐴 selain 𝑒 disebut subgrup nontrivial.

Teorema 3.9

A subset 𝐵 dari grup 𝐴 adalah subgrup 𝐴 jika dan hanya jika kondisi ini dipenuhi:

a. 𝐵 adalah himpunan tak kosong

b. 𝑥 ∈ 𝐵 dan 𝑦 ∈ 𝐵 berarti 𝑥𝑦 ∈ 𝐵, dan
c. 𝑥 ∈ 𝐵 tersirat 𝑥 −1 ∈ 𝐵

Teorema 3.10

A subset 𝐵 dari grup 𝐴 adalah subgrup 𝐴 jika dan hanya jika

a. 𝐵 adalah himpunan tak kosong, dan

b. 𝑥 ∈ 𝐵 dan 𝑦 ∈ 𝐵 berarti 𝑥𝑦 −1 ∈ 𝐵

Bukti Teorema 3.9

Jika 𝐵 adalah subgrup 𝐴 sesuai dengan definisi subgrup. Misalkan bahwa 𝐵 himpunan bagian
dari 𝐴 yang memenuhi syarat. 𝐵 adalah himpunan tak kosong, setidaknya ada satu 𝑥 ∈ 𝐵
(kondisi a). Dengan kondisi c, 𝑥 −1 ∈ 𝐵. Tapi 𝑥 ∈ 𝐵 dan 𝑥 −1 ∈ 𝐵berarti 𝑥𝑥 −1 = 𝑒 ∈ 𝐵,
dengan kondisi b. Dengan demikian 𝐵 berisi 𝑒, tertutup, dan berisi invers. Oleh karenanya 𝐵
adalah subgrup.

Bukti Teorema 3.10

Asumsikan 𝐵 adalah subgrup 𝐴. Maka 𝐵 himpunan tak kosong dimana 𝑒 ∈ 𝐵. Biarkan 𝑥 ∈ 𝐵

dan 𝑦 ∈ 𝐵. Kemudian 𝑦 −1 ∈ 𝐵, 𝐵 berisi invers. 𝑥 ∈ 𝐵 dan 𝑦 −1 ∈ 𝐵, 𝑥𝑦 −1 ∈ 𝐵 karena 𝐵
tertutup. Dengan demikian a dan b terpenuhi.