Tower of Powers

What is 23 23 mod 29 ^{23}23\;\text{mod}\;29 ?


y x ^{y}x is notation for tetration , i.e.:

0 x = 1 ^{0}x = 1

y x = x ( y 1 x ) ^{y}x = x^{\left( ^{y-1}x \right)}


The answer is 20.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Daniel Ploch
Aug 14, 2014

We need to figure out exponentiation cycles to solve this problem. Observe, for example, consecutive powers of 23 23 modulo 29 29 :

{ 2 3 0 , 2 3 1 , 2 3 2 , . . . } { 1 , 23 , 7 , 16 , 20 , 25 , 24 , 1 , 23 , 7 , 16 , . . . } mod 29 \{23^0, 23^1, 23^2, ...\} \equiv \{1, 23, 7, 16, 20, 25, 24, 1, 23, 7, 16, ...\}\;\text{mod}\;29

The powers repeat every 7 7 elements. So, if we can compute 22 23 ^{22}23 modulo 7 7 , we can get the answer.

Recursing on down, we find we need to compute 21 23 ^{21}23 modulo 3 3 , and 20 23 ^{20}23 modulo 2 2 . That last term is just 1 X 1^X modulo 2 2 , for some positively enormous X X , so we know it evaluates to 1 1 modulo 2 2 .

Plugging this result backwards, we get 21 23 2 ^{21}23 \equiv 2 modulo 3 3 , 22 23 4 ^{22}23 \equiv 4 modulo 7 7 , and finally, 23 23 20 ^{23}23 \equiv 20 modulo 29 29 for a final answer of 20 \boxed{20}

For calculating the exponential cycles, is there any way to do without computer

Jayakumar Krishnan - 6 years, 10 months ago

Log in to reply

I didn't use a computer to do this one, I just did pencil and paper. It's only a handful of operations, and they're not very big, especially if you take advantage of modular arithmetic properties, as well as Euler's theorem (The period for 2 3 x 23^x modulo 29 29 must divide ϕ ( 29 ) = 28 \phi(29) = 28 ):

23 6 mod 29 2 3 2 36 7 mod 29 23 \equiv -6\;\text{mod}\;29\:\rightarrow\:23^2\equiv36\equiv7\;\text{mod}\;29

2 3 4 ( 2 3 2 ) 2 49 20 mod 29 23^4 \equiv (23^2)^2 \equiv 49 \equiv 20\;\text{mod}\;29

2 3 7 2 3 4 2 3 2 23 20 7 23 ( 9 ) 7 ( 6 ) 23^7 \equiv 23^4 \cdot 23^2 \cdot 23 \equiv 20 \cdot7 \cdot23 \equiv (-9) \cdot 7 \cdot (-6)

. . . 54 7 ( 4 ) 7 28 1 mod 29 ... \equiv 54 \cdot 7 \equiv (-4) \cdot 7 \equiv -28 \equiv 1\;\text{mod}\;29

Doing multiplication modulo 7 7 , 3 3 , and 2 2 is a cakewalk.

Daniel Ploch - 6 years, 10 months ago

Log in to reply

Thanks Much :D

Jayakumar Krishnan - 6 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...