Show Equivalence: $a^d \equiv 1 \pmod n$

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Equivalence
Click For Summary

Discussion Overview

The discussion focuses on the mathematical problem of showing that if \( a^{n-1} \equiv 1 \pmod{n} \) for \( n = pq \) (where \( p \) and \( q \) are distinct primes) then \( a^d \equiv 1 \pmod{n} \), with \( d = \gcd(p-1, q-1) \). The scope includes theoretical reasoning and mathematical proofs.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants propose that starting from \( a^{n-1} \equiv 1 \pmod{n} \), one can manipulate the expression to show \( a^{d(A+B)} \equiv 1 \pmod{n} \) for integers \( A \) and \( B \), but they express uncertainty about concluding \( a^d \equiv 1 \pmod{n} \).
  • Another participant references Euler's theorem, suggesting that \( a^{\phi(pq)} \equiv 1 \pmod{pq} \) implies \( a^{(p-1)(q-1)} \equiv 1 \pmod{pq} \).
  • Some participants mention the Chinese Remainder Theorem, indicating that \( a^{pq-1} \equiv 1 \) leads to \( a^{q-1} \equiv 1 \pmod{p} \) and \( a^{p-1} \equiv 1 \pmod{q} \).
  • There is a claim that since \( d = x(p-1) + y(q-1) \) for some integers \( x \) and \( y \), it follows that \( a^d \equiv 1 \pmod{n} \), but this is not universally accepted as the final conclusion.

Areas of Agreement / Disagreement

Participants express differing views on whether the manipulation of the initial congruence can definitively lead to \( a^d \equiv 1 \pmod{n} \). There is no consensus on the validity of the approaches discussed.

Contextual Notes

Some limitations include the dependence on the definitions of \( d \) and the assumptions regarding the properties of \( a \) and \( n \). The discussion does not resolve the mathematical steps necessary to establish the equivalence conclusively.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

Suppose that $p,q$ are two distinct primes , $n=pq$ and $d=gcd(p-1,q-1)$.
I want to show that if $a^{n-1} \equiv 1 \pmod{n}$ for some $a$ then $a^d \equiv 1 \pmod{n}$.

That's what I have tried:

$
a^{pq-1}\equiv 1 \pmod n \Rightarrow a^{pq-p+p-1}\equiv 1 \pmod n \Rightarrow a^{p(q-1)+(p-1)}\equiv 1 \pmod n \Rightarrow a^{Ad+Bd}\equiv 1 \pmod n$ for some $A,B \in \mathbb{Z}$.
Then we have $ a^{d(A+B)}\equiv 1 \pmod n \Rightarrow \left (a^{d}\right )^{A+B}\equiv 1 \pmod n$.

But from this, we cannot deduce that $a^d \equiv 1 \pmod{n}$, can we? (Thinking)
 
Physics news on Phys.org
evinda said:
Hello! (Wave)

Suppose that $p,q$ are two distinct primes , $n=pq$ and $d=gcd(p-1,q-1)$.
I want to show that if $a^{n-1} \equiv 1 \pmod{n}$ for some $a$ then $a^d \equiv 1 \pmod{n}$.

That's what I have tried:

$
a^{pq-1}\equiv 1 \pmod n \Rightarrow a^{pq-p+p-1}\equiv 1 \pmod n \Rightarrow a^{p(q-1)+(p-1)}\equiv 1 \pmod n \Rightarrow a^{Ad+Bd}\equiv 1 \pmod n$ for some $A,B \in \mathbb{Z}$.
Then we have $ a^{d(A+B)}\equiv 1 \pmod n \Rightarrow \left (a^{d}\right )^{A+B}\equiv 1 \pmod n$.

But from this, we cannot deduce that $a^d \equiv 1 \pmod{n}$, can we? (Thinking)

Hey evinda! (Smile)

I haven't figured it out yet. :(

However, I can see a couple of approaches...
According to Euler we have:
$$a^{\phi(pq)} \equiv a^{(p-1)(q-1)} \equiv 1 \pmod{pq}$$
And according to the Chinese Remainder Theorem we have:
$$(a^{pq-1}, a^{pq-1}) \equiv (1 \bmod p,1 \bmod q)\quad\Rightarrow\quad a^{q-1}\equiv 1 \pmod p \quad\land\quad a^{p-1}\equiv 1 \pmod q$$
(Thinking)
 
We also have that $d=x(p-1)+y(q-1)$ for some $x,y \in \mathbb{Z}$ and from this and what you said above it follows that $a^d \equiv 1 \pmod{n}$. (Thinking)
 
Last edited:
evinda said:
We also have that $d=x(p-1)+y(q-1)$ for some $x,y \in \mathbb{Z}$ and from this and what you said above it follows that $a^d \equiv 1 \pmod{n}$. (Thinking)

Ah yes. Nice! (Smile)
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
6
Views
3K
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
6
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K