the the polynomial $K$-algebra $K[t_1, t_2]$ is not local Let $A$ be the polynomial $K$-algebra $K[t_1, t_2]$. Then the algebra $A$ is not local, why? More generally, $K[t_1, t_2, \cdots, t_n]$ is not local for any $n\geq 1$, why?
 A: *

*If $A$ is local, then there does not exist a non-unit $f$ such that $f-1$ is also a non-unit.

*If $A$ is local, then it does not have two maximal ideals.

*If $A$ is local, then there can be at most one homomorphism $A \to K$ that is the identity on $K \subseteq A$.

*...


If you can manage to show any one of these conclusions false, you've proven $A$ is not local.
A: Try constructing a homomorphism from $K[x_1, ..., x_n]$ into $K$ whose kernel is $(x_1 - k_1, ..., x_n -k_n).$ Since $K$ is a field, what can we say about this ideal?
A: Seems like the easiest way to look at all of them is this way: $t_1$ and $1-t_1$ aren't units, so they generate proper ideals $(t_1)$ and $(1-t_1)$. If there were a unique maximal proper ideal containing both, it would have to contain $t_1+(1-t_1)=1$, but that would contradict the fact the ideal is supposed to be proper.
A: How about the fact that you can find two distinct maximal ideals of $K[t_1, t_2]$? Like $(t_1,t_2)$ and $(t_1 - 1, t_2 - 1)$, for instance. In general, $K[t_1, \dots, t_n]$ is not local because of the ideals 
$$
(t_1, \dots, t_n) \quad \text{ and } (t_1 - 1, \dots, t_n - 1).
$$
Hope that helps,
