Fungrim home page

Fungrim entry: 441301

#solutionsτF[j(τ)=z]=1\# \mathop{\operatorname{solutions}\,}\limits_{\tau \in \mathcal{F}} \left[j(\tau) = z\right] = 1
Assumptions:zCz \in \mathbb{C}
\# \mathop{\operatorname{solutions}\,}\limits_{\tau \in \mathcal{F}} \left[j(\tau) = z\right] = 1

z \in \mathbb{C}
Fungrim symbol Notation Short description
Cardinality#S\# S Set cardinality
SolutionssolutionsxSQ(x)\mathop{\operatorname{solutions}\,}\limits_{x \in S} Q(x) Solution set
ModularJj(τ)j(\tau) Modular j-invariant
ModularGroupFundamentalDomainF\mathcal{F} Fundamental domain for action of the modular group
CCC\mathbb{C} Complex numbers
Source code for this entry:
    Formula(Equal(Cardinality(Solutions(Brackets(Equal(ModularJ(tau), z)), ForElement(tau, ModularGroupFundamentalDomain))), 1)),
    Assumptions(Element(z, CC)))

Topics using this entry

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

2020-08-27 09:56:25.682319 UTC