So in particular, C is a direct sum of finitely many HE stable subspaces, C(J), with the maximal ideal J acting locally nilpotently on C(J).(One case of interest is when J=Ann(F), the annihilator of F in HE. This ideal contains T_p for all primes p other than 2 or N. When N=3,5, or 7, I am informed that Ann(F) is the only maximal ideal that appears, so that C=C(J).)