群是什么？裴蜀定理又是什么？它们和 ElGamal 算法又有什么千丝万缕的联系？