Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [groups-enumeration]

Number and enumeration of all finite groups of a given order

The problem of enumerating all finite groups of a given order $n$ means determining complete and non-redundant list of all groups of order $n$, where non-redundancy means that groups from the list are non-isomorphic pairwise.

This tag covers questions about the number of groups of a given order (denoted by $gnu(n)$) and classification of all groups of a given order for various values of $n$. It also includes questions about lower and upper bounds for $gnu(n)$, its asymptotic behaviour, and related questions under certain restrictions on the group.

94 questions
126
votes
3 answers

More than 99% of groups of order less than 2000 are of order 1024?

In Algebra: Chapter 0, the author made a remark (footnote on page 82), saying that more than 99% of groups of order less than 2000 are of order 1024. Is this for real? How can one deduce this result? Is there a nice way or do we just check all…
Hui Yu
  • 15,469
26
votes
1 answer

Are there $n$ groups of order $n$ for some $n>1$?

Denote $N(n)$ : the number of groups with order $n$. Can $N(n)=n$ hold for some $n>1$ ? I checked the OEIS-sequence as well as the squarefree numbers $n$ in the range $[2,10^6]$ and found no example. For many $n$, we have $N(n)
Peter
  • 86,576
22
votes
3 answers

Does the sequence $1, 2, 3, 4, 5, 6$ appear in the number of groups of order $n$ up to isomorphism?

Let $\mathrm{gnu}(n)$ denote the number of groups of order $n$ up to isomorphism. $\mathrm{gnu}(1), \mathrm{gnu}(2), \mathrm{gnu}(3), \dots$ is now a sequence of integers, and we may ask if and where the subsequence $1, 2, 3, \dots, k$ appears…
Robin
  • 6,201
22
votes
2 answers

Groups of order $p^3$

The following is exercise 8 (section 2.6) in Algebra by Hungerford: Let $p$ be an odd prime. Prove that there are at most two nonabelian groups of order $p^3$. (One has generators $a,b$ satisying $|a| = p^2; |b|=p;b^{-1}ab = a^{1+p}$ and the other…
Mike
  • 1,794
17
votes
3 answers

Known bounds for the number of groups of a given order.

The number of nonisomorphic groups of order $n$ is usually called $\nu(n)$. I found a very good survey about the values. $\nu(n)$ is completely known absolutely up to $n=2047$, and for many other values of $n$ too (for squarefree n, there is a…
Peter
  • 171
14
votes
1 answer

Does the list of "number of groups of order $n$" contain every natural number?

In other words: For every natural number $m$, does there always exist an $n$ for which there are exactly $m$ groups of order $n$ up to isomorphism? Or is this an open question in mathematics? If it is an open question, are there any famous…
Izzhov
  • 345
14
votes
1 answer

How many different groups of order $15$ there are?

I wanted to share with you my resolution of this exercise. How many different groups of order $15$ there are? My resolution: We're looking for groups such that $|G|=15=3\cdot 5$. Then: $G$ has an unique Sylow $3$-subgroup of order $3$ ($P_3$) and…
Relure
  • 4,315
11
votes
1 answer

How many Groups there are on a finite set?

Let say cardinality of set S is $n=|S|$. We know that there are $n^{n^2}$ all binary operations on that set. To find out how many groups can be created by this set and by those operations, we need not only to know how many associative operations…
IremadzeArchil19910311
  • 1,730
  • 3
  • 17
  • 31
11
votes
2 answers

For which $n$ in $2048 < n < 4096$ is the exact number of groups of order $n$ up to isomorphism currently unknown?

The number of groups of order $2^{11} = 2048$ up to isomorphism is currently unknown, that is at least, as of 2023. The same can be said of $2^{12}=2 \cdot 2048 = 4096$. What about the number of groups of order $n$ for $2048 < n < 4096$? Perhaps for…
Robin
  • 6,201
11
votes
1 answer

Is $\mathrm{gnu}(2304)$ known?

(Here, $\mathrm{gnu}(n)$ denotes the number of groups of order $n$ up to isomorphism.) I wonder whether the number of groups of order $2304=2^8\times 3^2$ is known. GAP exited because of the memory. $\mathrm{gnu}(2304)$ must be greater than…
Peter
  • 86,576
10
votes
1 answer

Proportion of nonabelian $2$-groups of a certain order whose exponent is $4$

Let $$\displaystyle A(n)=\frac{\text{number of nonabelian 2-groups of order $n$ whose exponent is }4}{\text{total number of nonabelian 2-groups of order $n$}}.$$ Using GAP, I could observe the following: $$A(16)=\frac{5}{9}=0.5556,…
Chuks
  • 1,261
  • 7
  • 18
10
votes
1 answer

Reference request: groups of order $p^4$.

I am looking for a textbook or a paper which include the classification of groups of order $p^4$ ($p$ is prime) using generators and relations. In particular I like to understand which group $G$ "exist" for the odd $p$'s and do not exist for $p=2$.
Ofir Schnabel
  • 3,951
9
votes
1 answer

Semidirect product uniqueness argument for classifying groups of small order

I'm having trouble understanding the following method for determining the number of semidirect products between two groups in simple cases that arise when trying to classify certain groups of small order. Here is an example, but I'm really…
Otis
  • 686
9
votes
2 answers

Classify groups of order 27

Let $|G|=27$. Prove that all subgroups of index $3$ are normal. Classify all groups of order $27$. I can do the first one, but the classification is overwhelming. I don't even know where to start. Any help appreciated.
Benjamin Lu
  • 783
8
votes
2 answers

Is it "often known" how to compute a list of groups?

From the introduction of the article Construction of Finite Groups written by Hans Ulrich Besche and Bettina Eick: When attempting to determine up to isomorphism the groups of a given order it is often known how to compute a list of groups of…
Jawad
  • 155
1
2 3 4 5 6 7