Ask your own question, for FREE!
Mathematics 15 Online
OpenStudy (claire.bracken):

Find an integer $x$ such that $0 \leq x < 527$ and $x^{37} \equiv 3 \pmod{527}$.

ganeshie8 (ganeshie8):

May be start by factoring 527

OpenStudy (claire.bracken):

@ganeshie8 why?

OpenStudy (zzr0ck3r):

On this site, if you use `\(` and `\)` instead of the `$` it will look like you want it to. `Find an integer \(x\) such that \(0 \leq x < 527\) and \(x^{37} \equiv 3 \pmod{527}\).` \(\downarrow\) Find an integer \(x\) such that \(0 \leq x < 527\) and \(x^{37} \equiv 3 \pmod{527}\)

OpenStudy (claire.bracken):

Thanks! @zzr0ck3r

ganeshie8 (ganeshie8):

By factoring we would know if it was a prime or not. If it is not a prime, we can then split the congruence into a system of two simpler congruences and solve the system using CRT.

OpenStudy (claire.bracken):

@ganeshie8 It's not a prime: 17* 31

ganeshie8 (ganeshie8):

Good. So lets split it as a system : \(x^{37} \equiv 3 \pmod{17}\) \(x^{37} \equiv 3 \pmod{31}\)

ganeshie8 (ganeshie8):

Let's solve the first congruence \(x^{37} \equiv 3 \pmod{17}\)

ganeshie8 (ganeshie8):

Familiar with primitive roots ?

OpenStudy (claire.bracken):

sort of..... not quite sure what to do though because usually I just combine it to make x^27 == 3 (mod 527) but instead we're trying to split it? @ganeshie8

OpenStudy (claire.bracken):

x^37*

ganeshie8 (ganeshie8):

Because working with 17 is easier than with 527

ganeshie8 (ganeshie8):

How good are you with chinese remainder theorem ?

ganeshie8 (ganeshie8):

You need to know below to understand my method : 1) Chinese remainder theorem 2) Euler's extension to fermat's little theorem (phi function) 3) primitive roots and theory of indices

ganeshie8 (ganeshie8):

We can proceed if you're familiar with them...

OpenStudy (claire.bracken):

That should be fine I'm able to follow along

ganeshie8 (ganeshie8):

3 is a primitive of root of both 17 and 31. Let's use 3 as our base

ganeshie8 (ganeshie8):

\(x^{37} \equiv 3 \pmod{17} \) using 3 as the base, above congruence implies : \(37* \text{ind}_3 x \equiv \text{ind}_3 3 \pmod{16}\)

ganeshie8 (ganeshie8):

It helps to notice that the properties of "ind" are similar to "log"

OpenStudy (claire.bracken):

yes i get it :)

ganeshie8 (ganeshie8):

\(x^{37} \equiv 3 \pmod{17} \) using 3 as the base, above congruence implies : \(37* \text{ind}_3 x \equiv \text{ind}_3 3 \pmod{16}\) simplifies to \(5* \text{ind}_3 x \equiv 1 \pmod{16}\)

ganeshie8 (ganeshie8):

With me so far ?

OpenStudy (claire.bracken):

yup

ganeshie8 (ganeshie8):

Our goal is to solve "x", so let's multiply -3 both sides

ganeshie8 (ganeshie8):

Because -5*3 is same as 1 in mod 16

OpenStudy (claire.bracken):

Ahh i see

OpenStudy (claire.bracken):

so it would become ind3x≡13 (mod16)

ganeshie8 (ganeshie8):

Looks good

ganeshie8 (ganeshie8):

\(\log_3 x = 13 \implies x = 3^{13}\)

ganeshie8 (ganeshie8):

Reduce 3^13 in mod 17

ganeshie8 (ganeshie8):

http://www.wolframalpha.com/input/?i=3%5E13+mod+17

ganeshie8 (ganeshie8):

So \(x = 12\) ?

ganeshie8 (ganeshie8):

\(x^{37} \equiv 3 \pmod{17} \) using 3 as the base, above congruence implies : \(37* \text{ind}_3 x \equiv \text{ind}_3 3 \pmod{16}\) simplifies to \(5* \text{ind}_3 x \equiv 1 \pmod{16}\) multiplying -3 both sides gives \( \text{ind}_3 x \equiv 13 \pmod{16}\) Since \(3^{13}\equiv 12 \pmod {17}\), the index of \(12\) relative to the primitive root \(3\) is \(13\) in modulus \(17\). So \(x=12\) satisfies above congruence

OpenStudy (claire.bracken):

it said it was incorrect.... on AoPs

ganeshie8 (ganeshie8):

\(x=12\) is a solution to \(x^{37} \equiv 3 \pmod{17}\)

ganeshie8 (ganeshie8):

You still need to solve the other congruence \(x^{37} \equiv 3 \pmod{31}\). Then combine them both using chinese remainder theorem.

OpenStudy (claire.bracken):

Oh i see... can u help me out?

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!