There are infinitely many composite numbers

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

Discussion Overview

The discussion revolves around the question of whether there are infinitely many composite numbers \( n \) such that \( a^{n-1} \equiv 1 \pmod{n} \). Participants explore various approaches to demonstrate this, considering both fixed and variable values of \( a \), and the implications of \( n \) being a product of primes.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants suggest using the fact that the result holds for prime \( n \) to deduce it for composite \( n \).
  • There is a proposal to consider \( n \) in the form \( pq \) where \( p \) and \( q \) are primes, and to investigate whether \( a^{pq-1} \equiv 1 \pmod{pq} \) holds.
  • Participants question whether \( a \) is a fixed number or if the proof should apply for every \( a \) and every \( n \).
  • It is noted that if \( a \) can depend on \( n \), then for any odd \( n \), choosing \( a = n-1 \) leads to \( (n-1)^{n-1} \equiv 1 \pmod{n} \).
  • For a fixed \( a \), the discussion touches on the complexity introduced by Fermat pseudoprimes, with examples provided for specific values of \( a \).

Areas of Agreement / Disagreement

Participants express differing views on the nature of \( a \) and its implications for the proof. There is no consensus on the approach to take or the conditions under which the statement holds, indicating multiple competing views remain.

Contextual Notes

The discussion highlights the ambiguity surrounding the variable \( a \) and its relationship to \( n \). There are unresolved questions about the assumptions needed for the proof and the specific forms of \( n \) being considered.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hey again! (Rock)(Wasntme)

I want to show that there are infinitely many composite numbers $n$,for which stands:

$$a^{n-1} \equiv 1 \pmod n$$

So,it must be: $n \mid a^{n-1}-1$

But how can I show that there are infinitely many such $n$ ?? (Thinking)
 
Mathematics news on Phys.org
You know that this result holds when $n$ is prime. Can you make use of that fact to deduce that it must also hold for some numbers that are not prime?
 
Opalg said:
You know that this result holds when $n$ is prime. Can you make use of that fact to deduce that it must also hold for some numbers that are not prime?

So could I use the fact that $\displaystyle{ n=p_1^{a_1} \cdots p_k^{a_k}, \text{ where } p_i \text{ are primes and } a_i \geq 1 } $ ? (Thinking)
 
What is $a$ in this question?
 
Deveno said:
What is $a$ in this question?

The only thing we know is that $a^{n-1} \equiv 1 \pmod n$.. (Thinking)
 
Hi! (Smile)

evinda said:
The only thing we know is that $a^{n-1} \equiv 1 \pmod n$.. (Thinking)

Isn't that what you need to prove rather than what you know? (Thinking)

Suppose $n=pq$ with $p, q$ primes.
What can you say?
And what do you need? (Wondering)
 
I like Serena said:
Hi! (Smile)
Isn't that what you need to prove rather than what you know? (Thinking)

Suppose $n=pq$ with $p, q$ primes.
What can you say?
And what do you need? (Wondering)

I want to prove that there exist infinitely many composite numbers $n$,for which:
$$a^{n-1} \equiv 1 \pmod n$$

So,do we suppose that $n=p \cdot q$ and that: $a^{pq-1} \equiv 1 \pmod {pq}$ ?

But...do we know that $n$ is a product of only two primes raised to the power $1$ ? (Thinking) (Thinking)
 
My point is: is $a$ some FIXED number, or are we trying to prove this for EVERY $a$ AND every $n$?
 
Deveno said:
My point is: is $a$ some FIXED number, or are we trying to prove this for EVERY $a$ AND every $n$?

No,it is not a fixed number.. (Thinking)
 
  • #10
evinda said:
I want to prove that there exist infinitely many composite numbers $n$,for which:
$$a^{n-1} \equiv 1 \pmod n$$

So,do we suppose that $n=p \cdot q$ and that: $a^{pq-1} \equiv 1 \pmod {pq}$ ?

But...do we know that $n$ is a product of only two primes raised to the power $1$ ? (Thinking) (Thinking)

If we can find infinitely many $n$ of the form $pq$ for which the statement holds, we're done.
If we can't, we'll have to come up with a new idea.
Just as a line of investigation I'm suggesting to look at $n$ of this form. (Thinking)

