Welcome to my St Andrews homepage. This page is under construction (and probably always will be!)
I am a halftime Professor in the School of Mathematics and Statistics at the University of St Andrews, and an Emeritus Professor of Mathematics at Queen Mary, University of London. In addition, I am an associate researcher at CEMAT, University of Lisbon, Portugal.
I am a Fellow of the Royal Society of Edinburgh.
About me
On this site

Elsewhere

At present I have a number of ongoing research projects on graphs defined on algebraic structures, mostly with colleagues in India.
For which groups is the power graph a cograph? The power graph of a group G has vertex set G and an edge from x to y if one is a power of the other. A cograph is a graph with no induced 4vertex path. This question generalises the classification of groups in which every element has prime power order, first posed by Graham Higman in the 1950s. With Pallabi Manna and Ranjit Mehatari, I have made some progress on this. The class of groups in question is subgroupclosed; we have determined the nilpotent groups and the simple groups in the class, and have a partial description of the soluble groups.
Super graphs For various classes of graphs defined on groups, and various natural partitions on groups, such as "conjugacy" or "same order", one can define a graph in which x and y are joined if some elements in their equivalence classes are joined in the original graph. We (G. Arunkumar, Rajat Kanti Nath and Lavanya Selvaganesh) call these names on the pattern "conjugacy superpower graphs". Among a variety of results, we have shown that the conjugacy supercommuting graph coincides with the commuting graph if and only if the group is 2Engel, that is, satisfies the identity [[y,x],x] = 1; while the groups for which the conjugacy superpower graph is equal to the power graph are just the Dedekind groups (those with all subgroups normal).
Commuting graphs Which pairs of groups have isomorphic commuting graphs? With Vikraman Arvind, I have examined this question. If two groups of the same order are isoclinic, then their commuting graphs are isomorphic. The converse is false, but we think it may be true for nilpotent groups of class 2; we can prove this in some cases.
Universality of zero divisor graphs of rings Rings here are finite commutative with identity; the zero divisor graph has vertices the zero divisors, two vertices joined if their product is 0. We (G. Arunkumar, T. Tamizh Chelvam abd T. Kavaskar) have shown that, for various classes of rings, the zero divisor graphs are universal, that is, contain every finite graph as an induced subgraph. There are some interesting classes where this is not true, for example, local rings whose maximal ideal is principal: the zero divisor graph is a threshold graph (and is universal for such graphs).
Other work I already mentioned the work with Swathi V. V. and M. S. Sunita on matchings: one of our striking results is that the matching numbers of the power graph and enhanced power graph of a finite group are equal, even though we cannot say what the value is in all cases. Also, with R. Raveendra Prathap and T. Tamizh Chelvam, we have generalised the prime sum graph of a finite abelian group to the "subgroup sum graph", and investigated its properties.
Old research snapshots are kept here.
I am Honorary EditorInChief of the Australasian Journal of Combinatorics, an international openaccess journal published by the Combinatorial Mathematics Society of Australasia. 
School of Mathematics and Statistics
University of St Andrews North Haugh St Andrews, Fife KY16 9SS SCOTLAND 
Tel.: +44 (0)1334 463769 Fax: +44 (0)1334 46 3748 Email: pjc20(at)starthurs(dot)ac(dot)uk [oops – wrong saint!] 
Page revised 3 November 2021 
A group G is said to satisfy the finiteness condition F_{n} if it acts geometrically (that is, properly and cocompactly) on an (n−1)connected CWcomplex. It satisfies F_{∞} if it satisfies F_{n} for all n. Here, F_{1} is equivalent to being finitely generated, and F_{2} to being finitely presented. Finitely generated free groups satisfy F_{∞}.
The Houghton group H_{n} satisfies F_{n} but not F_{n+1}. Also, this group contains the finitary symmetric group, so it is highly transitive.
Problem: Given a natural number n, does there exist a group G such that
Old problems are kept here.