Advances in Pure Mathematics
Vol.06 No.02(2016), Article ID:63160,8 pages

Classifying Groups of Small Order

Gerard Thompson

Department of Mathematics and Statistics, The University of Toledo, Toledo, OH, USA

Copyright © 2016 by author and Scientific Research Publishing Inc.

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

Received 24 January 2015; accepted 24 January 2016; published 28 January 2016


The classification of groups of order less than 16 is reconsidered. The goal of the paper is partly historical and partly pedagogical and aims to achieve the classification as simply as possible in a way which can be easily incorporated into a first course in abstract algebra and without appealing to the Sylow Theorems. The paper concludes with some exercises for students.


Finite Group, Dihedral Group, Historical, Pedagogical

1. Introduction

This past semester I have been teaching an introductory course on abstract algebra. The question arises of how to reach an audience of a mixed background, for example, graduate and undergraduate students. My solution was to present the material in a very computational way rather than going the usual route of lots of Theorems and Propositions. More specifically, why not orient the course towards the problem of classifying groups of small order? In the present article I shall present a classification of groups of order less than 16. The ground rules are that we shall assume that students have covered the first four weeks of group theory. In Section 3 we present six “Elementary Facts” which students can treat as homework exercises. We shall also assume that we have known the classification of finite abelian groups. Maybe that is a lot to ask, however, it is easy to understand the structure of finite abelian groups: just keep in mind the groups and, the former is cyclic whereas the latter is not. Here denotes the set of integers that are added modulo p so that it is perhaps better to write rather than. Many authors use the notation to connote a cyclic group of order p to which of course is isomorphic. In particular in the sequel it is sometimes preferable to think of as being isomorphic to the group consisting of the integers under multiplication.

Probably the nicest way to obtain the structure for finite abelian groups is as Corollary to the structure Theorem for a finitely generated module over a principal ideal domain, which can be covered nicely in the second semester of the abstract algebra class: see for example [1] . Another pillar in the classification of finite abelian groups is Sylow’s Theorem or Theorems depending on how they are presented [2] . Important as these Theorems are, the proofs probably go over the heads of first semester abstract algebra students even though the statements of the theorems are not difficult and numerical examples come readily to hand. In Gallian’s book [3] Sylow’s Theorems are relegated to a section titled “Special Topics” and appear on page 399. We recommend [3] for all details not covered adequately in this short article. The author still enjoys the book by Herstein [4] from which he originally learned the subject. Another very nice book, among many others, is written by Rotman [5] . So that is the program: classify groups of order less than 16 knowing the structure of finite abelian groups without using Sylow theory.

In Section 3 we review some historical details about the emergence of the concept of an abstract group and some of the early results on the classification of groups of small order. In Section 4 we consider the action of conjugation of a group on itself and the class equation. In Section 5 we study properties of the dihedral group of order n. In Section 6 we prove the main Theorem that identifies in various cases. In Section 7 we take stock and see which values of have already been accounted for and then settle the remaining 4 cases. In Section 8 we draw a few conclusions and finally in Section 9 we present a few exercises for students.

We shall say a few words about notation: means that H is a subgroup of G and means that H is a normal subgroup of G. The identity element in G will be denoted by e. We shall denote the center of the group by and the centralizer of an element, by, that is,. We shall use the word order frequently with different meanings. Thus denotes the order of G, that is, the number of elements in G. We shall also use the same notation if merely. On the other hand, is the order of an element, that is to say, the smallest positive power is r such that. The reason for using the same word is that is also the order of the cyclic subgroup generated by g and that cyclic subgroup will be denoted by. Another not very serious remark: I have consistently used numbers rather than writing numbers in words because there are a lot of them and I considered that to do so had a much of a more visual impact.

2. Some History

