The necessary condition for a number to be rational is:
D. It must be able to be expressed as an integer divided by a nonzero integer.
This definition captures the essence of rational numbers, which are defined as numbers that can be expressed in the form \( \frac{a}{b} \), where \( a \) is an integer and \( b \) is a nonzero integer.