In this paper we apply algebraic methods to game theory. The central objects of study in game theory, Nash equilibria, can be characterized in several ways. We focus on their characterization as the solutions to certain systems of polynomial equations and inequalities. Thus we bring to bear the techniques of commutative algebra, algebraic geometry, and combinatory used in solving polynomial systems.