The development of group theory is a complicated historical and epistomological question that we cannot possibly do justice here. We shall not supply many of the historical references as they can be found in the excellent book by Rose [6] which can serve effectively as a text for a more advanced course on group theory. The theory was a gradual coalescence of ideas distilled from the areas of polynomial equations, number theory and geometry. Indeed the very concept of “geometry” itself was being expanded by Gauss, Riemann, Lobach- evsky and Bolyai in the first part of the nineteenth century. Klein’s Erlangen Program, which associates a group of symmetries to a particular flavor of geometry, dates from 1872. There had been numerous contributions to the theory of groups made by the likes of Lagrange and Cauchy (whose theorems in finite group theory we still celebrate today), Euler and Gauss himself, particularly in what we refer to nowadays as abelian groups and their relationship to modular arithmetic. Apparently Galois in 1831 had begun to grasp the notion of an abstract group, as opposed to a group of permutations, as too did Cayley in the 1850’s although both men’s work was years ahead of its time.

Eventually the abstract idea of a “group” emerged. A two volume book on algebra by Heinrich Weber “Lehrbuch der Algebra” appeared in 1895 and 1896 and the first edition of William Burnside’s book [7] was published as long ago as 1897. These books were enormously influential. Meanwhile the Norwegian Ludwig Sylow’s fundamental set of Theorems had appeared as early as 1872 [2] ; it is interesting that his paper was written in French whereas Sophus Lie, Sylow’s equally famous compatriot, wrote in German. Notice that Sylow refers again to “les groupes de substitutions”, or permutation group in more modern language. Burnside [7] credits Sylow with laying the first real theoretical foundations of group theory. By 1870 Jordan had proved the Jordan-Hölder theorem for permutation groups and Hölder proved it for abstract groups in general in 1889. Furthermore, Hölder in 1893 was studying groups of order and. In America in 1900 G. A. Miller and G. H. Ling [8] proved that there was no simple group of order between 1092 and 2001. In the negative direction, as late as 1908 Burnside was complaining to the London Mathematical Society about the lack of acceptance in Britain of group theory as a subject in its own right.

By 1930 Miller [9] was announcing the classification of all groups of order up 100. The most difficult case, as Miller’s paper suggests, was. Apparently Miller’s paper contained errors that were not corrected until 1964 by Marshall Hall and J K Senior [10] . From the 1960’s onwards the quest for the classification of the finite simple groups was in full swing. Copious details may be found on the Wolfram website that do not need to be repeated here. We will be content simply to cite [11] [12] as more traditional references. Apparently the complete classification was not achieved in toto until 2004.

3. Elementary Facts

1) Groups of prime order are cyclic and unique up to isomorphism.

2) Conjugate elements have the same order.

3) If G is a group and is its center then the factor group cyclic implies that G is abelian.

4) If all elements of G except e are of order 2 then G is abelian.

5) If p is prime the number of elements of order p is a multiple of.

6) If a group G is generated by two normal subgroups H and K (so that every is of the form for some finite p) and H and K are complementary in the sense that, then, the direct product.

4. Conjugation and the Class Equation

4.1. Group Actions

Let G be a group and X a set. Then we say G acts on X if there is a group homomorphism from G to, the latter set denoting the group of permutations of X. Here are three examples of group actions where the group acts on itself, that is,.

・ For and let (left translation)

・ For and let (right translation)

・ For and let (conjugation): note for.

Define to be the orbit of x and define a relation on X according as elements belong to the same orbit. It is left as exercise to show that this relation is actually an equivalence relation. Define also or to be the stabilizer subgroup of x, that is,. In the case of the first two actions defined above there is only one orbit for each, that is G itself; in that case we say that the action is transitive. Also, for each we have. However, in the third example of the action of conjugation, the orbits are precisely the conjugacy classes of G and is the centralizer of g, that is,. It is easy to show that. Notice also that conjugation does nothing at all for abelian groups! In fact conjugation is a very special kind of action because G acts on itself not merely as a set but as a group; in other word the action maps not only to but to, the group of automorphisms of G.

Theorem 1. There is a one to one correspondence between elements of and, that is, the space of (left) cosets of in G.

Proof. Suppose that; then there exists such that. We obtain a map from to by mapping g to the left coset of in G. We leave the student to verify that this map is well-defined (the hardest part for students) and bijective.

4.2. Example

The group D6 or consists of the elements subject to the relations. The last relation used repeatedly enables us to “twist” products of x and y to work all the x’s to the front in a string of x’s and y’s and all the y’s to the back. Then the other relations may be used to reduce any string to one of the 6 elements that constitute the group. The conjugacy classes of are so that

