Ask your own question, for FREE!
Mathematics 15 Online
OpenStudy (praxer):

[[closed]]

OpenStudy (praxer):

ganeshie8 (ganeshie8):

Are you using Burton ?

OpenStudy (praxer):

Yes !

ganeshie8 (ganeshie8):

I like that book

ganeshie8 (ganeshie8):

tell me what is a pseudo prime ?

OpenStudy (praxer):

n is a pseudo prime if n|2^{n}-2

OpenStudy (praxer):

or rather n|a^{n}-a

ganeshie8 (ganeshie8):

right, what is an absolute pseudo prime ?

ganeshie8 (ganeshie8):

\[\large a^n \equiv a \pmod{n}\] A composite number \(n\) is called an absolute pseudo prime only if above congruence holds for all integers \(a\)

ganeshie8 (ganeshie8):

btw are you familiar wid congruences ?

OpenStudy (praxer):

yes !

ganeshie8 (ganeshie8):

good, lets look at what a `square free integer` means first

OpenStudy (praxer):

a integer which is not divided by a perfect square ???

ganeshie8 (ganeshie8):

thats right, another easy way to make sense of it is by looking at the prime factorization : \(\large 30 = 2*3*5 \) is a square free integer because it is a product of single primes

ganeshie8 (ganeshie8):

\(\large 120 = 2^3*3*5\) is not a square free integer because the exponent of \(2\) is not \(1\)

ganeshie8 (ganeshie8):

In short : an integer is square free if all the exponents of primes in its prime factorization are \(1\)

OpenStudy (praxer):

okay! got this. I have a doubt in paragraph. it was taken that a=k and the rest follows that k^n cong k(mod n) but for the later part I am confused. Like it is written k cong k^n cong 0 modk^2. I mean how can i infer this from the last statement. Help me ! May be I am missing anything.

ganeshie8 (ganeshie8):

You're interpreting it correctly... let me see if I can make it more simpler for you :)

ganeshie8 (ganeshie8):

suppose \(n\) is an absolute pseudo prime and not square free. since \(n\) is not square free, we have \(k^2 | n\) for some square factor, yes ?

OpenStudy (praxer):

yes.. !! :)

ganeshie8 (ganeshie8):

next, since \(n\) is an absolute pseudo prime, we have : \[k^n\equiv k \pmod{n}\] yes ?

ganeshie8 (ganeshie8):

that just another way of saying \(\large n | (k^n-k)\)

OpenStudy (praxer):

yes

ganeshie8 (ganeshie8):

we also have \(k^2 | n\) that implies \(k^2 | (k^n-k)\) yes ?

OpenStudy (praxer):

yes :)

ganeshie8 (ganeshie8):

\(\large k^2 | (k^n-k)\) is impossible, why ?

OpenStudy (praxer):

cause square of a number cannot divide the number .

OpenStudy (praxer):

like 25 doesnot divide 5

ganeshie8 (ganeshie8):

yes but we don't have \(k^2|k\) all we have is \(k^2 | (k^n-k)\)

ganeshie8 (ganeshie8):

may i know why are you ignoring \(k^n\) ?

OpenStudy (praxer):

oho... I missed that.

ganeshie8 (ganeshie8):

Easy, we already know that \(k^2 | k^n\) so \(k^2 | (k^n - k)\) is equivalent to \(k^2 | (0-k)\) whis is equivalent to \(k^2|-k\) which is equivalent to \(k^2|k\) which is nonsense.

ganeshie8 (ganeshie8):

we reached that because we have wrongly assumed that the absolute pseudo prime \(n\) is not square free. so the opposite of our assumption must be true : \(n\) is square free

OpenStudy (praxer):

one more thing for carmichael no. it is required that gcd of the the base and the composite no. to be 1 ???

ganeshie8 (ganeshie8):

"carmichael number" is a synonym for "absolute pseudo prime"

ganeshie8 (ganeshie8):

both are same

OpenStudy (praxer):

oh it is in the book itself, hahahahha... silly me.. anyways thank you....

ganeshie8 (ganeshie8):

yw:)

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!