OFFSET
1,1
COMMENTS
Conjecture 1: a(n) is the smallest nontrivial power of p such that there exists a finite nontrivial group whose automorphism group is of order a(n).
Conjecture 2: for n >= 2, if |Aut(G)| = a(n), then |G| = a(n)/p, where p = prime(n). Moreover, G is unique up to isomorphism if p == 2 (mod 3).
LINKS
Jianing Song, Table of n, a(n) for n = 1..10000
Peter Hegarty and Desmond MacHale, Minimal odd order automorphism groups, arXiv:0905.0993 [math.GR], 2009.
EXAMPLE
By the Peter Hegarty and Desmond MacHale link we have |Aut(G)| = 3^r => |Aut(G)| = 2187 = 3^7. It seems that if |Aut(G)| = 2187, then G = SmallGroup(729,m) for m = 90, 92 or 414.
It seems that |Aut(G)| = 5^r => |Aut(G)| >= 15625 = 3^6, and |Aut(G)| = 15625 => G = SmallGroup(3125,38).
It seems that |Aut(G)| = 7^r => |Aut(G)| >= 823543 = 7^7, and |Aut(G)| = 823543 => G = SmallGroup(117649,m) for m = 199, 824, 831 through 836.
It seems that |Aut(G)| = 11^r => |Aut(G)| >= 1771561 = 11^6, and |Aut(G)| = 1771561 => G = SmallGroup(161051,40).
PROG
(PARI) a(n) = if(n==1, 2, my(p=prime(n)); if(p%3==2, p^6, p^7))
(Python)
from sympy import prime
def A365179(n): return 2 if n == 1 else (p:=prime(n))**(6 if p%3 == 2 else 7) # Chai Wah Wu, Aug 26 2023
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Jianing Song, Aug 25 2023
STATUS
approved