How can we possibly show this? We have such little control over anything. Wait, Does showing that \( 2^{ L f( 2^n)} \equiv 2^{ n - 2^n} \pmod { f(2^n)} \) remind us of anything? The Lefthandside makes it so tempting for us to want to apply Fermat's Little Theorem. Oh, dang! If only \(f(2^n)\) was a prime ...

Such wishful thinking. How do we "make" it a prime? Well, if it isn't a prime, how about we take a prime factor \(p\). Now, we backtrack our breadcrumbs to fix it. Remember when I said that breadcrumb 2 is too strong?

Breadcrumb 2B: For all \(n\), for any \( p \mid f(2^n)\), then there exists a \(k\) such that \( p \mid f(k)\) and \( p \mid f(2^k)\).

Breadcrumb 3B: Let's classify (possible) candidates for \(k\). From the 1st well known result, \(k = 2^n + Lp\), where \(L\) is any integer, work.

Breadcrumb 4B: We want to show that there is some \(L\) such that \( p \mid f(2^{ 2^n + L p})\).

**Exercise 8:** What do you think Breadcrumb 5B looks like?

Ponder this, and then move on to the next note in this set.

No vote yet

1 vote

×

Problem Loading...

Note Loading...

Set Loading...

Easy Math Editor

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

There are no comments in this discussion.