Find all the pairs of integers $ (a,b)$ satisfying $ ab(a \minus{} b)\not \equal{} 0$ such that there exists a subset $ Z_{0}$ of set of integers $ Z,$ for any integer $ n$, exactly one among three integers $ n,n \plus{} a,n \plus{} b$ belongs to $ Z_{0}$.
To solve the problem, we need to find all pairs of integers \((a, b)\) such that \(ab(a - b) \neq 0\) and there exists a subset \(Z_0\) of the set of integers \(Z\) such that for any integer \(n\), exactly one among the three integers \(n, n + a, n + b\) belongs to \(Z_0\).

1. **Initial Setup and Assumptions**:
   - Let \(x\) be the middle integer among \(n, n + a, n + b\).
   - Without loss of generality, assume \(a > b\). Thus, the three integers can be written as \(x - m\), \(x\), and \(x + o\) where \(m = \min(a, b)\) and \(o = \max(a, b)\).

2. **Case Analysis**:
   - If \(m = o\), then \(a = b\), which contradicts \(ab(a - b) \neq 0\). Hence, \(m \neq o\).

3. **Relatively Prime Condition**:
   - If \(m\) and \(o\) are not relatively prime, then the set \(Z\) can be partitioned into subsets where the problem reduces to the case where \(m\) and \(o\) are relatively prime. Therefore, assume \(m\) and \(o\) are relatively prime.

4. **Constructing the Set \(Z_0\)**:
   - Let \(f\) be an integer in \(Z_0\).
   - Consider \(x = f\). Then \(f + o\) cannot be in \(Z_0\).
   - Consider \(x = f + m\). Then \(f + m\) and \(f + m + o\) cannot be in \(Z_0\).
   - Consider \(x = f + m + o\). Then \(f + m + 2o\) must be in \(Z_0\).
   - Similarly, going left, \(f - 2m - o\) must also be in \(Z_0\).

5. **Pattern and Contradiction**:
   - If \(f\) is in \(Z_0\), then \(f + o - m\) must also be in \(Z_0\). This implies \(f + k(o - m)\) is in \(Z_0\) for any integer \(k\).
   - The greatest common divisor \((o - m, m + 2o)\) must be 3. This leads to a contradiction if either \(m\) or \(o\) is divisible by 3.

6. **Modulo 3 Analysis**:
   - Assume \(m + o \equiv 0 \pmod{3}\). This implies \(o\) is a multiple of 3, which contradicts the earlier condition.
   - Therefore, neither \(m\), \(o\), nor \(m + o\) is divisible by 3.

7. **Conclusion**:
   - The integers \(x - m\), \(x\), and \(x + o\) must have distinct residues modulo 3.
   - This implies that \(a\) and \(b\) must be such that neither \(a\), \(b\), nor \(a - b\) is a multiple of 3.

8. **Generalization**:
   - To remove the relatively prime restriction, multiply \(a\) and \(b\) by any integer \(k\) that is not a multiple of 3.
   - Thus, the pairs \((a, b)\) are of the form \(a = ky\) and \(b = kz\) where neither \(y\), \(z\), nor \(y - z\) is a multiple of 3.

The final answer is \( \boxed{ (a, b) = (ky, kz) } \) where neither \(y\), \(z\), nor \(y - z\) is a multiple of 3.