OFFSET
1,4
COMMENTS
For finite groups solvable is equivalent to polycyclic.
LINKS
Muniru A Asiru, Table of n, a(n) for n = 1..500
Wikipedia, Polycyclic group
Wikipedia, Solvable group
FORMULA
a(n) = A000001(n) for n < 60.
a(n) <= A000001(n) with equality if and only if n is not in A056866. In particular a(n) = A000001(n) for odd n (this is the Feit-Thompson theorem). - Benoit Jubin, Mar 30 2012
PROG
(GAP)
a:=[];;
N:=120;;
for n in [1..N] do
a[n]:=0;;
for j in [1..NrSmallGroups(n)] do
if IsPcGroup(SmallGroup(n, j)) = true then
a[n]:=a[n]+1;
fi;
od;
Print(a[n], ", ");
od;
CROSSREFS
KEYWORD
nonn
AUTHOR
W. Edwin Clark, Dec 04 2011
STATUS
approved