For every natural number n≥ 4 there are exactly 4 non-abelian groups (up to isomorphism) of order 2n, with a subgroup of index 2. In this article, we are going to illustrate all of these groups properties and axioms using Groups, Algorithms and Programming GAP.
You will need Adobe Acrobat reader. For more information and free download of the reader, please follow this link.
 B. Al-Hasanat, A. Al-Dababseh, E. Al-Sarairah, S. Alobiady, M.B. Al-hasanat, An upper bound to the number of conjugacy classes of non-abelian nilpotent groups, Journal of Mathematics and Statistics, 13, No 2 (2017), 139-142.
 B.N. Al-Hasanat, O.A. Almatroud, M.S. Ababneh, Dihedral groups of order 2m+1, International Journal of Applied Mathematics, 26, No 1 (2013), 1-7; DOI: 10.12732/ijam.v26i1.1.
 I. Martin Isaacs, Finite Group Theory, Ser. Graduate Studies in Mathematics Vol. 92, American Mathematical Society, Washington (2008).
 J.R. Durbin, Modern Algebra: An Introduction, John Wiley and Sons, New Jersey (2009).
 J.J. Rotman, An Introduction to the Theory of Groups, Springer-Verlag, New York (1995).
 A.V. Vasil’ev, M.A. Grechkoseeva, V.D. Mazurov, Characterization of the finite simple groups by spectrum and order, Algebra and Logic, 48 (2009), 385-409.