Carmelo Vaccaro. Algorithmic and combinatorial methods for enumerating the relators of a group presentation
Natural Sciences / Mathematics / Statistics
Submitted on: Jul 06, 2012, 02:50:22
Description: The main achievement of this thesis is an algorithm which given a finite group presentation and natural numbers n and k, computes all the relators of length and area up to n and k respectively. The complexity of this algorithm is better by a factor which is over-exponential than that of classical methods using van Kampen diagrams.