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.

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

This page as a plain text file.
%I A192005 #26 Oct 21 2024 09:02:57
%S A192005 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,
%T A192005 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,
%U A192005 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
%N A192005 Number of non-cyclic abelian groups of finite order. The order is given by A013929.
%C A192005 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.
%C A192005 See the list of abelian groups of small order in the Wikipedia link.
%D A192005 Andreas Speiser, Die Theorie der Gruppen von endlicher Ordnung, Vierte Auflage, Birkhäuser, 1956.
%H A192005 Wikipedia, <a href="http://en.wikipedia.org/wiki/List_of_small_groups">List of small groups</a>.
%F A192005 a(n) = A000688(A013929(n)) - 1, n>=1.
%F A192005 See the formula for A000688 using the product of the number of partitions of the exponents in the prime number factorization.
%F A192005 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
%e A192005 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).
%e A192005 n=2: there are 2 non-cyclic abelian groups of order 8=A013929(2), namely Z_2 x Z_4 and (Z_2)^3.
%e A192005 n=3: order 9=A013929(3), (Z_3)^2.
%e A192005 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').
%e A192005 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.
%t A192005 FiniteAbelianGroupCount /@ Select[Range[300], ! SquareFreeQ[#] &] - 1 (* _Amiram Eldar_, Oct 01 2023 *)
%Y A192005 Cf. A000688, A013929, A013661, A021002.
%K A192005 nonn,easy
%O A192005 1,2
%A A192005 _Wolfdieter Lang_, Jul 28 2011