. Now and so. Also

and and and


4.3. Conjugation and Centralizers

The class equation expresses as a sum of the orders of the conjugacy classes. Thus the order of a conjugacy

class is the index of the centralizer of any element x in that conjugacy class, that is,. In particular the

order of a conjugacy class divides. Notice that if and only if if and only if z comprises its own conjugacy class and that for provided G is not the trivial group consisting of a single element. Hence on the right hand side of the class equation we will have as many 1’s as appear in and sums of various proper divisors of.

5. The Dihedral Group

The group of order 2n is generated by x and y subject to the relations and. We shall now determine the class equation for. Note that and and likewise

. If n is odd then whereas if n is even is a

singleton and ~ signifies “is conjugate to”.

Now and. Continuing in this way we find that if n is odd comprises a single conjugacy class, whereas if n is even

and constitute distinct conjugacy classes.

Assuming so that is not abelian, as a result of the preceding calculations we see that, apart from

, the only other singleton conjugacy class is in the case where n is even. Thus if n is odd

whereas if n is even.

A few more elementary calculations convince one that if n is odd, the class equation for is

the number of 2’s being, whereas if n is even, the class equation for is

the number of 2’s being this time.

Notice finally that if where r is odd then in fact: indeed and also being a subgroup of index 2 that is isomorphic to. Since the normal subgroups are complementary by Fact 6, it follows that.

6. Theorem

Lemma 1. If G is a non-abelian group of order pq where p and q are distinct primes then.

Proof. Since we must have that divides by Lagrange’s Theorem and hence can only be one of. Now if and only if G is abelian. If then or. Now and in either case the group is cyclic hence by Fact 3 G must be abelian.

Lemma 2. If G is a group of order where p is prime then.

Proof. If the class equation gives. Each of the terms on the right hand side except the first must be divisors of since they are indexes of centralizers and cannot be 1 otherwise - contradiction and hence is impossible.

Theorem 2. Suppose that G is a non-abelian group of order 2n where n is either an odd prime or 4 or 6. Suppose further that there exist such that and that. Then.

Proof. Clearly are distinct as too are. The only possibility for collapsing among these 2n elements is if y is a power of x and necessarily, which case we are excluding. Now: it certainly contains and if then and G would be abelian. Hence x belongs to a conjugacy class of 2 elements. Furthermore for some. Thus

and. Thus.

Suppose now that n is an odd prime. Then has only the solution.

Suppose that. Then the only solution of for is.

Suppose that. Then the only solution of for is.

Hence in all 3 cases covered by the Theorem.

Corollary 1. Suppose that G is non-abelian and that where p is an odd prime. Then.

Proof. By 1 and the only possibility for the class equation is. Consider an element y in the conjugacy class of order p. Now and so since.

Turning to an element x in a conjugacy class of order 2 then. Since p is prime it follows that

is cyclic of order p. We cannot have for then and whereas. Hence.

7. Case by Case Study

For each order bigger than 5 we are looking for a non-abelian group G. Since G is not abelian we have that. Since groups of prime order are cyclic we do not need to consider the cases. Furthermore Theorem 1 disposes of the cases so it remains to study the cases 8,9,12,15.


It follows from Lemma 2 that. Hence we can only have that. Now and so is cyclic and hence G is abelian by Fact 3.


By Lemma 1 and the class equation gives. The elements of the conjugacy class of order 5 are themselves of order 3: they cannot be of order 5 because their centralizers are of order 3 whereas an element of order 5 has a centralizer of order at least 5. On the other hand each of the elements in the 3 conjugacy classes of order 3 must have order 5: indeed, if x is such an element then and x must generate. Now the total number of elements of order 5 must be 9, which contradicts Fact 5, since it would have to be multiple of 4. Hence there cannot exist G for which and G is non-abelian.


