Fork me on GitHub
Math for the people, by the people.

User login

Carmichael numbers - 561 (contd)

Type of Math Object: 
Definition
Major Section: 
Reference

Comments

Let ((12+i)^40-1)/561 = a +ib .Then (-12 - i), (1 - 12i) and (-1+ 12i) all yield a + ib when subjected to the same operation as above. a - ib is yielded by the conjugates of the above four Gaussian integers when subjected to the above operation.

Since we know that 561 is not a Carmichael number in Z(i) we need to know the code for searching those bases for which 561 is a pseudoprime. Code in pari: p(n) = ((n + i)^40 - 1)/561. Incidentally 153 + i is also a valid base for pseudoprimality of 561; needless to say its associates 153 - i etc. are also valid bases.

This application is valid for not only x^2+1 but also for other quadratic polynomials including non-monic ones. Members can refer to earlier message pertaining to the case x^2 + 1 for the algorithm.

This application is valid for not only x^2+1 but also for other quadratic polynomials including non-monic ones. Members can refer to earlier message pertaining to the case x^2 + 1 for the algorithm.

This application is valid for not only x^2+1 but also for other quadratic polynomials including non-monic ones. Members can refer to earlier message pertaining to the case x^2 + 1 for the algorithm.

We can use pari to find the bases for which powers are pseudoprimes. Example: 25 is pseudoprime to the bases 7, 18 and 24.

(2^(5n) -1)/31 is an infinite group isomorphic with Z_31. Here n belongs to N.

(2^(5n) -1)/31 is an infinite group isomorphic with Z_31. Here n belongs to N.

Deva, can you please explain in detail which is the (infinite) group you mean? I see only the expression 25n-131superscript25n131\frac{2^{5n}-1}{31}.

The group 31subscript31\mathbb{Z}_{31} is finite.

Pahio, I meant the finite group of remainders (mod 31)-sorry I typed ” ïnfinite ”.

Ok, 31subscript31\mathbb{Z}_{31} is an additive group of order 31 (and forms in fact a field since 31 is prime).

But I am interested which isomorphism you are speaking of. The expression 25n-131superscript25n131\frac{2^{5n}-1}{31} says me nothing -- excuse me!

Ok, 31subscript31\mathbb{Z}_{31} is an additive group of order 31 (and forms in fact a field since 31 is prime).

But I am interested which isomorphism you are speaking of. The expression 25n-131superscript25n131\frac{2^{5n}-1}{31} says me nothing -- excuse me!

Ok, 31subscript31\mathbb{Z}_{31} is an additive group of order 31 (and in fact a Galois field since 31 is prime).

But I’m interested in the isomorphism you are speaking of. The expression 25n-131superscript25n131\frac{2^{5n}-1}{31} says me nothing -- excuse me!

Message system does not work =o(

…seem to work for me (I see your message, do you see this?)

Thanks Joe,

Now the messages are visible again!

The search not…

Let f(n) = a^n + c (a,n and c belong to N, n is not fixed ). Let M_p be a Mersenne prime. If M-p does not exactly divide f(n) for n = 1 to p then M_p does not exactly divide f(n) for any value of n, however large n may be.

Let f(n) = a^n + c (a,n and c belong to N, n is not fixed ). Let M_p be a Mersenne prime. If M-p does not exactly divide f(n) for n = 1 to p then M_p does not exactly divide f(n) for any value of n, however large n may be.

Let f(n) = a^n + c (a,n and c belong to N, n is not fixed ). Let M_p be a Mersenne prime. If M-p does not exactly divide f(n) for n = 1 to p then M_p does not exactly divide f(n) for any value of n, however large n may be.

Subscribe to Comments for "Carmichael  numbers -  561 (contd)"