OFFSET
1,1
COMMENTS
A225245(a(n)) = 0.
Verified up to a(366) = 1000, a(n) is also the order of a finite group G for which |Out(G)|>|G| for at least one group of order a(n), Out(G) being the outer automorphism group of G. - Miles Englezou, Apr 19 2024
By definition, a(n) is nonsquarefree for every n, since every squarefree number m has a trivial partition into distinct squarefree divisors m = m. - Miles Englezou, Apr 20 2024
If k is a term then so is k*m where m|k. - David A. Corneth, Apr 27 2024
LINKS
Reinhard Zumkeller, Table of n, a(n) for n = 1..1000
MATHEMATICA
f[n_] := Coefficient[Product[If[MoebiusMu[d] != 0, 1 + x^d, 1], {d, Divisors[n]}], x, n];
Select[Range[200], f[#] == 0&] (* Jean-François Alcover, May 04 2024, after Ilya Gutkovskiy in A225245 *)
PROG
(Haskell)
import Data.List (elemIndices)
a225353 n = a225353_list !! (n-1)
a225353_list = map (+ 1) $ elemIndices 0 a225245_list
CROSSREFS
KEYWORD
nonn
AUTHOR
Reinhard Zumkeller, May 05 2013
STATUS
approved