SMS scnews item created by Bill Unger at Wed 24 Jan 2007 1459
Type: Seminar
Distribution: World
Expiry: 25 Jan 2007
Calendar1: 25 Jan 2007 1400-1500
CalLoc1: Carslaw 535

Computational Algebra Seminar: Brooksbank -- Constructive recognition of simple groups

Speaker: Peter Brooksbank (Bucknell)
Title: Constructive recognition of simple groups
Time & Place: 2-3pm, Thursday 25 January, Carslaw 535

Given a finite group $G$, known to be isomorphic to a simple
group $H$ (we regard $H$ is the {\em standard copy} of the simple
group), we consider the algorithmic problem of writing down an explicit
isomorphism from $H$ to $G$. This problem, known as the {\em
constructive recognition problem}, has important applications to several
other algorithmic problems of current interest. Among these are the
problem of constructing a composition series for a finite matrix group,
and constructing the maximal subgroups of a permutation group.

In this talk I will give a more precise definition of a constructive
recognition algorithm and indicate how such algorithms are applied to
the problems mentioned above. I will also outline some of the
algorithmic difficulties one is confronted with when devising such

ball Calendar (ICS file) download, for import into your favourite calendar application
ball UNCLUTTER for printing
ball AUTHENTICATE to mark the scnews item as read
School members may try to .