We know of course that is a non-abelian group of order 8. We investigate whether there are any others. According to Fact 4, G must have an element x of order 4. Suppose that but that. Then according to Theorem 2, if G is not isomorphic to we may assume both that and. It is then easy to see by cancelation that the elements of G must be. Now or else G will be abelian. The only possibilities for are 2 or 4; however, if then and again G would be abelian and so. Again by cancelation and elimination of all other possibilities we see that; furthermore since xy has order 2. We will now rewrite the elements

of G as. Note that and hence. Similarly.

Finally we can replace e by 1, by and by, respectively, so as to obtain the quaternion group Q usually written as.


We have since that could be 1, 2, 3, 4 or 6. We may reject the cases or because of Fact 4. Suppose next that. Then in the class equation we must have another odd number, which can only be 3. Thus. Consider an element x in the conjugacy classes of order 3. Its centralizer is of order 4 and contains as a subgroup which is impossible since 3 does not divide 4. Thus or 2.

Suppose then that where. Then again by Fact 4 we can only have that. Now we know that contains a cyclic normal subgroup of order 3. According to the correspondence theorem [4] , which is really the deluxe version of the first isomorphism theorem, engenders a normal subgroup N of order 6 in G that contains. Since N itself has a non-trivial center it too must be cyclic. Suppose that. Since there exists such that and furthermore.

Notice that since and if any other positive power of x were in then. Furthermore, since commutes with x and y so or else in which case by Theorem 2.

So in order to avoid having we must have. Evidently the group G can be written as. So which element is yx? Clearly, since, we have and. Moreover or else G would be abelian. If then since

which would give and so. If then.

So and so by Theorem 2. If then so that and. According to Theorem 2 we must have unless, which is of course impossible.

Thus the only way to avoid having is to have and and of course and all the conditions for the existence of a group are now met. To recognize this group, introduce a new generator so that. The elements of G can be written as. Now where we have used the fact that. Hence. Thus the group generated by y, acts on generated by w via conjugation and engenders a group denoted by T that is a semi-direct product of and. Although and in fact neither of these extensions split: here.

In fact the group T belongs to a familiar class of finite groups of order 4n called the dicyclic groups and also known as the binary dihedral groups. Depending how one counts, the first such group is and the second the group Q studied in subsection 6.3. For further details see [13] which is another nice reference for more advanced material.

Now suppose that. The class equation must contain another odd number which can only be 3. Hence we have the following cases:


We consider the first three cases for which 2 appears in the class equation. We take x in one of the conjugacy classes of order 2. Then. Since has index 2 it is normal in G. Hence we may write where. If is a positive power of x, it will be a central element. However, we are considering now only cases where so the only possibility is. Now we can invoke Corollary 1 and conclude that. Since for we have that we conclude that none of the three cases for which 2 appears in the class equation actually do occur.

Now consider the last case of the class equation. Each of the elements in the conjugacy classes of order 4 must have order 3 because their centralizers are of order 3. Elements in the conjugacy class of order 3 could have order 2 or 4 because each of their centralizers are of order 4; however, if the elements have order four their squares would have order 2 and there are no conjugacy classes left to accommodate them. Hence the elements in the conjugacy class of order 3 have order 2.

Let x and y be elements of order 2 and 3, respectively. Then and are of order 2 since they are conjugate to x; if any two of are equal we would have that. In that case we have a cyclic subgroup of order 6 generated by xy and whose only element of order 2 is x. Now pick a second element of order 2 and appeal to Corollary 1 to conclude again that and again contradicting. Thus we may assume that are distinct. Now xy and yx must be of order 3. It follows that and. Besides the remaining elements of G are. Now obviously y and and and, respectively, are conjugate. Furthermore, and and are conjugate. Now implies that and that so and so is conjugate to. Hence the conjugacy classes have to be. It follows that. We can obtain the usual presen- tation of by mapping x and y to the permutations (12) (34) and (123), respectively.

Finally, a more sophisticated approach is to note that the conjugacy class of order 3 together with e forms a normal subgroup of order 4: indeed the centralizer of an element x in the conjugacy class of order 3 is of order 4. Since elements in the two conjugacy class of order 4 are each of order 3, the only possibility is to obtain the normal subgroup N described above. It follows that. From there it is not difficult to argue that acts on N as a semi-direct product and deduce that. Of course N turns out to be the Sylow 2-subgroup.

8. Conclusions

We have classified all groups of order < 16 without using Sylow theory and assuming we have known the classification of finite abelian groups. It seems remarkable to the author that for the classification of the non-abelian groups becomes almost routine and depends only on elementary facts: the case is the only one that is at all challenging. So why stop at? In fact, it turns out that up to isomorphism there are 14 distinct such groups! As an exercise (see next Section) try to find 8 of them. In fact, the groups that are the hardest to classify are p-groups where the order of and p is prime and m is a positive integer. Sylow’s powerful theorems tell us nothing for such groups. Furthermore, the smaller that p is, the harder are the groups to classify. Naively speaking, the smaller that p is the more combinatorial possibilities there are to satisfy the group axioms.

In [14] one can find descriptions of the non-abelian groups of order < 32 in terms of generators and relations. We should also mention the computer algebra system GAP that contains the “Small Groups Library”. In that system groups of order up to 2000 are listed up to isomorphism with the exception of groups of order: apparently there are an 49,487,365,422 non-isomorphic 2-groups of order 1024. At the time of writing, according to Wolfram, all groups have been classified up to isomorphism up to order. In addition to Wolfram the author has also gained a lot of information from Wikipaedia: search for “List of small groups”. However, I am warned to add the usual disclaimers about referring to websites.

9. Exercises for the Student

・ Supply proofs of the six Elementary Facts. As a hint for the sixth, note that it suffices to map generators to generators.

・ Show that the orbits defined in Section 4 according as elements belong to the same orbit actually is an equivalence relation.

・ Show that for the stabilizer subgroup of or defined in Section 4,.

・ Finish the details of Theorem 4.1.

・ Find 8 mutually non-isomorphic groups of order 16.

・ Find generators and relations for the group starting from its definition as the subgroup of the symmetric group consisting of even permutations.

・ Find an explicit isomorphism between and.


The author thanks Paul Hewitt for stimulating discussions and some valuable suggestions from the referees for improving many of the arguments.

Cite this paper

GerardThompson, (2016) Classifying Groups of Small Order. Advances in Pure Mathematics,06,58-65. doi: 10.4236/apm.2016.62007


  1. 1. Hartley, B. and Hawkes, T. (1970) Rings, Modules and Linear Algebra. Chapman and Hall.

  2. 2. Sylow, L. (1872) Theoremes sur les groupes de substitutions. Mathematische Annalen, 5, 584-594.

  3. 3. Gallian, J.A. (2002) Contemporary Abstract Algebra. 5th Edition, Houghton-Mifflin, Boston.

  4. 4. Herstein, I.N. (1975) Topics in Algebra. 2nd Edition, Wiley, Hoboken.

  5. 5. Rotman, J.J. (1999) An Introduction to the Theory of Groups. Springer Graduate Text # 148.

  6. 6. Rose, J. (1978) A Course on Group Theory. Cambridge UP, Cambridge (Reprinted by Dover, New York, 1994).

  7. 7. Burnside, W. (1897) Theory of Finite Groups. Cambridge UP, Cambridge (Reprinted by Dover, New York, 1955).

  8. 8. Miller, G.A. and Ling, G.H. (1900) Proof that There Is No Simple Group whose Order Lies between 1092 and 2001. American Journal of Mathematics, 22, 13-26.

  9. 9. Miller, G.A. (1930) Determination of All the Groups of Order 64. American Journal of Mathematics, 52, 617-634.

  10. 10. Hall Jr., M. and Senior, J.K. (1964) The Groups of Order . Macmillan, New York.

  11. 11. Gorenstein, D. (1985) The Enormous Theorem. Scientific American, 253, 104-115.

  12. 12. Solomon, R. (2001) A Brief History of the Classification of the Finite Simple Groups. Bulletin of the American Mathematical Society New Series, 38, 315-352.

  13. 13. Roman, S. (2011) Fundamentals of Group Theory: An Advanced Approach. Birkhaüser.

  14. 14. Coxeter, H.S.M. and Moser, W.O.J. (1980) Generators and Relations for Discrete Groups. Springer, Berlin.