American Journal of Mathematics and Statistics

p-ISSN: 2162-948X    e-ISSN: 2162-8475

2017;  7(4): 166-168



Exhibition of Normal Distribution in Finite p-groups

Adebisi Sunday Adesina, Michael Enioluwafe

Department of Mathematics, University of Ibadan, Ibadan, Nigeria

Correspondence to: Adebisi Sunday Adesina, Department of Mathematics, University of Ibadan, Ibadan, Nigeria.


Copyright © 2017 Scientific & Academic Publishing. All Rights Reserved.

This work is licensed under the Creative Commons Attribution International License (CC BY).


Suppose that G is a group of order and . Let be the number of subgroups of order in G. Then, the number of subgroups of order is normally distributed with respect to n, where n is a positive integer.

Keywords: p-groups, Hall's enumeration principle, Elementary abelian group, Trivial subgroup, Symmetric distribution

Cite this paper: Adebisi Sunday Adesina, Michael Enioluwafe, Exhibition of Normal Distribution in Finite p-groups, American Journal of Mathematics and Statistics, Vol. 7 No. 4, 2017, pp. 166-168. doi: 10.5923/j.ajms.20170704.04.

1. Introduction

Finite p-groups are ideal objects for combinatorial and cohomological investigations. Some of its basic properties were proved by Sylow, Frobenius, and Burnside. But, namely, Philip Hall (1904-1982) laid the foundations of modern p-group theory (Ber. Y [10]). Normally, Blackburn also made very outstanding achievements after Hall. A common method of investigation in algebra is to break up a complex structure into simpler substructures. The hope is that by repeated application of this procedure, one will eventually arrive at structures that are easy to understand. It may then be possible, in some sense, to synthesis these substructures, so as to reconstruct the original one. While it is rare for the procedure just described to be brought to such a perfect state of completion, the analytic synthetic method can yield valuable information and suggest new concepts. Group theory in general, considers how far this can be used. (Kurosh A.G., 1960) [12]. In this work we examine the basic properties of any p-group which put them in categories and hence define the individual and general characterisations.
The hall enumeration principle [10] paves way for counting the subgroups of given structures.
Definition: Let p be a prime. A group G is said to be a p-group if the order of every element of G is a power of p. A group which is finite is a p-group if and only if the order of G is a power of p.
Remark: (Kuk A.) [13] Let G be a group of order m, and let p be a prime. If is the highest power of p which divides m, where d is an integer, then the subgroup of order is called a sylow p-subgroup of G.
Definition: Elementary Abelian Group: Let G be a p-group. If G is abelian and all its elements (with the exception of the identity) have order p; then, the order of G, for some . In this case, G is a direct product of m groups of order p. We then say that G is an elementary abelian p-group.
Remark: Two elementary abelian p-groups of the same order are isomorphic [Ber.Y].
We denote such group by and call it the elementary abelian p-group.
Let be the elementary abelian group of order (see [7], [8], [9]).
Let . Then the following assertions are true (see [10], [11]):
Main Result
The number of subgroups of order in a finite p-group of order is normally distributed with respect to the positive integer .
Hence, by defining a probability function on G, assuming that the area under the graph is a unit, it is possible to estimate the number of subgroups of G.
This is one of the main objectives of studying the modern finite p-groups.

2. Proof of Results

Definition: Suppose that G is any group such that is the identity, then and are both subgroups of G called the trivial subgroups of G.
By computation, from (a) above, considering simple even and odd cases (for m = 4 & m = 5 respectfully), we have that:
(1) For m = 4, the trivial subgroup of G (the identity).
(2) For m = 5
Note here that for m = 4,
And, for m = 5, we have that
Given that, for
Consider the case:
Observe that as n increases from the left (from below), increases to a maximum value at the middle.
Also, as n decreases from the right (from above), increases in value to the same maximum at the middle. This is seen from the simple computation that:
or for odd m.
Hence, we have the following:
Proposition: The limit of as n increases from below is maximum at for even m and at or for odd m and we write:
This is a symmetric property.
In particular, when m is odd, we ague that is normally distributed with n, leading to the normal distribution curve.
Where the area under the curve indicates the number of subgroups of order


[1]  Blackburn, N. (1957). On prime power groups in which the derived group has two generators. Proc. Cam. Phil. Soc. 53 (19-27).
[2]  Blackburn, N. (1958). On a special class of p-groups. Acta Math. 100 (45-92).
[3]  Blackburn, N. (1961). Generalizations of certain elementary theorems on p-groups, Proc. Lond. Math. Soc. 11 (1-22).
[4]  Blackburn, N. (1966). Automorphisms of finite p-groups. J. Algebra 3 (28-29).
[5]  Blackburn, N. (1973). Note on a paper of Berkovich. J. Algebra 24 (323-334).
[6]  Hall, P. (1933). A contribution to the Theory of groups of prime power order. Proc. Lond. Math. Soc. 36 (29-95).
[7]  Hall, P. (1940). The classification of prime power groups. J. reine angew Math. 182 (130-141).
[8]  Hall, M. (1959). The Theory of Groups Macmillan, New York.
[9]  Hall, M. and Senior J.K. (1964). On Groups of order 2n, (n 6). Macmillan, New York.
[10]  Yakov Berkovich (2008). Groups of prime power order vol. 1. Walter de Gruyter. GmbH & Co. KG, 10785 Berlin, Germany.
[11]  Yakov Berkovich (2005). Alternate proofs of some basic theorems of finite group theory. Glass. Mat. 40, no. 2, (207-233).
[12]  Kurosh A. G (1960). The theory of groups. Chelsea Publishing Company.
[13]  Kuku A.O. (1992). Abstract Algebra .Ibadan University Press.