cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-8 of 8 results.

A000688 Number of Abelian groups of order n; number of factorizations of n into prime powers.

Original entry on oeis.org

1, 1, 1, 2, 1, 1, 1, 3, 2, 1, 1, 2, 1, 1, 1, 5, 1, 2, 1, 2, 1, 1, 1, 3, 2, 1, 3, 2, 1, 1, 1, 7, 1, 1, 1, 4, 1, 1, 1, 3, 1, 1, 1, 2, 2, 1, 1, 5, 2, 2, 1, 2, 1, 3, 1, 3, 1, 1, 1, 2, 1, 1, 2, 11, 1, 1, 1, 2, 1, 1, 1, 6, 1, 1, 2, 2, 1, 1, 1, 5, 5, 1, 1, 2, 1, 1, 1, 3, 1, 2, 1, 2, 1, 1, 1, 7, 1, 2, 2, 4, 1, 1, 1, 3, 1, 1, 1
Offset: 1

Views

Author

Keywords

Comments

Equivalently, number of Abelian groups with n conjugacy classes. - Michael Somos, Aug 10 2010
a(n) depends only on prime signature of n (cf. A025487). So a(24) = a(375) since 24 = 2^3*3 and 375 = 3*5^3 both have prime signature (3, 1).
Also number of rings with n elements that are the direct product of fields; these are the commutative rings with n elements having no nilpotents; likewise the commutative rings where for every element x there is a k > 0 such that x^(k+1) = x. - Franklin T. Adams-Watters, Oct 20 2006
Range is A033637.
a(n) = 1 if and only if n is from A005117 (squarefree numbers). See the Ahmed Fares comment there, and the formula for n>=2 below. - Wolfdieter Lang, Sep 09 2012
Also, from a theorem of Molnár (see [Molnár]), the number of (non-isomorphic) abelian groups of order 2*n + 1 is equal to the number of non-congruent lattice Z-tilings of R^n by crosses, where a "cross" is a unit cube in R^n for which at each facet is attached another unit cube (Z, R are the integers and reals, respectively). (Cf. [Horak].) - L. Edson Jeffery, Nov 29 2012
Zeta(k*s) is the Dirichlet generating function of the characteristic function of numbers which are k-th powers (k=1 in A000012, k=2 in A010052, k=3 in A010057, see arXiv:1106.4038 Section 3.1). The infinite product over k (here) is the number of representations n=product_i (b_i)^(e_i) where all exponents e_i are distinct and >=1. Examples: a(n=4)=2: 4^1 = 2^2. a(n=8)=3: 8^1 = 2^1*2^2 = 2^3. a(n=9)=2: 9^1 = 3^2. a(n=12)=2: 12^1 = 3*2^2. a(n=16)=5: 16^1 = 2*2^3 = 4^2 = 2^2*4^1 = 2^4. If the e_i are the set {1,2} we get A046951, the number of representations as a product of a number and a square. - R. J. Mathar, Nov 05 2016
See A060689 for the number of non-abelian groups of order n. - M. F. Hasler, Oct 24 2017
Kendall & Rankin prove that the density of {n: a(n) = m} exists for each m. - Charles R Greathouse IV, Jul 14 2024

Examples

			a(1) = 1 since the trivial group {e} is the only group of order 1, and it is Abelian; alternatively, since the only factorization of 1 into prime powers is the empty product.
