A060689 -id:A060689 - cp's OEIS frontend

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

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

N. J. A. Sloane

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

			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)

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.

T. D. Noe, Table of n, a(n) for n = 1..10000
Tak-Shing T. Chan, and Y.-H. Yang, Polar n-Complex and n-Bicomplex Singular Value Decomposition and Principal Component Pursuit, IEEE Transactions on Signal Processing ( Volume: 64, Issue: 24, Dec.15, 15 2016 ); DOI: 10.1109/TSP.2016.2612171.
I. G. Connell, A number theory problem concerning finite groups and rings, Canad. Math. Bull, 7 (1964), 23-34.
I. G. Connell, Letter to N. J. A. Sloane, no date
P. Erdős and G. Szekeres, Über die Anzahl der Abelschen Gruppen gegebener Ordnung und über ein verwandtes zahlentheoretisches Problem, Acta Sci. Math. (Szeged), 7 (1935), 95-102.
Steven R. Finch, Abelian Group Enumeration Constants [Broken link]
Steven R. Finch, Abelian Group Enumeration Constants [broken link?] [From the Wayback machine]
P. Horak, Error-correcting codes and Minkowski's conjecture, Tatra Mt. Math. Publ., 45 (2010), p. 40.
B. Horvat, G. Jaklic and T. Pisanski, On the number of Hamiltonian groups, arXiv:math/0503183 [math.CO], 2005.
D. G. Kendall, R. A. Rankin, On the number of Abelian groups of a given order, Q. J. Math. 18 (1947) 197-208.
Nobushige Kurokawa and Masato Wakayama, Zeta extensions. Proc. Japan Acad. Ser. A Math. Sci. 78 (2002), no. 7, 126--130. MR1930216 (2003h:11112).
E. Molnár, Sui mosaici dello spazio di dimensione n, Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 51 (1971), 177-185.
H.-E. Richert, Über die Anzahl Abelscher Gruppen gegebener Ordnung I, Math. Zeitschr. 56 (1952) 21-32.
Marko Riedel, Counting Abelian Groups, Mathematics Stack Exchange, October 2014.
Laszlo Toth, A note on the number of abelian groups of a given order, arXiv:1203.6473 [math.NT], (2012).
Eric Weisstein's World of Mathematics, Abelian Group
Eric Weisstein's World of Mathematics, Finite Group
Eric Weisstein's World of Mathematics, Kronecker Decomposition Theorem
Index entries for sequences related to groups
Index entries for "core" sequences

Cf. A000001, A021002, A060689, A000041, A000961, A001055, A005361, A034382, A046054, A046055, A046056, A046101, A050360, A055653, A057521, A101872 (bisection), A101876 (quadrisection), A124010, A050361, A051532, A129667 (Dirichlet inverse), A188585.

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

a000688 = product . map a000041 . a124010_row
-- Reinhard Zumkeller, Aug 28 2014

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

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 *)

A000688(n)=local(f);f=factor(n);prod(i=1,matsize(f)[1],numbpart(f[i,2])) \\ Michael B. Porter, Feb 08 2010

