群论

群论是抽象代数的一个分支，研究称为群的代数结构。群由一个集合及一个二元运算构成，满足封闭性、结合律、存在单位元和逆元。主要用途包括对称性分析、密码学、量子物理和晶体学。核心特点是将对称性概念形式化，可用于描述变换和置换。群论起源于19世纪初，伽罗瓦和阿贝尔在解决高次方程可解性问题时奠定了理论基础。凯莱、拉格朗日等数学家进一步完善了群的概念。