Farmer and James
(see [CF99] and [FJ02])
verified that the characteristic polynomials of a
very impressive range of Hecke operators
on level one modular forms are irreducible.
Problem 1.3.1
Greatly extend the range of computation carried out by Farmer and James.
For example, verify that
acts irreducibly on
for all
.