Algebra seminar by Colva Roney-Dougal

Charlotte Scott Centre for Algebra

On Wednesday the 20th of November, Colva Roney-Dougal (University of St Andrews) will be visiting the Charlotte Scott Centre for Algebra and giving a talk at 4.30pm in INB3305. The details of her talk are as follows:

Title: Polynomial-time proofs that groups are hyperbolic.

Abstract: A finitely-presented group G is hyperbolic if there is a linear bound on the number of relators required to prove that a word of length n is equal to the identity in G. The word problem in a group that is known to be hyperbolic is solvable in linear time. However, it is undecidable in general whether a group is, in fact, hyperbolic.

This talk will present some efficient, low-degree polynomial-time procedures which seek to prove that a given finitely-presented group is hyperbolic. If successful, they can also often construct, in low-degree polynomial time, a linear time word problem solver and a quadratic time…

View original post 19 more words

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

© School of Mathematics and Physics, University of Lincoln, Brayford Pool, Lincoln, LN6 7TS, United Kingdom
%d bloggers like this: