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.

A059807 Maximal size of the commutator subgroup of G where G is a finite group of order n.

This page as a plain text file.
%I A059807 #7 Sep 20 2012 17:03:12
%S A059807 1,1,1,1,1,3,1,2,1,5,1,4,1,7,1,4,1,9,1,5,7,11,1,12,1,13,3,7,1,15,1,8,
%T A059807 1,17,1,9,1,19,13,10,1,21,1,11,1,23,1,24,1,25,1,13,1,27,11,14,19,29,1,
%U A059807 60,1,31,7,16,1,33,1,17,1,35,1,36,1,37,25,19,1
%N A059807 Maximal size of the commutator subgroup of G where G is a finite group of order n.
%C A059807 a(n) = 1 iff n belongs to sequence A051532. - Avi Peretz (njk(AT)netvision.net.il), Feb 27 2001
%H A059807 Eric M. Schmidt, <a href="/A059807/b059807.txt">Table of n, a(n) for n = 1..2000</a>
%H A059807 MathOverflow, <a href="http://mathoverflow.net/questions/107182/center-of-p-groups">Center of p-groups</a>
%F A059807 For prime p and m >= 2, a(p^m) = p^(m - 2). - _Eric M. Schmidt_, Sep 20 2012
%e A059807 a(6) = 3 because the commutator subgroup of the symmetric group S_3 is the group Z_3.
%o A059807 (GAP) A059807 := function(n) local max, fact, i; if (IsPrimePowerInt(n)) then fact := Factors(n); if (Length(fact) >= 2) then return n/fact[1]^2; fi; fi; max := 1; for i in [1..NumberSmallGroups(n)] do max := Maximum(max, Size(DerivedSubgroup(SmallGroup(n, i)))); od; return max; end; # _Eric M. Schmidt_, Sep 20 2012
%Y A059807 Cf. A059806, A051532.
%K A059807 nonn
%O A059807 1,6
%A A059807 Noam Katz (noamkj(AT)hotmail.com), Feb 24 2001
%E A059807 More terms from _Eric M. Schmidt_, Sep 20 2012