SMS scnews item created by Bill Unger at Mon 29 Oct 2012 1819
Type: Seminar
Distribution: World
Expiry: 1 Nov 2012
Calendar1: 1 Nov 2012 1505-1600
CalLoc1: Carslaw 535A
Auth: billu@daumier.maths.usyd.edu.au

Computational Algebra Seminar: Kirschmer -- The explicit membership problem for discrete free subgroup of PSL(2,R)

Speaker: Markus Kirschmer
Title: The explicit membership problem for discrete free subgroup of PSL(2,R)
Time & Place: 3:05-4pm, Thursday 1 November, Carslaw 535

Abstract:
Computing with matrix groups over infinite rings is much more complicated then
working with matrix groups over finite fields.

For example, the membership problem is undecidable in general.

However, for subgroups of \PSL(2, \R) the situation is much better since we have
geometric methods at hand.


In this talk, we will recall Rosenberger’s classification of the discrete free
subgroups G = < A, B> of \PSL(2,\R).
Further, we will discuss how to solve the membership problem for such a group G
constructively.
This is joint work with B. Eick and C. Leedham-Green.