群
定义
公理
表述
结合律
\(\forall a,b,c \in G, (a \cdot b) \cdot c = a \cdot (b \cdot c)\)
单位元
\(\exists e \in G, \forall a \in G, e \cdot a = a \cdot e = a\)
逆元
\(\forall a \in G, \exists b \in G, a \cdot b = b \cdot a = e\)
1
\(b\)
通常记作
\(a^{-1}\)
，
\(e\)
是单位元。
↩︎