login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A335383 a(n) is the number of irreducible Mersenne polynomials in GF(2)[x] that have degree n. 0
1, 2, 2, 2, 2, 4, 0, 4, 2, 2, 2, 0, 2, 6, 0, 6, 2, 0, 2, 2, 2, 4, 0, 4, 0, 0, 8, 2, 2, 8, 0, 4, 2, 2, 2, 0, 0, 6, 0, 4, 0, 0, 2, 0, 2, 8, 0, 8, 0, 0, 8, 0, 0, 4, 0, 8, 2, 0, 8, 0, 2, 8, 0, 4, 0, 0, 4, 0, 0, 10, 0, 6, 2, 0, 2, 0, 0, 4, 0, 6, 0, 0, 6, 0, 2, 2, 0, 2, 0, 0, 2, 2, 2, 4, 0, 8, 4, 0, 6 (list; graph; refs; listen; history; text; internal format)
OFFSET

2,2

COMMENTS

A Mersenne polynomial is a binary (i.e., an element of GF(2)[x]) polynomial M, of degree > 1, such that M+1 has only 0 and 1 as roots in a fixed algebraic closure of GF(2).

If for some positive integers  a,b, M = x^a(x+1)^b+1 is an irreducible Mersenne polynomial, then gcd(a,b)=1. This condition is not sufficient.

There is no known formula for a(n). Of course it is bounded above by the total number of prime (irreducible) binary polynomials of degree n, but this is a too weak upper bound. A trivial, better upper bound, is simply n-1, the total number of Mersenne polynomials (prime or not) of degree n.

LINKS

Table of n, a(n) for n=2..100.

L. H. Gallardo, O. Rahavandrainy, On even (unitary) perfect polynomials over F_2, Finite Fields Appl. 18, no. 5, (2012), 920-932.

L. H. Gallardo, O. Rahavandrainy, Characterization of Sporadic perfect polynomials over F_2, Funct. Approx. Comment. Math.,(2016), 7-21.

L. H. Gallardo, O. Rahavandrainy, On Mersenne polynomials over F_2, Finite Fields Appl. 59 (2019), 284-296.

L. H. Gallardo, O. Rahavandrainy, GF(2),On (unitary) perfect polynomials over F_2 with only Mersenne primes as odd divisors, (2019), arXiv:1908.00106 [math.NT].

FORMULA

a(A272486(n)) = 0. - Michel Marcus, Jun 07 2020

EXAMPLE

For n = 5 one has a(5) = 2 since there are 2 irreducible

Mersenne polynomials of degree 5. Namely, x^2*(x+1)^3+1 and x^3*(x+1)^2+1.

For n = 8, a(8) = 0 since there are no irreducible Mersenne polynomial of degree 8.

PROG

(PARI) a(n) = sum(k=1, n-1, polisirreducible(Mod(1, 2)*(x^(n-k)*(x+1)^k+1))); \\ Michel Marcus, Jun 07 2020

CROSSREFS

Cf. A267918, A272486, A162570.

Sequence in context: A119762 A153667 A216322 * A125914 A086668 A092904

Adjacent sequences:  A335380 A335381 A335382 * A335384 A335385 A335386

KEYWORD

nonn

AUTHOR

Luis H. Gallardo, Jun 04 2020

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 September 24 04:19 EDT 2020. Contains 337317 sequences. (Running on oeis4.)