Fungrim home page

Fungrim entry: fd53ab

{γτ:τF  and  γPSL2(Z)}=H\left\{ \gamma \circ \tau : \tau \in \mathcal{F} \;\mathbin{\operatorname{and}}\; \gamma \in \operatorname{PSL}_2(\mathbb{Z}) \right\} = \mathbb{H}
\left\{ \gamma \circ \tau : \tau \in \mathcal{F} \;\mathbin{\operatorname{and}}\; \gamma \in \operatorname{PSL}_2(\mathbb{Z}) \right\} = \mathbb{H}
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:
    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.

2021-03-15 19:12:00.328586 UTC