其中,二元运算结合任何兩個元素a和b而形成另一個元素,记為a·b,符號"·"是具體的運算,比如整數加法。 群公理所述的四个性质为: 1. 封閉性: 對于所有G中a, b,運算a·b的結果也在G中。b[›] 2. 結合律: 對于所有G中的a, b和c,等式 (a·b)·c = a· (b·c)成立。 3. 單位元: 存在G中的一個元素