Show that for all integers congruent modulo 11

  • Thread starter Thread starter Lelouch
  • Start date Start date
  • Tags Tags
    Integers
Click For Summary
SUMMARY

The discussion focuses on proving that for all integers \( n \in \mathbb{Z} \), the equation \( n^{11a + 21b + 31c} \equiv n^{a + b + c} \mod 11 \) holds true for \( a, b, c \in \mathbb{N \setminus \{0\}} \). The proof utilizes Fermat's Little Theorem, demonstrating that \( n^{11} \equiv n \mod 11 \) for any integer \( n \). The approach involves breaking down the powers and applying modular arithmetic to establish the congruence. The conclusion confirms the validity of the proof strategy presented.

PREREQUISITES
  • Understanding of modular arithmetic
  • Fermat's Little Theorem
  • Basic properties of prime numbers
  • Experience with algebraic manipulation of exponents
NEXT STEPS
  • Study Fermat's Little Theorem in depth
  • Explore advanced modular arithmetic techniques
  • Learn about the properties of prime numbers and their applications in number theory
  • Investigate other congruences and their proofs in modular systems
USEFUL FOR

Mathematicians, students studying number theory, and anyone interested in modular arithmetic and its applications in proofs.

Lelouch
Messages
18
Reaction score
0

Homework Statement


Let ##a, b, c \in \mathbb{N \setminus \{0 \}}##. Show that for all ##n \in \mathbb{Z}## we have

$$n^{11a + 21b + 31c} \equiv n^{a + b + c} \quad (mod \text{ } 11).$$

Homework Equations

The Attempt at a Solution



We have to show that ##11 | (n^{11a + 21b + 31c} - n^{a + b + c}) \iff \exists k \in \mathbb{Z} : n^{11a + 21b + 31c} - n^{a + b + c} = 11k.##

I tried showing that ##11 | n^{11a + 21b + 31c}## and ##11 | - n^{a + b + c}## and then conclude that ## 11 | (n^{11a + 21b + 31c} - n^{a + b + c})##. I also tried breaking down the variables in even and odd but that gave me too many cases which became tedious very fast. I also tried induction on a keeping b,c fixed.
 
Physics news on Phys.org
Have you tried to work with ##(n^{a+2b+3c})^{10} \equiv 0 \operatorname{mod} 11## and perhaps the divisibility criterion of ##11## (alternating digit sum)? Or consider which remainders modulo ##11## become ##0## if taken to the ##10-##th power.
 
What I've done is used Fermat's Little Theorem like this

\begin{equation*}
\begin{split}
n^{11a + 21b + 31c} & \equiv n^{11a}n^{21b}n^{31c} \text{ (mod 11)} \\
& \equiv (n^{a})^{11}(n^{b})^{11} (n^{b})^{10}(n^{c})^{11}(n^{c})^{11}(n^{c})^{9} \text{ (mod 11)} \\
& \equiv n^{a}n^{b} (n^{b})^{10}n^{c}n^{c}(n^{c})^{9} \text{ (mod 11)} \\
& \equiv n^{a}(n^{b})^{11}(n^{c})^{11} \text{ (mod 11)} \\
& \equiv n^{a}n^{b}n^{c} \text{ (mod 11)}.
\end{split}
\end{equation*}

Since 11 is a prime number we have by Fermat's Little Theorem that

\begin{equation*}
(n^{a})^{11} \equiv n^{a} \text{ (mod 11)} \quad \land \quad
(n^{b})^{11} \equiv n^{a} \text{ (mod 11)} \quad \land \quad (n^{c})^{11} \equiv n^{a} \text{ (mod 11)}.
\end{equation*}

Is this correct?
 
Yes, that's fine.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K