= Solution
A <modular function> of weight $k$ and level $\Gamma(1)$ is a <meromorphic function> $f:\mathfrak h\to\mathbb C$ satisfying
$$
f(\gamma\tau)=(c\tau+d)^k f(\tau)
$$
for every $\gamma=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in\Gamma(1)$, and having a meromorphic Fourier expansion at the cusp infinity. Equivalently, $f|_k\gamma=f$ for the <slash operator for modular forms>.
A <modular form> is a modular function that is <holomorphic function>[holomorphic] on $\mathfrak h$ and <holomorphic at a cusp>[holomorphic at infinity]. Its Fourier expansion therefore has the form
$$
f(\tau)=\sum_{n\geq0}a_nq^n,
\qquad q=e^{2\pi i\tau}.
$$
Since $-I\in\Gamma(1)$, a nonzero level-one form must have even weight.
Back to article page
