# Tag Archives: prime

## 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

| 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

| Tagged , , , , , , , , , , | 2 Comments

## MaBloWriMo 16: Recap and outline

We have now established all the facts we will need about groups, and have incidentally just passed the halfway point of MaBloWriMo. This feels like a good time to take a step back and outline what we’ve done so far … Continue reading

## MaBloWriMo 9: omega and its ilk

So far, we have defined a sequence of numbers , and showed that where and . This is a big step: the are defined recursively (that is, each is defined in terms of the previous ), but and give us … Continue reading

Posted in algebra, arithmetic, modular arithmetic, number theory | Tagged , , , , , , | Comments Off on MaBloWriMo 9: omega and its ilk

## MaBloWriMo 8: definition of s and mod

I was a little unsatisfied with my proof yesterday since I don’t think I did a very good job explaining how enters into things. When sinuheancelmo asked a question which seemed to show confusion on exactly that point, I figured … Continue reading

| | Comments Off on MaBloWriMo 8: definition of s and mod

## MaBloWriMo 7: s via omega

Yesterday, I challenged you to prove that where , , and the are defined by and . The proof is by induction on . The base case is just arithmetic: Now suppose that we already know the statement holds for … Continue reading

| Tagged , , , , , , , | 11 Comments

## MaBloWriMo 6: The Proof Begins

Today we’re going to start in on proving the Lucas-Lehmer test. Yesterday we saw how, given a Mersenne number , we can define a sequence of integers , with the claim that if and only if is prime. We’re going … Continue reading

Posted in algebra, arithmetic, computation, number theory, primes | Tagged , , , , , , , | 1 Comment

## MaBloWriMo 5: The Lucas-Lehmer Test

We now know that can only be prime when is prime; but even when is prime, sometimes is prime and sometimes it isn’t. The Lucas-Lehmer test is a way to tell us whether is prime, for any prime . The … Continue reading

| Tagged , , , , , , | 3 Comments

## MaBloWriMo 4: not all prime-index Mersenne numbers are prime

Over the past couple days we saw that if is composite, then is also composite. Equivalently, this means that if we want to be prime, then at the very least must also be prime. But at this point there is … Continue reading

| Tagged , , , , , , | 1 Comment

## MaBloWriMo 3: Mersenne composites in binary

Yesterday we saw that must be composite, since . Today I’ll talk about a somewhat more intuitive way to see this. Recall that we can write numbers in base 2, or “binary”, using the digits 0 and 1 (called “bits”, … Continue reading

| Tagged , , , , , , | 1 Comment