University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Algorithms for matrix groups II

Algorithms for matrix groups II

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact info@newton.ac.uk.

GRAW01 - Introductory/instructional workshop

Most first-generation algorithms for matrix groups defined over
finite fields rely on variations of the Schreier-Sims algorithm,
and exploit the action of the group on an set of vectors or subspaces
of the underlying vector space. Hence they face serious practical limitations.

Over the past 25 years, much progress has been achieved on
developing new algorithms to study such groups.
Relying on a generalization of Aschbacher's theorem
about maximal subgroups of classical groups,
they exploit geometry arising from the natural action
of the group on its underlying vector space to
identify useful homomorphisms. Recursive application of these
techniques to image and kernel now essentially allow us to
construct in polynomial time the composition factors
of the linear group. Using the notion of standard generators,
we can realise effective isomorphisms between a final simple group
and its “standard copy”.

In these lectures we will discuss the “composition tree” algorithm
which realises these ideas; and the “soluble radical model” which
exploits them to answer structural questions about the input group.

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity