Fungrim entry: 441301

\# \mathop{\operatorname{solutions}\,}\limits_{\tau \in \mathcal{F}} \left[j(\tau) = z\right] = 1

Assumptions:

z \in \mathbb{C}

TeX:

\# \mathop{\operatorname{solutions}\,}\limits_{\tau \in \mathcal{F}} \left[j(\tau) = z\right] = 1

z \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`Cardinality`	$\# S$	Set cardinality
`Solutions`	$\mathop{\operatorname{solutions}\,}\limits_{x \in S} Q(x)$	Solution set
`ModularJ`	$j(\tau)$	Modular j-invariant
`ModularGroupFundamentalDomain`	$\mathcal{F}$	Fundamental domain for action of the modular group
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("441301"),
    Formula(Equal(Cardinality(Solutions(Brackets(Equal(ModularJ(tau), z)), ForElement(tau, ModularGroupFundamentalDomain))), 1)),
    Variables(z),
    Assumptions(Element(z, CC)))

Topics using this entry

Modular j-invariant

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