06 Feb Leinster Perfect Groups
Perfect number is an ancient object of study. A positive integer is said to be perfect if is equal to twice the sum of its divisors. For example, . Hence, is a perfect number. The concept of prime number is first introduced by Greek mathematicians. Till now we have known perfect numbers.
Tom Leinster, University of Edinburgh studied some groups taking the analogues properties of perfect numbers. In his paper “Perfect number and groups” (arXiv:math/0104012vl[math.GR]1Apr 2001) he defined a class of groups and named them “Perfect Group”. He defined the group as : “A group G is said to be perfect if sum of the order of its normal subgroups is twice the order of the group.”
Originally Perfect Group implies some other class of group. Leinster asks his apology to name these groups as Perfect Groups. Probably the reason of naming to show the analogues properties with Perfect Numbers. From now on we will call such groups as Leinster Perfect Groups.
Let us look into some examples of Leinster Perfect Groups. We are well aware of the cyclic group . A group is Leinster Perfect if and only if is a perfect number. So, are all perfect groups.
The group of all isometries of a regular n-sided polygon is called Dihedral Group of order and mathematically it is defined as
Tom Leinster showed that when is an odd perfect number then is a Leinster Perfect Group. Interestingly, till now we don't have any example of odd perfect number. So, if you can give me an odd perfect number then I can give you the corresponding Leinster Perfect Dihedral Group.
Define , is a normal subgroup of . We can show that i.e. the function is multiplicative. Using the multiplicatively property of , we can show that are also Leinster Perfect Groups. In his paper On Arithmetic Functions of Finite Groups, Prof. Ashish Kumar Das, NEHU defined the Generalized Quaternion group as:
And further he gave some examples of Leinster Perfect group such as
Till now we have seen examples of even order Leinster Perfect groups only. In mathoverflow, Leinster asked whether there is any odd order Leinster Perfect Group and the only example (till now) was first discovered by Fransḉois Bruhault one day after the question was asked. This group is given by where denote the semi direct product.
Further research is going on this particular class of groups and following are some important results (till date) on Perfect Groups:
- Every Nilpotent Quotient of a Leinster group is cyclic.
- The Generalized Quaternion group is Leinster if and only if .
- No finite semi-simple group is Leinster group.
- There is no Leinster group of order where and are primes.