... (G, °), (a -1 ) -1 = a Chứng minh: Ta có a -1 ° a = e, đến kết luận dựa vào định lý 1.1.4 Định lý 1.1.7: Với ∀a, b∈ (G, °), (a ° b )-1 = b -1 ° a -1 Chứng minh: Ta có (a ° b) ° (b -1 ° a -1 ) = a ° ... a ° y thì: o a -1 ° (a ° x) = a -1 ° (a ° y) o (a -1 ° a) ° x = (a -1 ° a) ° y o e°x=e°y ⇒x=y Nếu x ° a = y ° a o (x ° a) ° a -1 = (y ° a) ° a -1 o x ° (a ° a -1 ) = y ° (a ° a -1 ) o x°e=y°e ⇒x=y ... trường Trong tình chúng gọi cấu trúc đại số (algebraic structure) Định nghĩa 1.3.3 (Cấu trúc đại số) Cấu trúc đại số gọi hữu hạn, bao gồm số lượng hữu hạn phần tử Số lượng phần tử cấu trúc hữu hạn...