Fungrim home page

Fungrim entry: fd53ab

{γτ:τFandγPSL2(Z)}=H\left\{ \gamma \circ \tau : \tau \in \mathcal{F} \,\mathbin{\operatorname{and}}\, \gamma \in \operatorname{PSL}_2(\mathbb{Z}) \right\} = \mathbb{H}
TeX:
\left\{ \gamma \circ \tau : \tau \in \mathcal{F} \,\mathbin{\operatorname{and}}\, \gamma \in \operatorname{PSL}_2(\mathbb{Z}) \right\} = \mathbb{H}
Definitions:
Fungrim symbol Notation Short description
ModularGroupActionγτ\gamma \circ \tau Action of modular group
ModularGroupFundamentalDomainF\mathcal{F} Fundamental domain for action of the modular group
PSL2ZPSL2(Z)\operatorname{PSL}_2(\mathbb{Z}) Modular group (canonical representatives)
HHH\mathbb{H} Upper complex half-plane
Source code for this entry:
Entry(ID("fd53ab"),
    Formula(Equal(Set(ModularGroupAction(gamma, tau), For(Tuple(gamma, tau)), And(Element(tau, ModularGroupFundamentalDomain), Element(gamma, PSL2Z))), HH)))

Topics using this entry

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

2019-10-05 13:11:19.856591 UTC