In this paper, we give an algebraic characterization of solutions to infinite-horizon nonlinear discrete-time optimal control problems. We define an algebraic function solution to the equation, which is obtained by solving algebraic equations, and derive a necessary and sufficient condition for the existence of an algebraic function solution in terms of commutative algebra. According to our main theorem, obtaining an algebraic solution reduces to finding a specific polynomial ideal.