Fungrim home page

Fungrim entry: 094772

Symbol: SL2Z SL2(Z)\operatorname{SL}_2(\mathbb{Z}) Modular group
Whether SL2(Z)\operatorname{SL}_2(\mathbb{Z}) or PSL2(Z)\operatorname{PSL}_2(\mathbb{Z}) should be called "the modular group" is an arbitrary convention. Here we allow any element of SL2(Z)\operatorname{SL}_2(\mathbb{Z}) to represent an element of the modular group, but we use PSL2(Z)\operatorname{PSL}_2(\mathbb{Z}) when uniqueness is desired.
Definitions:
Fungrim symbol Notation Short description
SL2ZSL2(Z)\operatorname{SL}_2(\mathbb{Z}) Modular group
PSL2ZPSL2(Z)\operatorname{PSL}_2(\mathbb{Z}) Modular group (canonical representatives)
Source code for this entry:
Entry(ID("094772"),
    SymbolDefinition(SL2Z, SL2Z, "Modular group"),
    Description("Whether", SL2Z, "or", PSL2Z, "should be called \"the modular group\" is an arbitrary convention. Here we allow any element of", SL2Z, "to represent an element of the modular group, but we use", PSL2Z, "when uniqueness is desired."))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC