A192005 Number of non-cyclic abelian groups of finite order. The order is given by A013929.

1, 2, 1, 1, 4, 1, 1, 2, 1, 2, 1, 6, 3, 2, 1, 1, 4, 1, 1, 1, 2, 2, 1, 1, 10, 1, 5, 1, 1, 4, 4, 1, 2, 1, 1, 6, 1, 1, 3, 2, 5, 4, 1, 1, 2, 1, 1, 2, 1, 14, 1, 2, 2, 1, 9, 1, 1, 1, 2, 1, 1, 6, 4, 1, 2, 1, 1, 1, 1, 4, 3, 2, 1, 2, 10, 3, 1, 5, 1, 1, 4, 1, 8, 1, 6, 3, 1, 2, 1, 1, 4, 1, 6, 1, 1, 2, 2, 3, 21, 1, 1, 2, 1, 2, 4, 1, 1, 1, 2

Offset

1,2

Comments

Every abelian group of finite order is the direct product of cyclic groups (there may be only one factor). See, e.g., the A. Speiser reference, Satz 43, p. 49, in combination with Satz 42, p. 47, and also Satz 4, p. 17, with the remark on the direct product on page 28.

See the list of abelian groups of small order in the Wikipedia link.

References

Andreas Speiser, Die Theorie der Gruppen von endlicher Ordnung, Vierte Auflage, Birkhäuser, 1956.

Links

Table of n, a(n) for n=1..109.

Wikipedia, List of small groups.

Formula

a(n) = A000688(A013929(n)) - 1, n>=1.

See the formula for A000688 using the product of the number of partitions of the exponents in the prime number factorization.

Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = (zeta(2) * c - 1)/(zeta(2) - 1) - 1 = 3.3025914257..., where c = A021002. - Amiram Eldar, Oct 01 2023

Example

n=1: there is one abelian group of order 4=A013929(1), which is not the cyclic group Z_4 (in additive notation), namely the Klein 4-group: Z_2 x Z_2 (also denoted by (Z_2)^2).
n=2: there are 2 non-cyclic abelian groups of order 8=A013929(2), namely Z_2 x Z_4 and (Z_2)^3.
n=3: order 9=A013929(3), (Z_3)^2.
n=4: order 12, Z_3 x (Z_2)^2 (note that Z_6 = Z_3 x Z_2 and Z_12 = Z_4 x Z_3, where = means 'is isomorphic to').
n=5: order 16. The four non-cyclic groups are (Z_2)^4, Z_4 x (Z_2)^2, Z_8 x Z_2 and (Z_4)^2.

Mathematica

FiniteAbelianGroupCount /@ Select[Range[300], ! SquareFreeQ[#] &] - 1 (* Amiram Eldar, Oct 01 2023 *)

Crossrefs

Cf. A000688, A013929, A013661, A021002.

Sequence in context: A285425 A008307 A249694 * A333810 A205592 A099238

Adjacent sequences: A192002 A192003 A192004 * A192006 A192007 A192008

Keyword

nonn,easy

Author

Wolfdieter Lang, Jul 28 2011

Status

approved