::::群公理的简单结论.可以从群公理直接获得的关于所有群的基本事实，通常包含在初等群论中。例如，重复应用结合律公理，可以证明以下等式可以推广到多于三个因子。因为这意味着括号可以插入到一序列的项的任何地方，所以通常省略括号。公理可以弱化为只宣称左单位元和左逆元的存在性。二者可以被证明实际上是双侧的，所以得出的定义与上面给出的等价。
单位元和逆元的唯一性.群公理的两个重要结果是单位元和逆元的唯一性。在群中只能有一个单位元，而群中的每个元素都正好有一个逆元素。要证明"a"的