1: \begin{abstract}\leavevmode\kern.7em

2: Garoufalidis and Levine introduced the homology cobordism group of

3: homology cylinders over a surface.  This group can be regarded as an

4: enlargement of the mapping class group.  Using torsion invariants,

5: we show that the abelianization of this group is infinitely

6: generated provided that the first Betti number of the surface is

7: positive.  In particular, this shows that the group is not perfect.

8: This answers questions of Garoufalidis-Levine and Goda-Sakasai.

9: Furthermore we show that the abelianization of the group has

10: infinite rank for the case that the surface has more than one

11: boundary component.  These results hold for the homology cylinder

12: analogue of the Torelli group as well.

13: \end{abstract}

14: