Csaba Schneider (CAUL, Universidade de Lisboa, Portugal)
17/02/2012 Sexta-feira, 17 de Fevereiro de 2012, 14h30m, Anfiteatro
Instituto para a Investigação Interdisciplinar da Universidade de Lisboa
Constructive membership testing in classical groups
Computational matrix group theory has been the fastest growing area of computational group theory during the last 20 years. Efficient computations in finite matrix groups require that we are able to solve some basic tasks in groups generated by a finite set of matrices over a finite field. One of these tasks is known as the "Constructive Membership Testing Problem" that requires that we write an arbitrary element of a quasisimple matrix group as a product of its generators.
I will present several approaches to solve this problem. The implementations of the existing algorithms are written in Magma and I will also show how these implementations perform in practice.