login
This site is supported by donations to The OEIS Foundation.

 

Logo

Please make a donation to keep the OEIS running. We are now in our 55th year. In the past year we added 12000 new sequences and reached 8000 citations (which often say "discovered thanks to the OEIS"). We need to raise money to hire someone to manage submissions, which would reduce the load on our editors and speed up editing.
Other ways to donate

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A137315 a(n) = least number m such that any finite group of order at least m has at least n automorphisms. 1
1, 3, 7, 7, 13, 13, 19, 19, 31, 31, 31, 31, 43, 43, 43, 43, 61, 61, 61, 61, 67, 67, 67, 67, 91, 91, 91, 91, 91, 91, 91, 91, 121, 121, 121, 121, 127, 127, 127, 127, 151, 151, 151, 151, 151, 151, 151, 151 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

a(n) <= (n-1)^(n + (n-2)[log_2(n-1)]) for n > 4 [Ledermann, Neumann, Thm. 6.6].

a(n) is odd [MacHale, Sheehy, Thm. 15].

a(2n-1) = a(2n) for 1 < n < 204 [ibid.].

The case of cyclic groups shows that a(n)>=A139795(n). This inequality can be strict: if M denotes the Mathieu group M_{22} of order 2^7.3^2.5.7.11, then Aut(12.M) = M.2, so that a(2^8.3^2.5.7.11 + 1) > 2^9.3^3.5.7.11, but A139795(2^8.3^2.5.7.11 + 1) = 2.3.5.7^2.11.13.23 + 1 < 2^9.3^3.5.7.11.

LINKS

Table of n, a(n) for n=1..48.

John N. Bray and Robert A. Wilson, On the orders of automorphism groups of finite groups, Bull. London Math. Soc. 37 (2005) 381--385.

W. Ledermann, B. H. Neumann, On the order of the automorphism group of a finite group. I, Proc. Roy. Soc. Lon., 233A(1195) (1956), 494-506

D. MacHale and R. Sheehy, Finite groups with few automorphisms, Math. Proc. Roy. Irish Acad., 104A(2) (2004), 231--238.

EXAMPLE

a(3) = a(4) = 7 because every finite group with at least 7 elements has at least 4 automorphisms while the cyclic group of order 6 has only phi(6)=2 automorphisms.

CROSSREFS

Different from A139795 (see Comments).

Sequence in context: A024612 A227025 A073881 * A139795 A290649 A118259

Adjacent sequences:  A137312 A137313 A137314 * A137316 A137317 A137318

KEYWORD

nonn,hard,more

AUTHOR

Benoit Jubin, Apr 06 2008, May 26 2008

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 6 21:44 EST 2019. Contains 329809 sequences. (Running on oeis4.)