e & a & b & c \\ a & e & c & b \\ b & c & e & a \\ c & b & a & e \end{matrix}$$ $G=<S, *>$ 称为 Klein 四元群. - 满足交换律; - 每个元素都是自己的逆元; - 任何两个元素运算结果都等于剩下的第三个元素.