Abstract. After Zagier proved that the traces of singular moduli are Fourier coecients of a
weakly holomorphic modular form, various arithmetic properties of the traces of singular values
of modular functions mostly on the full modular group have been found. The purpose of this
paper is to generalize the results for modular functions on congruence subgroups with arbitrary
level