模群(modular group):数学中的一个重要群,通常指由整数系数的线性分式变换组成、作用在复平面上半平面(upper half-plane)上的群;最常见的定义是
[
PSL(2,\mathbb{Z}) = SL(2,\mathbb{Z})/{\pm I},
]
它在数论、模形式、椭圆曲线与双曲几何中非常核心。(在某些语境下也可能泛指“模运算相关的群”,但最常用的是上述特指。)
/ˈmɑːdʒələr ɡruːp/
The modular group is often written as (PSL(2,\mathbb{Z})).
模群通常记作 (PSL(2,\mathbb{Z}))。
The action of the modular group on the upper half-plane produces a rich tessellation that connects geometry with modular forms.
模群在上半平面上的作用会产生丰富的铺砌结构,把几何与模形式联系起来。
modular 来自 module(“模、模数/模块”),与“按某个模(modulus)进行的结构或运算”有关;在数学中 modular 常与“模形式(modular forms)/模函数(modular functions)”相关。group 来自“群”的一般含义,在近现代数学中专指满足封闭性、结合律、单位元与逆元等性质的代数结构。因此 modular group 字面上是“与模(modular)对象相关的群”,历史上逐渐固定为指 (PSL(2,\mathbb{Z})) 这一经典对象。