An integer $n \geq 3$ is [i]fabulous[/i] when there exists an integer $a$ with $2 \leq a \leq n - 1$ for which $a^n - a$ is divisible by $n$. Find all the [i]fabulous[/i] integers.
1. **Understanding the Problem:**
   We need to find all integers \( n \geq 3 \) such that there exists an integer \( a \) with \( 2 \leq a \leq n - 1 \) for which \( a^n - a \) is divisible by \( n \). In other words, \( n \) divides \( a^n - a \).

2. **Initial Claim:**
   We claim that \( n \) is fabulous if and only if \( n \neq 2^k \) for \( k \geq 1 \). This means that powers of 2 are not fabulous.

3. **Proof for \( n = 2^k \):**
   Suppose \( n = 2^k \). We need to show that no such \( a \) exists. Note that \( a \) must be odd because \( 2 \leq a \leq n - 1 \) and \( n \) is a power of 2.

   - If \( n \equiv 3 \pmod{4} \), then \( a^{2^k-1} \equiv 3 \pmod{4} \). However, since \( a \) is odd, \( a^{2^k-1} \equiv 1 \pmod{4} \) (by Fermat's Little Theorem). This is a contradiction, so \( a \equiv 1 \pmod{4} \).

   - Now, consider the 2-adic valuation:
     \[
     \nu_2(a^{2^k-1} - 1) = \nu_2(a-1) + \nu_2(2^k-1)
     \]
     Since \( \nu_2(2^k-1) = 0 \) (as \( 2^k-1 \) is odd), we have:
     \[
     \nu_2(a^{2^k-1} - 1) = \nu_2(a-1)
     \]
     For \( a \) to be odd, \( \nu_2(a-1) < k \). This leads to a contradiction because \( \nu_2(a^{2^k-1} - 1) \) should be at least \( k \).

4. **Construction for \( n \neq 2^k \):**
   - If \( n \) is odd, we can pick \( a = n-1 \). Then:
     \[
     a^n - a = (n-1)^n - (n-1)
     \]
     By Fermat's Little Theorem, \( (n-1)^n \equiv (n-1) \pmod{n} \), so \( n \) divides \( (n-1)^n - (n-1) \).

   - If \( n = 2^k m \) where \( \gcd(m, 2) = 1 \), we can use the Chinese Remainder Theorem (CRT). Pick \( a \) such that:
     \[
     a \equiv 0 \pmod{2^k} \quad \text{and} \quad a \equiv 1 \pmod{m}
     \]
     By CRT, such an \( a \) exists and satisfies \( a^n - a \equiv 0 \pmod{n} \).

Thus, the integers \( n \) that are fabulous are those that are not powers of 2.

The final answer is \( \boxed{ n \neq 2^k } \) for \( k \geq 1 \).