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.