First homology group of mapping class groups of nonorientable surfaces

1998-05-01
Recall that the first homology group H1(G) of a group G is the derived quotient G/[G, G]. The first homology groups of the mapping class groups of closed orientable surfaces are well known. Let F be a closed orientable surface of genus g. Recall that the extended mapping class group [Mscr ]*F of the surface F is the group of the isotopy classes of self-homeomorphisms of F. The mapping class group [Mscr ]F of F is the subgroup of [Mscr ]*F consisting of the isotopy classes of orientation-preserving self-homeomorphisms of F. It is well known that [Mscr ]F is trivial if F is a sphere. Hence the first homology group of the mapping class group of a sphere is trivial. If the genus of F is at least three, then H1([Mscr ]F) is again trivial. This result is due to Powell [P]. The group H1([Mscr ]F) is Z10 if the genus of F is two, proved by Mumford [Mu], and Z12 if F is a torus. When a problem about orientable surfaces is solved, it is natural to ask the corresponding problem for nonorientable surfaces. This is our motivation for the present paper.
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY

Suggestions

On abelian group actions with TNI-centralizers
Ercan, Gülin (2019-07-03)
A subgroup H of a group G is said to be a TNI-subgroup if for any Let A be an abelian group acting coprimely on the finite group G by automorphisms in such a way that for all is a solvable TNI-subgroup of G. We prove that G is a solvable group with Fitting length h(G) is at most . In particular whenever is nonnormal. Here, h(G) is the Fitting length of G and is the number of primes dividing A counted with multiplicities.
A GENERALIZED FIXED-POINT-FREE ACTION
Güloğlu, İsmail Şuayip; Ercan, Gülin (2013-05-01)
In this paper we study the structure of a finite group G admitting a solvable group A of automorphisms of coprime order so that for any x epsilon C-G(A) of prime order or of order 4, every conjugate of x in G is also contained in C-G(A). Under this hypothesis it is proven that the subgroup [G, A] is solvable. Also an upper bound for the nilpotent height of [G, A] in terms of the number of primes dividing the order of A is obtained in the case where A is abelian.
RELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY
Pamuk, Semra (2014-07-03)
Let G be a finite group and F be a family of subgroups of G closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative F-projective resolution for Z when F is the family of all subgroups HG with rkHrkG-1. We answer this question negatively by calculating the relative group cohomology FH*(G, ?(2)) where G = Z/2xZ/2 and F is the family of cyclic subgroups of G. To do this calculation we first observe that the relative group cohomology FH*(G, M) can be calc...
On the generating graphs of the symmetric and alternating groups
Erdem, Fuat; Ercan, Gülin; Maróti, Attila; Department of Mathematics (2018)
Dixon showed that the probability that a random pair of elements in the symmetric group $S_n$ generates $S_n$ or the alternating group $A_n$ tends to $1$ as $n to infty$. (A generalization of this result was given by Babai and Hayes.) The generating graph $Gamma(G)$ of a finite group $G$ is defined to be the simple graph on the set of non-identity elements of $G$ with the property that two elements are connected by and edge if and only if they generate $G$. The purpose of this thesis is to study the graphs ...
On local finiteness of periodic residually finite groups
Kuzucouoglu, M; Shumyatsky, P (2002-10-01)
Let G be a periodic residually finite group containing a nilpotent subgroup A such that C-G (A) is finite. We show that if [A, A(g)] is finite for any g is an element of G, then G is locally finite.
Citation Formats
M. Korkmaz, “First homology group of mapping class groups of nonorientable surfaces,” MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, pp. 487–499, 1998, Accessed: 00, 2021. [Online]. Available: https://hdl.handle.net/11511/88720.