So we suppose that $n=p \cdot q$, and we'll try and find values for $p$ and $q$ such that $a^{pq-1} \equiv 1 \pmod {pq}$. The latter is not something we suppose, it's something we try to find.Btw, the meaning of $a$ is ambiguous as Deveno already said. It can mean:
  • A specific value that we can choose for which we have to find infinitely many $n$,
  • Any specific value for which we have to find infinitely many $n$
  • For infinitely many $n$ the statement holds for any $a$.
    In this case we will have to limit $a$ to be co-prime with $n$.
We'll see how much we can cover. (Sweating)
 
  • #11
I like Serena said:
If we can find infinitely many $n$ of the form $pq$ for which the statement holds, we're done.
If we can't, we'll have to come up with a new idea.
Just as a line of investigation I'm suggesting to look at $n$ of this form. (Thinking)

So we suppose that $n=p \cdot q$, and we'll try and find values for $p$ and $q$ such that $a^{pq-1} \equiv 1 \pmod {pq}$. The latter is not something we suppose, it's something we try to find.Btw, the meaning of $a$ is ambiguous as Deveno already said. It can mean:
  • A specific value that we can choose for which we have to find infinitely many $n$,
  • Any specific value for which we have to find infinitely many $n$
  • For infinitely many $n$ the statement holds for any $a$.
    In this case we will have to limit $a$ to be co-prime with $n$.
We'll see how much we can cover. (Sweating)

So,we know that $a^{pq-1} \equiv 1 \pmod {pq}$ and as $(p,q)=1$,it must be:
$$a^{pq-1} \equiv 1 \pmod {p} \text{ and } a^{pq-1} \equiv 1 \pmod {q}$$

But...what else do we know? (Thinking) (Thinking)
 
  • #12
evinda said:
So,we know that $a^{pq-1} \equiv 1 \pmod {pq}$ and as $(p,q)=1$,it must be:
$$a^{pq-1} \equiv 1 \pmod {p} \text{ and } a^{pq-1} \equiv 1 \pmod {q}$$

But...what else do we know? (Thinking) (Thinking)

How about $a^{\phi(pq)}\equiv 1 \pmod{pq}$? (Thinking)
 
  • #13
I like Serena said:
How about $a^{\phi(pq)}\equiv 1 \pmod{pq}$? (Thinking)

Isn't it $\phi(p \cdot q)=\phi(p) \cdot \phi(q)=(p-1)(q-1)$?
How can we use this? (Thinking)
 
  • #14
evinda said:
Isn't it $\phi(p \cdot q)=\phi(p) \cdot \phi(q)=(p-1)(q-1)$?
How can we use this? (Thinking)

So you know for sure that for any prime $p,q$:
$$a^{(p-1)(q-1)} \equiv 1 \pmod{pq}$$
that is, if $(a, pq)=1$.

And you want to find some $p,q$ such that:
$$a^{pq-1} \equiv 1 \pmod{pq}$$

Perhaps you can combine them to make it simpler. (Thinking)
 
  • #15
evinda said:
Hey again! (Rock)(Wasntme)

I want to show that there are infinitely many composite numbers $n$,for which stands:

$$a^{n-1} \equiv 1 \pmod n$$

So,it must be: $n \mid a^{n-1}-1$

But how can I show that there are infinitely many such $n$ ?? (Thinking)
This question is more complicated than I first thought. Firstly, if $a$ is allowed to depend on $n$, then for any odd number $n$ we can take $a = n-1$. The binomial expansion of $(n-1)^{n-1}$ shows that $(n-1)^{n-1} \equiv 1 \pmod n.$

For a fixed value of $a$ we seem to be in the realm of Fermat pseudoprimes, where things become very much more complicated. For each $a$, there are infinitely many pseudoprimes $n$ (in other words, non-primes such that $a^{n-1} \equiv 1 \pmod n$). For $a=2$, the smallest case occurs when $n = 341$. In that case, $341 = 11\times 31$ is not prime, but apparently $2^{340}\equiv1 \pmod{341}.$
 

Similar threads

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