Mathematics – Group Theory
Scientific paper
2011-04-28
Groups - Complexity - Cryptology. Volume 3, Issue 2, Pages 187-220, December 2011
Mathematics
Group Theory
21 pages, 0 figures
Scientific paper
10.1515/GCC.2011.007
Let g and p be non-negative integers. Let A(g,p) denote the group consisting of all those automorphisms of the free group on {t_1,...,t_p, x_1,...,x_g, y_1,...y_g} which fix the element t_1t_2...t_p[x_1,y_1]...[x_g,y_g] and permute the set of conjugacy classes {[t_1],....,[t_p]}. Labru\`ere and Paris, building on work of Artin, Magnus, Dehn, Nielsen, Lickorish, Zieschang, Birman, Humphries, and others, showed that A(g,p) is generated by a set that is called the ADLH set. We use methods of Zieschang and McCool to give a self-contained, algebraic proof of this result. Labru\`ere and Paris also gave defining relations for the ADLH set in A(g,p); we do not know an algebraic proof of this for g > 1. Consider an orientable surface S(g,p) of genus g with p punctures, such that (g,p) is not (0,0) or (0,1). The algebraic mapping-class group of S(g,p), denoted M(g,p), is defined as the group of all those outer automorphisms of the one-relator group with generating set {t_1,...,t_p, x_1,...,x_g, y_1,...y_g} and relator t_1t_2...t_p[x_1,y_1]...[x_g,y_g] which permute the set of conjugacy classes {[t_1],....,[t_p]}. It now follows from a result of Nielsen that M(g,p) is generated by the image of the ADLH set together with a reflection. This gives a new way of seeing that M(g,p) equals the (topological) mapping-class group of S(g,p), along lines suggested by Magnus, Karrass, and Solitar in 1966.
Bacardit Lluis
Dicks Warren
No associations
LandOfFree
The Zieschang-McCool method for generating algebraic mapping-class groups does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Zieschang-McCool method for generating algebraic mapping-class groups, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Zieschang-McCool method for generating algebraic mapping-class groups will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-450697