A127835 (Order of Galois group of Chebyshev polynomial)/(order of polynomial); or A124827(n)/n.
1, 1, 2, 2, 4, 2, 6, 2, 6, 4, 10, 4, 12, 6, 8, 4, 16, 6, 18, 8, 12
Offset: 1
Crossrefs
Cf. A124827.
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.
Galois group of P+6 = x^8 - 8*x^6 + 20*x^4 - 16*x^2 + 8 is group 6 of degree 8 in MAGMA Transitive Group Identification, permutation group acting on a set of cardinality 8 with two generators, isomorphic to dihedral group D(8); it has index 2520 in symmetric group Sym(8) and order 16. Hence a(6) = 16. a(34) = 0 since P+34 = x^8 - 8*x^6 + 20*x^4 - 16*x^2 + 36 = (x^4 - 8*x^2 + 18)*(x^4 + 2) is not irreducible.
Zx:=PolynomialRing(Integers()); T:=Coefficients(ChebyshevT(8)); P:=Zx ! [ 2^(2-i)*T[i]: i in [1..#T] ]; [ IsIrreducible(f) select Order(GaloisGroup(f)) else 0 where f is P+n: n in [0..70] ]; /* Klaus Brockhaus, Dec 27 2007 */
Q:=RationalField(); R:=PolynomialRing(Q); f:=x^8 - 8*x^6 + 20*x^4 - 16*x^2 + 1; for n in {0 .. 30} do f:=f+1; if IsIrreducible(f) then Order(GaloisGroup(f)); else 0; end if; end for; /* N. J. A. Sloane, Dec 28 2007 */
Q:=RationalField(); R:=PolynomialRing(Q); f:=128*x^8 - 256*x^6 + 160*x^4 - 32*x^2 + 0; for n in {0 .. 30} do f:=f+1; Order(GaloisGroup(f)); end for; /* N. J. A. Sloane */
Comments