Generating function for groups of order n

Click For Summary
SUMMARY

This discussion focuses on the enumeration of groups of order n, specifically the derivation of generating functions for these groups. A key theorem states that for a positive integer n with prime factorization \prod p_{k}^{e^{k}}, the number of abelian groups of order n, up to isomorphism, is given by \prod \rho(e^{k}), where \rho(m) represents the number of partitions of the integer m. The partition function \rho(n) is complex and is expressed through the generating function ∑_{n=0}^{∞}ρ(n)q^{n} = ∏_{j=1}^{∞}(1-q^{j})^{-1}. The broader problem of enumerating all groups of order n remains unsolved and is linked to prime number distribution.

PREREQUISITES
  • Understanding of group theory concepts, particularly finite groups.
  • Familiarity with generating functions and partition functions.
  • Knowledge of prime factorization and its implications in group enumeration.
  • Basic mathematical notation and functions, including summation and product notation.
NEXT STEPS
  • Study the partition function ρ(n) and its applications in combinatorial mathematics.
  • Explore finite group theory literature to understand the classification of groups of order n.
  • Investigate the relationship between group enumeration and prime number distribution.
  • Learn about advanced generating functions and their role in enumerative combinatorics.
USEFUL FOR

Mathematicians, particularly those specializing in group theory, combinatorialists, and anyone interested in the complexities of group enumeration and its connections to number theory.

Number Nine
Messages
813
Reaction score
25
I've done some searching and have thus far come up empty handed, so I'm hoping that someone here knows something that I don't.

I'm wondering if there has been any work on the enumeration of groups of order n (up to isomorphism); specifically, has anyone derived a generating function? Ideally someone would have one for all groups of order n, but I would imagine that there must at least be one for, say, finite abelian groups?
 
Physics news on Phys.org
Alright; I found a sort-of-answer to one half of my question that someone may find interesting, so I'll post it here.

Theorem: Let n be a positive integer with prime factorization [itex]\prod p_{k}^{e^{k}}[/itex], then the number of abelian groups of order n, up to isomorphism, is given by [itex]\prod \rho(e^{k})[/itex], where [itex]\rho(m)[/itex] is the number of partitions of the integer m.

Useful note: The partition function [itex]\rho(n)[/itex] is horrifically complicated, and is given to us courtesy of Ramanujan. It's easier to use the following generating function...
[tex]\sum_{n=0}^{\infty}\rho(n)q^{n} = \prod_{j=1}^{\infty}\frac{1}{1-q^{j}}\hspace{3 mm} where\hspace{2 mm} |q^{j}| \le 1[/tex]
EDIT: Apparently the more general case (enumerating groups of order n) is an unsolved problem, which is driving me crazy enough that I've picked up a few books on finite group theory. The problem looks to be very closely tied with the distribution of prime numbers, so this might be difficult...
 
Last edited:
Cool fact. Thanks.
 

Similar threads

  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 17 ·
Replies
17
Views
10K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 27 ·
Replies
27
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 18 ·
Replies
18
Views
2K