Tag Archives: prime

New Mersenne prime

With impeccable timing, just in the middle of my series about primality testing, a new Mersenne prime has been announced, a little under two years after the previous one. In particular, it has been shown that is prime; this is … Continue reading

Posted in number theory, primes | Tagged , , , , | Leave a comment

Four formats for Fermat: correction!

In my previous post I explained three variants on Fermat’s Little Theorem, as well as a fourth, slightly more general variant, which it turns out is often called Euler’s Totient Theorem. Here’s what I said: If and is any integer, … Continue reading

Posted in number theory, primes | Tagged , , , , , , | 4 Comments

The route puzzle

While poking around some old files I came across this puzzle: (Click for a larger version.) I didn’t make it, and I have no idea where I got it from (do you know?). But in any case, wherever it comes … Continue reading

Posted in arithmetic, challenges, number theory, proof, puzzles | Tagged , , , , , , | 7 Comments

M74207281 is prime!

I’m a bit late to the party, but the Great Internet Mersenne Prime Search has recently announced a newly verified prime number, , with a whopping 22,338,618 decimal digits! This is now the largest known prime number (though of course … Continue reading

Posted in computation | Tagged , , , ,

MaBloWriMo 23: contradiction!

So, where are we? We assumed that is divisible by , but is not prime. We picked a divisor of and used it to define a group , and yesterday we showed that has order in . Today we’ll use … Continue reading

Posted in algebra, group theory, modular arithmetic, number theory, proof | Tagged , , , , , , , , , , , | 5 Comments

MaBloWriMo 22: the order of omega, part II

Yesterday, from the assumption that is divisible by , we deduced the equations and which hold in the group . So what do these tell us about the order of ? Well, first of all, the second equation tells us … Continue reading

Posted in algebra, group theory, modular arithmetic, number theory, proof | Tagged , , , , , , , , , , | 1 Comment

MaBloWriMo 21: the order of omega, part I

Now we’re going to figure out the order of in the group . Remember that we started by assuming that passed the Lucas-Lehmer test, that is, that is divisible by . Remember that we also showed for all . In … Continue reading

Posted in algebra, group theory, modular arithmetic, number theory, proof | Tagged , , , , , , , , , , | 2 Comments