“Definisi Grup”
𝑎 𝑏 𝑒 𝑓
Ambil sebarang A, 𝐵 ∈ 𝑀 dimana 𝐴 = dan B= perhatikan
𝑐 𝑑 𝑔 ℎ
bahwa:
𝑎 𝑏 𝑒 𝑓 𝑎+𝑒 𝑏+𝑓
𝐴+𝐵 = + =
𝑐 𝑑 𝑔 ℎ 𝑐+𝑔 𝑑+ℎ
Karena 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔, ℎ ∈ 𝑄 maka 𝑎 + 𝑒, 𝑏 + 𝑓, 𝑐 + 𝑔, 𝑑 + ℎ ∈ 𝑄
Dengan demikian,
∀𝐴, 𝐵 ∈ 𝑀 ∋ 𝐴 + 𝐵 ∈ 𝑄
∴ (𝑀, +) tertutup
𝑎 𝑏 𝑒 𝑓 𝑖 𝑗
Ambil sebarang A, 𝐵, 𝐶 ∈ 𝑀 dimana 𝐴 = ,B= ,𝐶 = perhatikan bahwa
𝑐 𝑑 𝑔 ℎ 𝑘 𝑙
𝑎 𝑏 𝑒 𝑓 𝑖 𝑗 𝑎+𝑒 𝑏+𝑓 𝑖 𝑗
𝐴+𝐵 +𝐶 = + + = +
𝑐 𝑑 𝑔 ℎ 𝑘 𝑙 𝑐+𝑔 𝑑+ℎ 𝑘 𝑙
(𝑎 + 𝑒) + 𝑖 (𝑏 + 𝑓) + 𝑗 𝑎 + (𝑒 + 𝑖) 𝑏 + (𝑓 + 𝑗)
= =
(𝑐 + 𝑔) + 𝑘 (𝑑 + ℎ) + 𝑙 𝑐 + (𝑔 + 𝑘) 𝑑 + (ℎ + 𝑙)
𝑎 𝑏 𝑒+𝑖 𝑓+𝑗 𝑎 𝑏 𝑒 𝑓 𝑖 𝑗
= + = + +
𝑐 𝑑 𝑔+𝑘 ℎ+𝑙 𝑐 𝑑 𝑔 ℎ 𝑘 𝑙
= 𝐴 + (𝐵 + 𝐶)
Dengan demikian,
∀𝐴, 𝐵, 𝐶 ∈ 𝑀 ∋ 𝐴 + 𝐵 + 𝐶 = 𝐴(𝐵 + 𝐶) ∈ 𝑀
∴ 𝑀, + 𝑎𝑠𝑜𝑠𝑖𝑎𝑡𝑖𝑓
𝑎 𝑏
Ambil sebarang 𝐴 = ∈ 𝑀, perhatikan bahwa:
𝑐 𝑑
𝐴+𝐸 =𝐴
𝑎 𝑏 𝑎 𝑏
+𝐸 =
𝑐 𝑑 𝑐 𝑑
𝑎 𝑏 𝑎 𝑏
𝐸 = −
𝑐 𝑑 𝑐 𝑑
0 0
𝐸 = .... ∈ 𝑀
0 0
0 0
Dengan demikian, ∃𝐸= ∈ 𝑀, ∀𝐴 ∈ 𝑀 ∋ 𝐴 + 𝐸 = 𝐴
0 0
∴ (𝑀, +) mempunyai elemen identitas
𝑎 𝑏 0 0
Ambil sebarang 𝐴 = ∈ 𝑀, dan 𝐸= perhatikan bahwa:
𝑐 𝑑 0 0
𝐴 + 𝐴−1 =𝐸
𝑎 𝑏 0 0
+ 𝐴−1 =
𝑐 𝑑 0 0
0 0 𝑎 𝑏
𝐴−1 = −
0 0 𝑐 𝑑
−𝑎 −𝑏
𝐴−1 = .... ∈ 𝑀
−𝑐 −𝑑
−𝑎 −𝑏
Dengan demikian,, ∀𝐴 ∈, ∃𝐴−1 = ∈ 𝑀 ∋ 𝐴 + 𝐴−1 = 𝐸
−𝑐 −𝑑
∴ (𝑀, +) mempunyai elemen invers
𝑎 𝑏
Karena (𝑀, +) yang didefiniskan 𝑀 = 𝑎, 𝑏, 𝑐, 𝑑 ∈ 𝑄}
𝑐 𝑑
berlaku tertutup, asosiatif, mempunyai elemen identitas dan mempunyai
elemen invers maka (𝑀, +) merupakan grup.