在数学中,算术群是一种群,它是由代数群的整数点所导出。一个典型的例子是 S L 2 ( Z ) {\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )} 。
算术群在研究二次型的算术性质以及数论中其他经典课题时自然而然地出现。它们也产生了非常有趣的黎曼流形实例,因此是微分几何和拓扑学关注的对象。最终,这两个领域在自守形式(automorphic forms)理论中汇合,而自守形式理论是现代数论的基石。