Polynomials, Gröbner Bases, Resultant, and Varieties
摘要
E. 9.1. (→ p. 272) Prove that a partial order relation > is a well-order on \( \mathbb{N}^{n} \) if and only if every descending chain in \( \mathbb{N}^{n} \) is stationary.