THE HOMOLOGY OF THE MAPPING CLASS GROUP

(1.2) H*{BTg:A) = H*(Mg:Q). In this paper we will show that M g , BTg, and BΌiϊl +(Sg) get more and more complicated as the genus g tends to infinity. More precisely, we will prove: Theorem 1.1. Let Q[z2, z4, z6, ] denote the polynomial algebra of generators z2n in dimension In, n = 1,2,3, . There are classes y2, y4, , y2n, '* with y2n in the 2nth cohomology group H 2n(BΌiίί+(Sg)\ Z) such that the homomorphism of algebras sending z2n toy2n