Integral Hecke algebra of level-one cusp forms ($\mathbb{T}\subseteq \mathrm{End}(S_k(\Gamma (1)))$)

This is the subring generated by the Hecke operators $T_n$ and the integer scalars acting on level-one cusp forms. It preserves the lattice of cusp forms with integral Fourier coefficients of a composite-index Hecke operator. It is distinct from the generic Hecke algebra attached to a Coxeter system.

The pairing $(T,f)\mapsto a_1(Tf)$ identifies the integral Hecke algebra of level-one cusp forms with the integral dual of the cusp-form lattice. An integral basis beginning $q,q^2,\dots ,q^m$ gives a unitriangular first-$m$ coefficient matrix, so $a_1,\dots ,a_m$ form a dual basis. Commutativity of the Hecke operators proves nondegeneracy on the algebra, and $T_1,\dots ,T_m$ then form its integral basis.