Pakistan Research Repository Home

Title of Thesis

Zafar Ali
Institute/University/Department Details
University of the Punjab
No date
Number of Pages
Keywords (Extracted from title, table of contents and abstract of thesis)
pointed groups, finite basis problem, sheila oates macdonald, homomorphism, variable laws, nilpotent pointed-group, metabelian pointed-group

A pointed-group is an ordered pair (G,C) where G is a group and c is a specific element of G. Thus a pointed-group is a group together with a distinguished element. Pointed- groups may be regarded as a particular type of universal algebras.

The object of the thesis is to generalize ideas and results concerning varieties of groups to varieties of pointed-groups. For example, a law of a pointed-group (G,C) is a word w in the variables y, x1 x2 ‚€¶.such that w takes the value 1 whenever c is substituted for y and arbitrary elements of G are substituted for xl, x2‚€¶.

The principal topic studied is the finite basis question, which asks if the laws of (G,C) are all consequences of some finite set of laws. We prove that the laws of (G,C) are finitely based if G is either nilpotent or metabelian, thereby generalizing theorems of R.C. Lyndon and D.E. Cohn.

However, the main reasons for studying laws of pointed-groups is to provide a test case for a conjecture of Sheila Oates Macdonald which states that if V is any variety of universal algebras whose congruence lattices are modular, then every finite algebra in y has a finite basis for its laws.

One well-known instance is a theorem of Sheila Oates and M.B. Powell, which states that the laws of every finite group are finitely based. It is not difficult to see that the congruence lattice of any pointed-group is modular, therefore, we are led to the study of pointed-groups (G,C) where G is a finite group. In this case we prove that the laws of (G,C) are finitely based, under additional assumptions on G, for example that the Sylow sub groups of G are abelian. However, we have been able to prove that this is not always true. As we have found a finite pointed-group whose set of laws has not a finite basis thereby the generalization of the theorem of Sheila Oates and M.B. Powell to finite pointed-groups is false and thereby providing a counter example to the conjecture of Sheila Oates Macdonald to be false

Download Full Thesis
915.32 KB
S. No. Chapter Title of the Chapters Page Size (KB)
1 00 Contents
47.11 KB
2 0 Preliminaries
61.07 KB
  0.1 General Note
  0.2 Varieties Of Groups (Basic Facts And Definitions)
3 1 Structure Of Pointed-Groups
119.02 KB
  1.1 Definitions And Notation
  1.2 Cartesian Products
  1.3 Pointed-Group Homomorphism
  1.4 Image And Kernel
  1.5 Admissible Closure And Closure
  1.6 Free Pointed-Groups
4 2 Laws In A Pointed-Group
164.91 KB
  2.1 Words And Laws
  2.2 Varieties Of Pointed-Groups
  2.3 Birkhoff‚€™s Theorem
  2.4 Intersection And Join Varieties Of Pointed-Groups
  2.5 Then-Variable Laws Of A Pointed-Group Variety
5 3 Some Finitely Based Varieties Of Pointed-Groups
142.63 KB
  3.1 Nilpotent Pointed-Group Varieties
  3.2 Finite Basis For The Laws Of Nilpotent Pointed-Group Variety
  3.3 Metabelian Pointed-Group Varieties
  3.4 Finite Basis For The Laws Of Metabelian Pointed-Group Variety
6 4 On The Laws Of Finite Pointed-Group
225.02 KB
  4.1 Introduction
  4.2 Some Finitely Based Varieties Of Groups
  4.3 The Laws Of Some Finite Pointed-Group
7 5 On The Laws Of A Finite Pointed-Group Which Has No Finite Basis
139.08 KB
  5.1 Introduction
  5.2 The Example