European Mathematical Society - s. r. blackburn
https://euro-math-soc.eu/author/s-r-blackburn
enEnumeration of Finite Groups
https://euro-math-soc.eu/review/enumeration-finite-groups
<div class="field field-name-field-review-review field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even"><div class="tex2jax"><p>This mostly self-contained volume is a welcome and well-written addition to the theory of finite groups. The authors present in a unified style, which is accessible to graduate students, an up-to-date account of research concerning the question “how many groups of order n are there?”. The book opens with a brief detour into enumeration of semigroups and loops that clearly demonstrates the power of the combination of the associative law and inverses. An investigation of the function f(n) that counts the number of groups of order n up to isomorphism starts in earnest in Part II of the book. </p>
<p>The authors first present Higman's proof of f(pm) ≥ p(2/27)(m-6))m^2 and then move onto Sims, Newman and Seeley's upper bound f(pm) ≤ p(2/27)m^3+O(m^(5/2)), where p is a prime. The highlight of the book is the 80 page treatment of Pyber's theorem on the enumeration of solvable and general groups. It is shown that the number of solvable groups of order n with fixed Sylow subgroups P1 ,…, Pk does not exceed n8μ(n)+278833, where μ(n) is the highest power to which any prime divides n. From this estimate it is then not hard to conclude that the number of solvable A-groups (that is, solvable groups whose nilpotent subgroups are Abelian) of order n does not exceed n8μ(n)+278834 . The current proof of the general case of Pyber's theorem depends on the classification of finite simple groups. With this caveat, it is shown that the number of groups of order n with fixed Sylow subgroups P1,…,Pk does not exceed n(97/4)μ(n)+278852. From this it then follows that f(n) ≤ n(2/27)μ(n)^2+O(μ(n)^(3/2)) and that there are at most n(97/4)μ(n)+278853 A-groups of order n. </p>
<p>The book concludes with estimates on the number of groups in certain varieties. Enumeration of Abelian groups (necessarily combinatorial in nature due to the Fundamental theorem for finitely generated Abelian groups) is followed by enumeration in small varieties of A-groups, d-generator groups, groups with few non-Abelian composition factors, groups of nilpotency class 3 and other results. The array of techniques needed at various points in the book is impressive and the authors are to be commended for presenting them in a concise yet clear manner. The effort to elucidate ideas behind some of the proofs is impressive, as is the occasional heuristic explanation of results (for instance, why 2/27 appears in the exponent of f(n)). Several graduate courses can be designed based on this book, despite the principled decision to avoid exercises.</p>
</div></div></div></div><div class="field field-name-field-review-reviewer field-type-text field-label-inline clearfix"><div class="field-label">Reviewer: </div><div class="field-items"><div class="field-item even">pvoj</div></div></div><span class="vocabulary field field-name-field-review-author field-type-taxonomy-term-reference field-label-inline clearfix"><h2 class="field-label">Author: </h2><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/author/s-r-blackburn" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">s. r. blackburn</a></li><li class="vocabulary-links field-item odd"><a href="/author/p-m-neumann" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">p. m. neumann</a></li><li class="vocabulary-links field-item even"><a href="/author/g-venkataraman" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">g. venkataraman</a></li></ul></span><span class="vocabulary field field-name-field-review-publisher field-type-taxonomy-term-reference field-label-inline clearfix"><h2 class="field-label">Publisher: </h2><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/publisher/cambridge-university-press" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">cambridge university press</a></li></ul></span><div class="field field-name-field-review-pub field-type-number-integer field-label-inline clearfix"><div class="field-label">Published: </div><div class="field-items"><div class="field-item even">2007</div></div></div><div class="field field-name-field-review-isbn field-type-text field-label-inline clearfix"><div class="field-label">ISBN: </div><div class="field-items"><div class="field-item even">978-0-521-88217-0</div></div></div><div class="field field-name-field-review-price field-type-text field-label-inline clearfix"><div class="field-label">Price: </div><div class="field-items"><div class="field-item even">GBP 50</div></div></div><span class="vocabulary field field-name-field-review-msc field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/msc/20-group-theory-and-generalizations" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">20 Group theory and generalizations</a></li></ul></span>Wed, 15 Jun 2011 11:28:00 +0000Anonymous39462 at https://euro-math-soc.eu