a(n)=my(f=factor(n)[,2]); prod(i=1,#f,numbpart(f[i])) \\ Charles R Greathouse IV, Apr 16 2015

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

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

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

A000001 Number of groups of order n.

Original entry on oeis.org

0, 1, 1, 1, 2, 1, 2, 1, 5, 2, 2, 1, 5, 1, 2, 1, 14, 1, 5, 1, 5, 2, 2, 1, 15, 2, 2, 5, 4, 1, 4, 1, 51, 1, 2, 1, 14, 1, 2, 2, 14, 1, 6, 1, 4, 2, 2, 1, 52, 2, 5, 1, 5, 1, 15, 2, 13, 2, 2, 1, 13, 1, 2, 4, 267, 1, 4, 1, 5, 1, 4, 1, 50, 1, 2, 3, 4, 1, 6, 1, 52, 15, 2, 1, 15, 1, 2, 1, 12, 1, 10, 1, 4, 2

Offset: 0

N. J. A. Sloane

Also, number of nonisomorphic subgroups of order n in symmetric group S_n. - Lekraj Beedassy, Dec 16 2004
Also, number of nonisomorphic primitives (antiderivatives) of the combinatorial species Lin[n-1], or X^{n-1}; see Rajan, Summary item (i). - Nicolae Boicu, Apr 29 2011
In (J. H. Conway, Heiko Dietrich and E. A. O'Brien, 2008), a(n) is called the "group number of n", denoted by gnu(n), and the first occurrence of k is called the "minimal order attaining k", denoted by moa(k) (see A046057). - Daniel Forgues, Feb 15 2017
It is conjectured in (J. H. Conway, Heiko Dietrich and E. A. O'Brien, 2008) that the sequence n -> a(n) -> a(a(n)) = a^2(n) -> a(a(a(n))) = a^3(n) -> ... -> consists ultimately of 1s, where a(n), denoted by gnu(n), is called the "group number of n". - Muniru A Asiru, Nov 19 2017
MacHale (2020) shows that there are infinitely many values of n for which there are more groups than rings of that order (cf. A027623). He gives n = 36355 as an example. It would be nice to have enough values of n to create an OEIS entry for them. - N. J. A. Sloane, Jan 02 2021
I conjecture that a(i) * a(j) <= a(i*j) for all nonnegative integers i and j. - Jorge R. F. F. Lopes, Apr 21 2024

			Groups of orders 1 through 10 (C_n = cyclic, D_n = dihedral of order n, Q_8 = quaternion, S_n = symmetric):
1: C_1
2: C_2
3: C_3
4: C_4, C_2 X C_2
5: C_5
6: C_6, S_3=D_6
7: C_7
8: C_8, C_4 X C_2, C_2 X C_2 X C_2, D_8, Q_8
9: C_9, C_3 X C_3
10: C_10, D_10

S. R. Blackburn, P. M. Neumann, and G. Venkataraman, Enumeration of Finite Groups, Cambridge, 2007.
L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 302, #35.
J. H. Conway et al., The Symmetries of Things, Peters, 2008, p. 209.
H. S. M. Coxeter and W. O. J. Moser, Generators and Relations for Discrete Groups, 4th ed., Springer-Verlag, NY, reprinted 1984, p. 134.
CRC Standard Mathematical Tables and Formulae, 30th ed. 1996, p. 150.
R. L. Graham, D. E. Knuth and O. Patashnik, Concrete Mathematics, A Foundation for Computer Science, Addison-Wesley Publ. Co., Reading, MA, 1989, Section 6.6 'Fibonacci Numbers' pp. 281-283.
M. Hall, Jr. and J. K. Senior, The Groups of Order 2^n (n <= 6). Macmillan, NY, 1964.
D. Joyner, 'Adventures in Group Theory', Johns Hopkins Press. Pp. 169-172 has table of groups of orders < 26.
D. S. Mitrinovic et al., Handbook of Number Theory, Kluwer, Section XIII.24, p. 481.
M. F. Newman and E. A. O'Brien, A CAYLEY library for the groups of order dividing 128. Group theory (Singapore, 1987), 437-442, de Gruyter, Berlin-New York, 1989.
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).

H. U. Besche and Ivan Panchenko, Table of n, a(n) for n = 0..2047 [Terms 1 through 2015 copied from Small Groups Library mentioned below. Terms 2016 - 2047 added by _Ivan Panchenko_, Aug 29 2009. 0 prepended by _Ray Chandler_, Sep 16 2015. a(1024) corrected by _Benjamin Przybocki_, Jan 06 2022]
H. A. Bender, A determination of the groups of order p^5, Ann. of Math. (2) 29, pp. 61-72 (1927).
Hans Ulrich Besche and Bettina Eick, Construction of finite groups, Journal of Symbolic Computation, Vol. 27, No. 4, Apr 15 1999, pp. 387-404.
Hans Ulrich Besche and Bettina Eick, The groups of order at most 1000 except 512 and 768, Journal of Symbolic Computation, Vol. 27, No. 4, Apr 15 1999, pp. 405-413.
H. U. Besche, B. Eick and E. A. O'Brien, The groups of order at most 2000, Electron. Res. Announc. Amer. Math. Soc. 7 (2001), 1-4.
H. U. Besche, B. Eick, E. A. O'Brien and Max Horn, The Small Groups Library
H. U. Besche, B. Eick and E. A. O'Brien, Number of isomorphism types of finite groups of given order [gives incorrect a(1024)]
H. U. Besche, B. Eick and E. A. O'Brien, A Millennium Project: Constructing Small Groups, Internat. J. Algebra and Computation, 12 (2002), 623-644.
Henry Bottomley, Illustration of initial terms
David Burrell, On the number of groups of order 1024, Communications in Algebra, 2021, 1-3.
J. H. Conway, Heiko Dietrich and E. A. O'Brien, Counting groups: gnus, moas and other exotica, Math. Intell., Vol. 30, No. 2, Spring 2008.
Marek Dančo, Mikoláš Janota, Michael Codish, and João Jorge Araújo, Complete Symmetry Breaking for Finite Models, arXiv:2502.10155 [cs.LO], 2025. See p. 7. Mentions this sequence.
Yang-Hui He and Minhyong Kim, Learning Algebraic Structures: Preliminary Investigations, arXiv:1905.02263 [cs.LG], 2019.
Otto Hölder, Die Gruppen der Ordnungen p^3, pq^2, pqr, p^4, Math. Ann. 43 pp. 301-412 (1893).
Max Horn, Numbers of isomorphism types of finite groups of given order
Rodney James, The groups of order p^6 (p an odd prime), Math. Comp. 34 (1980), 613-637.
Rodney James and John Cannon, Computation of isomorphism classes of p-groups, Mathematics of Computation 23.105 (1969): 135-140.
Olexandr Konovalov, Crowdsourcing project for the database of numbers of isomorphism types of finite groups, Github (a list of gnu(n) for many n < 50000).
Desmond MacHale, Are There More Finite Rings than Finite Groups?, Amer. Math. Monthly (2020) Vol. 127, Issue 10, 936-938.
Mehdi Makhul, Josef Schicho, and Audie Warren, On Galois groups of type-1 minimally rigid graphs, arXiv:2306.04392 [math.CO], 2023.
G. A. Miller, Determination of all the groups of order 64, Amer. J. Math., 52 (1930), 617-634.
László Németh and László Szalay, Sequences Involving Square Zig-Zag Shapes, J. Int. Seq., Vol. 24 (2021), Article 21.5.2.
Ed Pegg, Jr., Sequence Pictures, Math Games column, Dec 08 2003.
Ed Pegg, Jr., Sequence Pictures, Math Games column, Dec 08 2003 [Cached copy, with permission (pdf only)]
Dayanand S. Rajan, The equations D^kY=X^n in combinatorial species, Discrete Mathematics 118 (1993) 197-206 North-Holland.
E. Rodemich, The groups of order 128, J. Algebra 67 (1980), no. 1, 129-142.
Gordon Royle, Combinatorial Catalogues. See subpage "Generators of small groups" for explicit generators for most groups of even order < 1000. [broken link]
D. Rusin, Asymptotics [Cached copy of lost web page]
Eric Weisstein's World of Mathematics, Finite Group
Wikipedia, Finite group
M. Wild, The groups of order sixteen made easy, Amer. Math. Monthly, 112 (No. 1, 2005), 20-31.
Gang Xiao, SmallGroup
Index entries for sequences related to groups
Index entries for "core" sequences

The main sequences concerned with group theory are A000001 (this one), A000679, A001034, A001228, A005180, A000019, A000637, A000638, A002106, A005432, A000688, A060689, A051532.
Cf. A046058, A046059, A023675, A023676.
A003277 gives n for which A000001(n) = 1, A063756 (partial sums).
A046057 gives first occurrence of each k.
A027623 gives the number of rings of order n.

A000001 := Concatenation([0], List([1..500], n -> NumberSmallGroups(n))); # Muniru A Asiru, Oct 15 2017

D:=SmallGroupDatabase(); [ NumberOfSmallGroups(D, n) : n in [1..1000] ]; // John Cannon, Dec 23 2006

GroupTheory:-NumGroups(n); # with(GroupTheory); loads this command - N. J. A. Sloane, Dec 28 2017

FiniteGroupCount[Range[100]] (* Harvey P. Dale, Jan 29 2013 *)
a[ n_] := If[ n < 1, 0, FiniteGroupCount @ n]; (* Michael Somos, May 28 2014 *)

From Mitch Harris, Oct 25 2006: (Start)
For p, q, r primes:
a(p) = 1, a(p^2) = 2, a(p^3) = 5, a(p^4) = 14, if p = 2, otherwise 15.
a(p^5) = 61 + 2*p + 2*gcd(p-1,3) + gcd(p-1,4), p >= 5, a(2^5)=51, a(3^5)=67.
a(p^e) ~ p^((2/27)e^3 + O(e^(8/3))).
a(p*q) = 1 if gcd(p,q-1) = 1, 2 if gcd(p,q-1) = p. (p < q)
a(p*q^2) is one of the following:
   ---------------------------------------------------------------------------
  | a(p*q^2) |            p*q^2 of the form             |  Sequences (p*q^2)  |
   ---------- ------------------------------------------ ---------------------
  | (p+9)/2  |          q == 1 (mod p), p odd           |      A350638        |
  |    5     |         p=3, q=2 =>  p*q^2 = 12          |Special case with A_4|
  |    5     |               p=2, q odd                 |      A143928        |
  |    5     |             p == 1 (mod q^2)             |      A350115        |
  |    4     | p == 1 (mod q), p > 3, p !== 1 (mod q^2) |      A349495        |
  |    3     |       q == -1 (mod p), p and q odd       |      A350245        |
  |    2     |  q !== +-1 (mod p) and p !== 1 (mod q)   |      A350422        |
   ---------------------------------------------------------------------------
[Table from Bernard Schott, Jan 18 2022]
a(p*q*r) (p < q < r) is one of the following:
  q == 1 (mod p)  r == 1 (mod p)  r == 1 (mod q)  a(p*q*r)
  --------------  --------------  --------------  --------
        No              No              No            1
        No              No              Yes           2
        No              Yes             No            2
        No              Yes             Yes           4
        Yes             No              No            2
        Yes             No              Yes           3
        Yes             Yes             No           p+2
        Yes             Yes             Yes          p+4
[table from Derek Holt].
(End)
a(n) = A000688(n) + A060689(n). - R. J. Mathar, Mar 14 2015

More terms from Michael Somos

Typo in b-file description fixed by David Applegate, Sep 05 2009

A386233 Number of good involutions of all nontrivial conjugation quandles of order A060652(n).

Original entry on oeis.org

1, 32, 1, 17, 1, 13056, 66, 33, 1, 1

Offset: 1

Luc Ta, Jul 16 2025

A good involution f of a quandle Q is an involution that commutes with all inner automorphisms and satisfies the identity f(y)(x) = y^-1(x). We call the pair (Q,f) a symmetric quandle.

A conjugation quandle is a group viewed as a quandle under the conjugation operation. Since conjugation quandles of abelian groups are trivial, this sequence only considers nonabelian groups.

			For n = 1, 3, 5, 9, 10, there is a unique nonabelian group G of order A060652(n), and G is centerless. It follows from Ta, Prop. 5.3 that a(n) = 1.

Seiichi Kamada, Quandles with good involutions, their homologies and knot invariants, Intelligence of Low Dimensional Topology 2006, World Scientific Publishing Co. Pte. Ltd., 2007, 101-108.

Lực Ta, Good involutions of conjugation subquandles, arXiv:2505.08090 [math.GT], 2025. See Table 2.
Lực Ta, Symmetric-Rack-Classification, GitHub, 2025.

Cf. A000001, A060652, A060689, A386233, A181769, A383828, A386231, A386232.

Other sequences related to racks and quandles: A383144, A181771, A176077, A179010, A193024, A254434, A177886, A196111, A226173, A236146, A248908, A165200, A242044, A226193, A242275, A243931, A257351, A198147, A225744, A226172, A226174, A383828-A383831, A383145, A383146, A178432, A385041, A383145, A181770.

GAP
```
See Ta, GitHub link
```

A083573 Maximal number of subgroups in a non-Abelian group with n elements, or zero if there are no non-Abelian groups of order n.

Original entry on oeis.org

0, 0, 0, 0, 0, 6, 0, 10, 0, 8, 0, 16, 0, 10, 0, 35, 0, 28, 0, 22, 10, 14, 0, 54, 0, 16, 19, 28, 0, 28, 0, 158, 0, 20, 0, 78, 0, 22, 16, 76, 0, 36, 0, 40, 0, 26, 0, 236, 0, 64, 0, 46, 0, 212, 14, 98, 22, 32, 0, 80, 0, 34, 36, 937, 0, 52, 0, 58, 0, 52, 0, 272

Offset: 1

Victoria A. Sapko (vsapko(AT)canes.gsw.edu), Jun 13 2003

nonn

A group G is non-Abelian iff there are two elements x,y such that xy != yx. Then and are nontrivial subgroups whose order divides the order of G which therefore cannot be prime (neither the square of a prime: there are only two nonisomorphic groups of that order which are both abelian; see A051532 for more). This also implies that a(n) >= 2+2+2 = 6 for all nonzero elements of this sequence and for even n=2m>4 there is the non-Abelian dihedral group D_m with A007503(m)=sigma(m)+tau(m)=A000005(m)+A000203(m), providing a lower bound. - M. F. Hasler, Dec 03 2007

			a(6)=6 because the only non-Abelian group with 6 elements is S_3 with 6 subgroups.

Eric M. Schmidt, Table of n, a(n) for n = 1..511

Cf. A018216, A061034.

Cf. A051532, A060689, A007503.

A083573 := function(n) local max, grp, i; max := 0; for i in [1..NumberSmallGroups(n)] do grp := SmallGroup(n, i); if (not IsAbelian(grp)) then max := Maximum(max, Sum(ConjugacyClassesSubgroups(grp), Size)); fi; od; return max; end; # Eric M. Schmidt, Sep 07 2012

a(n) = 0 <=> A060689(n)=0 <=> n is in A051532 ; otherwise a(n) >= 6 and a(2n) >= A007503(n). - M. F. Hasler, Dec 03 2007

More terms from Eric M. Schmidt, Sep 07 2012

cp's OEIS Frontend

A060650 Numbers n such that there exist exactly one non-Abelian group of order n, i.e., such that A060689(n) = 1.

Views

Author

Keywords

Links

Extensions

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

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

PARI

Python

Sage

Formula

A000001 Number of groups of order n.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

Formula

Extensions

A386233 Number of good involutions of all nontrivial conjugation quandles of order A060652(n).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

A083573 Maximal number of subgroups in a non-Abelian group with n elements, or zero if there are no non-Abelian groups of order n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

Formula

Extensions

A238877 Members of a pair (a,b) such that a is the number of Abelian groups of order n and b is the number of non-Abelian groups of order n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A271664 Erroneous version of A271811 (but for odd primes only).

Views

Author

Keywords

Comments

Links