|
|||||
|
|
|
|
|
|
|
|
|
Order automatic
mapping class groups
Colin Rourke and Bert Wiest |
|
Vol. 194 (2000), No. 1, 209–227
|
Abstract |
|
We prove that the mapping class group of a compact surface with a finite number of punctures and non-empty boundary is order automatic. More precisely, the group is right-orderable, has an automatic structure as described by Mosher, and there exists a finite state automaton that decides, given the Mosher normal forms of two elements of the group, which of them represents the larger element of the group. Moreover, the decision takes linear time in the length of the normal forms. |
Milestones
Received: 9 March 1998
Published: 1 May 2000
|
Authors |
| Colin Rourke | |
| Mathematics Institute University of Warwick Coventry, CV4 7AL United Kingdom |
|
| Bert Wiest | |
| University of British Columbia Vancouver BC, V6T 1Z2 Canada |
|
|