a(p) = 1 for any prime p, since the only factorization into prime powers is p = p^1, and (in view of Lagrange's theorem) there is only one group of prime order p; it is isomorphic to (Z/pZ,+) and thus Abelian.
From _Wolfdieter Lang_, Jul 22 2011: (Start)
a(8) = 3 because 8 = 2^3, hence a(8) = pa(3) = A000041(3) = 3 from the partitions (3), (2, 1) and (1, 1, 1), leading to the 3 factorizations of 8: 8, 4*2 and 2*2*2.
a(36) = 4 because 36 = 2^2*3^2, hence a(36) = pa(2)*pa(2) = 4 from the partitions (2) and (1, 1), leading to the 4 factorizations of 36: 2^2*3^2, 2^2*3^1*3^1, 2^1*2^1*3^2 and 2^1*2^1*3^1*3^1.
(End)
		

References

  • Steven R. Finch, Mathematical Constants, Cambridge, 2003, pp. 274-278.
  • D. S. Mitrinovic et al., Handbook of Number Theory, Kluwer, Section XIII.12, p. 468.
  • J. S. Rose, A Course on Group Theory, Camb. Univ. Press, 1978, see p. 7.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • A. Speiser, Die Theorie der Gruppen von endlicher Ordnung, 4. Auflage, Birkhäuser, 1956.

Crossrefs

Cf. A080729 (Dgf at s=2), A369634 (Dgf at s=3).

Programs

  • Haskell
    a000688 = product . map a000041 . a124010_row
    -- Reinhard Zumkeller, Aug 28 2014
    
  • Maple
    with(combinat): readlib(ifactors): for n from 1 to 120 do ans := 1: for i from 1 to nops(ifactors(n)[2]) do ans := ans*numbpart(ifactors(n)[2][i][2]) od: printf(`%d,`,ans): od: # James Sellers, Dec 07 2000
  • Mathematica
    f[n_] := Times @@ PartitionsP /@ Last /@ FactorInteger@n; Array[f, 107] (* Robert G. Wilson v, Sep 22 2006 *)
    Table[FiniteAbelianGroupCount[n], {n, 200}] (* Requires version 7.0 or later. - Vladimir Joseph Stephan Orlovsky, Jul 01 2011 *)
  • PARI
    A000688(n)=local(f);f=factor(n);prod(i=1,matsize(f)[1],numbpart(f[i,2])) \\ Michael B. Porter, Feb 08 2010
    
  • PARI
    a(n)=my(f=factor(n)[,2]); prod(i=1,#f,numbpart(f[i])) \\ Charles R Greathouse IV, Apr 16 2015
    
  • Python
    from sympy import factorint, npartitions
    from math import prod
    def A000688(n): return prod(map(npartitions,factorint(n).values())) # Chai Wah Wu, Jan 14 2022
  • Sage
    def a(n):
        F=factor(n)
        return prod([number_of_partitions(F[i][1]) for i in range(len(F))])
    # Ralf Stephan, Jun 21 2014
    

Formula

Multiplicative with a(p^k) = number of partitions of k = A000041(k); a(mn) = a(m)a(n) if (m, n) = 1.
a(2n) = A101872(n).
a(n) = Product_{j = 1..N(n)} A000041(e(j)), n >= 2, if
n = Product_{j = 1..N(n)} prime(j)^e(j), N(n) = A001221(n). See the Richert reference, quoting A. Speiser's book on finite groups (in German, p. 51 in words). - Wolfdieter Lang, Jul 23 2011
In terms of the cycle index of the symmetric group: Product_{q=1..m} [z^{v_q}] Z(S_v) 1/(1-z) where v is the maximum exponent of any prime in the prime factorization of n, v_q are the exponents of the prime factors, and Z(S_v) is the cycle index of the symmetric group on v elements. - Marko Riedel, Oct 03 2014
Dirichlet g.f.: Sum_{n >= 1} a(n)/n^s = Product_{k >= 1} zeta(ks) [Kendall]. - Álvar Ibeas, Nov 05 2014
a(n)=2 for all n in A054753 and for all n in A085987. a(n)=3 for all n in A030078 and for all n in A065036. a(n)=4 for all n in A085986. a(n)=5 for all n in A030514 and for all n in A178739. a(n)=6 for all n in A143610. - R. J. Mathar, Nov 05 2016
A050360(n) = a(A025487(n)). a(n) = A050360(A101296(n)). - R. J. Mathar, May 26 2017
a(n) = A000001(n) - A060689(n). - M. F. Hasler, Oct 24 2017
From Amiram Eldar, Nov 01 2020: (Start)
a(n) = a(A057521(n)).
Asymptotic mean: lim_{n->oo} (1/n) * Sum_{k=1..n} a(k) = A021002. (End)
a(n) = A005361(n) except when n is a term of A046101, since A000041(x) = x for x <= 3. - Miles Englezou, Feb 17 2024
Inverse Moebius transform of A188585: a(n) = Sum_{d|n} A188585(d). - Amiram Eldar, Jun 10 2025

A046055 Orders of finite Abelian groups having the incrementally largest numbers of nonisomorphic forms (A046054).

Original entry on oeis.org

1, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 221184, 262144, 442368, 524288, 663552, 884736, 995328, 1048576, 1327104, 1769472, 1990656, 2097152, 2654208, 3538944, 3981312, 4194304
Offset: 1

Views

Author

Keywords

Comments

Different from A151821, but often confused with it.
Nicolas used the notation a(n) for the number of Abelian groups of order n (A000688) and named these numbers a-highly composite numbers (a-hautement composés). - Amiram Eldar, Aug 20 2019

Crossrefs

Warning: this is different from A151821.

Programs

  • Mathematica
    aa = {}; max = 0; Do[If[FiniteAbelianGroupCount[n] > max, max = FiniteAbelianGroupCount[n]; AppendTo[aa, n]], {n, 2^22}]; aa (* Artur Jasinski, Oct 06 2011 *)

Formula

Warning: the g.f. is not x*(1+2*x)/(1-2*x), as claimed earlier.
Warning: this is not the binomial transform of A010684, as claimed earlier.
Warning: this is not the row sums of either A131127 or A134058, as claimed earlier.

Extensions

More terms from David Wasserman, Feb 06 2002
Many incorrect formulas and assertions deleted by R. J. Mathar, Jul 08 2009
Edited by N. J. A. Sloane, Jul 08 2009

A046057 Smallest order m > 0 for which there are n nonisomorphic finite groups of order m, or 0 if no such order exists.

Original entry on oeis.org

1, 4, 75, 28, 8, 42, 375, 510, 308, 90, 140, 88, 56, 16, 24, 100, 675, 156, 1029, 820, 1875, 6321, 294, 546, 2450, 2550, 1210, 2156, 1380, 270, 11774, 630
Offset: 1

Views

Author

Keywords

Comments

R. Keith Dennis conjectures that there are no 0's in this sequence. See A053403 for details.
In (John H. Conway, Heiko Dietrich and E. A. O'Brien, 2008), m is called the "minimal order attaining n" and is denoted by moa(n). - Daniel Forgues, Feb 15 2017
a(33) > 30500. - Muniru A Asiru, Nov 15 2017
From Jorge R. F. F. Lopes, Jan 07 2022: (Start)
The following values taken from the Max Horn website are improvements over those given in the Conway-Dietrich-O'Brien table (see Links):
a(58) = 3591, a(59) = 6328, a(63) = 2025, a(73) = 24003, a(74) = 25250, a(78) = 12750, a(90) = 2970, a(91) = 2058, a(92) = 15092. (End)

References

  • J. H. Conway et al., The Symmetries of Things, Peters, 2008, p. 209.

Crossrefs

Extensions

More terms from Victoria A. Sapko (vsapko(AT)canes.gsw.edu), Nov 04 2003
a(20) corrected by N. J. A. Sloane, Jan 21 2004
More terms from N. J. A. Sloane, Oct 03 2008, from the John H. Conway, Heiko Dietrich and E. A. O'Brien article.
a(31)-a(32) from Muniru A Asiru, Nov 15 2017

A046054 Incrementally largest number of nonisomorphic finite Abelian groups as a function of order.

Original entry on oeis.org

1, 2, 3, 5, 7, 11, 15, 22, 30, 42, 56, 77, 101, 135, 176, 231, 297, 303, 385, 405, 490, 505, 528, 539, 627, 675, 693, 707, 792, 880, 891, 945, 1002, 1155, 1232, 1255, 1485, 1617, 1925, 1936, 2079, 2450, 2541, 2695, 3135, 3267, 3430, 3465, 3960, 4235
Offset: 1

Views

Author

Keywords

Comments

Records in A000688. - Artur Jasinski, Mar 14 2008

Crossrefs

Programs

  • Mathematica
    a = {}; b = 0; f[n_] := Times @@ PartitionsP /@ Last /@ FactorInteger@n; k = Array[f, 1000000]; Do[If[k[[m]] > b, b = k[[m]]; AppendTo[a, b]], {m, 1, Length[k]}]; a (* using a procedure from Robert G. Wilson v; Artur Jasinski, Mar 14 2008 *)

Formula

a(n) = A000688(A046055(n)). - Amiram Eldar, Aug 20 2019

Extensions

More terms from David Wasserman, Feb 06 2002

A046059 Orders of finite groups having the incrementally largest numbers of nonisomorphic forms A046058.

Original entry on oeis.org

1, 4, 8, 16, 24, 32, 48, 64, 128, 256, 512, 1024, 2048
Offset: 1

Views

Author

Keywords

Crossrefs

Extensions

a(11)-a(12) from Eamonn O'Brien, Apr 15 2002
a(13) added by Eric M. Schmidt, Aug 02 2012

A046064 Not a product of partition numbers (A000041).

Original entry on oeis.org

13, 17, 19, 23, 26, 29, 31, 34, 37, 38, 39, 41, 43, 46, 47, 51, 52, 53, 57, 58, 59, 61, 62, 65, 67, 68, 69, 71, 73, 74, 76, 78, 79, 82, 83, 85, 86, 87, 89, 91, 92, 93, 94, 95, 97, 102, 103, 104, 106, 107, 109, 111, 113, 114, 115, 116, 117, 118, 119, 122, 123, 124, 127
Offset: 1

Views

Author

Keywords

Crossrefs

Programs

  • Maple
    with(combinat): A000041:=proc(n) options remember: RETURN(numbpart(n)): end: partdiv:=proc(m,i) local j,q,f: f:=0: for j from i by -1 to 2 while(f=0) do if(irem(m, A000041(j))=0) then q:=iquo(m, A000041(j)): if(q=1) then RETURN(1) else f:=partdiv(q,j) fi fi od: RETURN(f): end: for i from 2 to 14 do for n from A000041(i) to A000041(i+1)-1 do m:=partdiv(n,i): if m=0 then printf("%d, ",n) fi od od: # C. Ronaldo

A182911 Prime encoded sequence of generic integer partitions of n in the antilexicographic order of the partitions.

Original entry on oeis.org

1, 2, 1, 1, 36, 1, 216, 900, 1, 1296, 5400, 44100, 27000, 7776, 32400, 264600, 5336100, 162000, 1323000, 46656, 194400, 810000, 1587600, 9261000, 32016600, 901800900, 972000, 7938000, 160083000, 279936, 1166400, 4860000, 9525600, 39690000, 55566000, 192099600, 1120581000
Offset: 0

Views

Author

Peter Luschny, Jan 26 2011

Keywords

Comments

By definition [1] is a generic partition and 0 has no generic partitions. For n > 1 a partition p of n is generic if it does not have the form [1+r_1,r_2,...,r_k] or [r_1,r_2,...,r_k,1] for some partition [r_1,r_2,...,r_k] of n-1.
Encoding: The partition p = [p_1,...,p_k] is represented by Product_{i=1..k} prime(i) ^ p_i. If n has generic partitions then these encodings are listed in the antilexicographic order of the partitions; if n has no generic partitions then this fact is represented by '1'.
Starting from generic partitions a table of all partitions can be built by two operations: appending '1' at the tail of a partition or adding 1 to the head of a partition (see the table at the link given).
A generic partition is a partition of the form [x,x,p_2,...,p_k-1,y] with y > 1; in addition [1] is a generic partition by definition.

Examples

			0:  {}                   -> 1
1:  {[1]}                -> 2^1 = 2
2:  {}                   -> 1
3:  {}                   -> 1
4:  {[22]}               -> 2^2*3^2 = 36
5:  {}                   -> 1
6:  {[33],[222]}         -> 2^3*3^3 = 216; 2^2*3^2*5^2 = 900
7:  {}                   -> 1
8:  {[44],[332],[2222]}  -> 1296, 5400, 44100
9:  {[333]}              -> 27000
		

Crossrefs

Programs

  • Maple
    a:= proc(n) local b, ll; b:=
          proc(n,i,l) local nl; nl:= nops(l);
            if n<0 then
          elif n=0 then ll:= ll,
                   `if`(nl=0 or nl=1 and l[1]=1 or
                        nl>1 and l[-1]<>1 and l[1]=l[2],
                        mul(ithprime(t)^l[t], t=1..nl), NULL)
          elif i=0 then
          else b(n-i, i, [l[], i]), b(n, i-1, l)
            fi
          end;
          ll:= NULL; b(n,n,[]);
         `if`(ll=NULL,1,ll)
        end:
    seq(a(n), n=0..15);

A212646 a(n) = number of Abelian groups of order A181800(n) (n-th powerful number that is the first integer of its prime signature).

Original entry on oeis.org

1, 2, 3, 5, 7, 4, 11, 6, 15, 10, 9, 22, 14, 15, 30, 22, 21, 8, 42, 30, 25, 33, 12, 56, 44, 35, 45, 20, 77, 60, 55, 18, 66, 28, 49, 101, 84, 75, 30, 90, 44, 77, 135, 112, 110, 42, 27, 126, 60, 105, 50, 176, 154, 150, 66, 16, 121, 45, 168, 88, 154, 70, 231, 202
Offset: 1

Views

Author

Matthew Vandermast, Jun 09 2012

Keywords

Comments

The number of Abelian groups of order n, or A000688(n), is a function of the second signature of n (cf. A212172). Since A181800 gives the first integer of each second signature, this sequence gives the value of A000688 for each second signature in order of its first appearance.

Examples

			There are 6 Abelian groups of order 72, corresponding to the 6 factorizations of 72 into prime powers: 2^3*3^2, 2^3*3*3, 2^2*2*3^2, 2^2*2*3*3, 2*2*2*3^2, and 2*2*2*3*3. Since 72 = A181800(8), a(8) = 6.
		

Crossrefs

Formula

a(n) = A000688(A181800(n)).
Showing 1-8 of 8 results.