The application of pictures to decision problems and relative presentations

Ahmad, Abdul Ghafur Bin (1995) The application of pictures to decision problems and relative presentations. PhD thesis, University of Glasgow.

Full text available as:
[thumbnail of 1995AhmadPhD.pdf] PDF
Download (4MB)
Printed Thesis Information: https://eleanor.lib.gla.ac.uk/record=b1477228

Abstract

Regard the presentation P =< x; r > as a 2-complex. Then we have the second homotopy module 2(P). The elements of 2(P) can be represented by spherical pictures. This is the key idea for this thesis. We give this preliminary background in Chapter 1.

In Chapter 2, we study properties of groups concerning 2 (P). We show that all these properties are recursively unsolvable, that is, there are no effective methods which can be applied to an arbitrary finite presentation P to determine whether or not groups have these properties. Our main results are Theorems 2.3.1 and 2.3.2, that is, that p-Cockcroft and efficiency are recursively unsolvable.

Let P be a collection of spherical pictures over P. Then we may form a 3-complex K =< x, r; P >. In Chapter 3 we establish the picture problem for K-the analogue of the word problem for P, a dimension higher. We prove Theorem 3.1.1.-the existence of K with unsolvable picture problem.

From now onwards, we deal with relative presentations. We are interested in investigating the asphericity of P =< H,t;th1th2th3t-1h4 > (hi H). In Chapter 4, we survey the basic concepts, the important theorems for relative presentations and the tests for asphericity.

The first major case that we consider is < H,t;t3at-1b > where a and b are non-trivial elements of H. We investigate asphericity of this form in Chapter 5. Excluding some exceptions that are not yet decided, we state our results in Theorems 5.1.1 and 5.2.1.

In Chapter 6, we consider the second major case- < H,t;t2atbt-1c > where a, b and c are non-trivial elements of H. As in Chapter 5, we have some exceptions and we state our results in Theorems 6.1.1, 6.2.1, 6.3.1 and 6.4.1.

Item Type: Thesis (PhD)
Qualification Level: Doctoral
Subjects: Q Science > QA Mathematics
Colleges/Schools: College of Medical Veterinary and Life Sciences
Supervisor's Name: Pride, Prof. S.J.
Date of Award: 1995
Depositing User: Angi Shields
Unique ID: glathesis:1995-3921
Copyright: Copyright of this thesis is held by the author.
Date Deposited: 29 Jan 2013 14:41
Last Modified: 29 Jan 2013 14:41
URI: https://theses.gla.ac.uk/id/eprint/3921

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year