Why is cardinality of the field important for Noetherian normalization? It seems that Noetherian normalization is easier to prove for infinite fields than for finite fields (see e.g. here, here, or here). 
However, I do not see how this restriction changes anything, since usually one avoids finite fields because they all have positive characteristic -- but then the sensible restriction is to fields of characteristic zero, not to arbitrary infinite fields, some of which also have positive characteristic.

Question: If the point isn't to exclude considering fields with positive characteristic, then why does the restriction to infinite fields when proving Noetherian normalization matter, or why does it simplify anything?

Context: I do not know much commutative algebra, so the simpler the answer, the better. In other words, no schemes please, and if you can limit discussion as much as possible to ideals of polynomial rings without drifting too far afield into varieties, I would appreciate it.
This question is based on exercise 4.5.7. p.210 in Garrity et al's Algebraic Geometry: A Problem-Solving Approach, which adds as a hypothesis that the field $k$ should be infinite, a restriction that does not occur anywhere else in the section (about proving the Weak Nullstellensatz, which to the best of my knowledge also holds for finite fields). And I was able to solve the preceding problems for fields even of characteristic two, so I don't understand how the restriction makes the problem easier to solve, since neither characteristic nor cardinality seem to pose issues. 
I don't want a solution for the problem, I just want to know whether the restriction to infinite fields is either (1) necessary, or (2) convenient, and in what way it is applied to make the proof easier.

4.5.7 Let $k$ be an infinite field and $g$ be a non-constant polynomial in $k[x_1, \dots, x_n]$ (with $n \ge 2$). Prove that there exist $\lambda_1, \dots, \lambda_{n-1}$ in $k$ such that the coefficient of $x_n^d$ in $$g(x_1 + \lambda_1x_n, \dots, x_{n-1}+\lambda_{n-1}x_n, x_n)$$ is nonzero, where $d$ is the total degree of $g(x_1 + \lambda_1x_n, \dots, x_{n-1}+\lambda_{n-1}x_n, x_n)$.

If it helps, I conjecture that the aforementioned coefficient is just $$g(\lambda_1, \dots, \lambda_{n-1},1) $$ I have proved this in a special case, but still need to prove it more generally. Anyway, I don't see how the cardinality of $k$ has anything to do with the existence of solutions for $$g(\lambda_1, \dots, \lambda_{n-1},1)=1 \not=0 $$ (w.l.o.g. in a field we can normalize any non-zero value to 1 -- the point is to make the polynomial monic in $x_n$ via a change of coordinates) for arbitrary polynomials $g \in k[x_1, \dots, x_n]$ -- seemingly only characteristic would be an issue, if anything.
Edit/Note: The formula given above for the coefficient is correct only if $g$ is homogeneous. In general, if $g_{hom,d}$ denotes the homogeneous part of $g$ of degree $d$, then the coefficient is $$g_{hom,d}(\lambda_1, \dots, \lambda_{n-1},1).$$
I'm pretty sure the restriction $n\ge 2$ is just so that the corresponding affine change of coordinates isn't the identity or ill-defined by the above description. The restriction to infinite fields however is baffling to me, since it is given neither context nor motivation.
 A: My short answer: it's not. 
You're right that something like this can be used to prove Noether's normalization lemma for infinite fields (see this SE post). I just want to note (as Mohan hinted to in a comment) that it doesn't require any extra technology or work to prove Noether normalization for any field $k$, i.e. that any finitely-generated $k$-algebra is finitely generated as a module over a subring isomorphic to a polynomial ring over $k$. All it requires is a slightly more clever change of variables, which is much more enlightening, anyway (in my opinion). The point of this problem you're working on is essentially to show that the nonzero polynomial $g$ can be made monic in one of the variables after possibly changing the variables first. So, while this particular way of doing it may be easier when $k$ is infinite, you can accomplish the same goal without that assumption. In other words, characteristic is actually not an issue, unless you make it one. Here is a way to do this without ever having to think about $\mbox{char}(k)$ and without any need for extra machinery:
Let $N \in \mathbb N$ be larger than the total degree of $g$. Consider the following change of variables: $x_m \mapsto x_m + x_n^{N^m}$ for $m < n$ and $x_n \mapsto x_n$. You will see that, when you apply the change of variables to $g$, it will be monic in $x_n$: if you look at each nonzero term of $g$ under the change of variables, it will expand to have a unique largest degree term which is a nonzero constant times $x_n$ raised to some power; moreover, these power-of-$x_n$ terms coming from expanding the different nonzero terms of $g$ will all be distinct, by the uniqueness of base-$N$ decomposition of integers; therefore, there is a largest one, and it is the largest degree term of $g$. 
A: Generally, in the proof of Noether normalization, there is a step in the proof where you have a nonzero polynomial $f(x_1, x_2, \ldots, x_n) \in k[x_1, x_2, \ldots, x_n]$ and you need to choose $a_i \in k$ such that $f(a_1, a_2, \ldots, a_n) \ne 0$.  If $k$ is finite, this may not be possible, e.g., $x^p-x$ is a finite field of order $p$.
