OFFSET
1,1
COMMENTS
a(n) is 6n if n is odd and 4n if n is even. This is because the groups involved are C(n) X S3 if n is odd, where S3 is the symmetric group of order 6, and C(n/2) X D8 if n is even, where D8 is the dihedral group of order 8 and C(m) is the cyclic group of order m.
By Lagrange's Theorem a(n) is a multiple of n.
MATHEMATICA
Table[If[OddQ[n], 6n, 4n], {n, 100}] (* Harvey P. Dale, Mar 03 2023 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Bob Heffernan and Des MacHale, Jan 24 2021; corrected Feb 14 2021
STATUS
approved