%I #14 Sep 16 2012 22:44:27
%S 1,2,3,4,5,1,7,2,9,1,11,1,13,1,15,2,17,1,19,1,1,1,23,1,25,1,3,2,29,1,
%T 31,2,33,1,35,1,37,1,1,2,41,1,43,2,45,1,47,1,49,1,51,1,53,1,1,1,1,1,
%U 59,1,61,1,3,2,65,1,67,1,69,1,71,1,73,1,1,2,77,1
%N Minimal size of the center of G where G is a finite group of order n.
%C a(n) = n if and only if n belongs to sequence A051532 - Avi Peretz (njk(AT)netvision.net.il), Feb 27 2001
%C a(n) = 1 if and only if n occurs in A060702. - _Eric M. Schmidt_, Aug 27 2012
%H Eric M. Schmidt, <a href="/A059806/b059806.txt">Table of n, a(n) for n = 1..2000</a>
%H MathOverflow, <a href="http://mathoverflow.net/questions/107182/center-of-p-groups">Center of p-groups</a>
%F For prime p and m >= 3, a(p^m) = p. - _Eric M. Schmidt_, Aug 27 2012
%e a(6) = 1 because the symmetric group S_3 has trivial center.
%o (GAP) A059806 := function(n) local min, fact, i; if (n mod 6 = 0) then return 1; fi; if (IsPrimePowerInt(n)) then fact := Factors(n); if (Length(fact) <> 2) then return fact[1]; fi; fi; min := n; for i in [1..NumberSmallGroups(n)] do min := Minimum(min, Size(Center(SmallGroup(n, i)))); if (min = 1) then break; fi; od; return min; end; # _Eric M. Schmidt_, Aug 27 2012
%Y Cf. A059807, A051532.
%K nonn
%O 1,2
%A Noam Katz (noamkj(AT)hotmail.com), Feb 24 2001
%E More terms from _Eric M. Schmidt_, Aug 27 2012