群是代数学中最基本的代数结构，群论也是抽象代数中最基础的一部分。 群是带有某种二元运算的集合，并且该运算满足一定的条件。