I am trying to prove that $(x,y)$ is a maximal ideal of $\mathbb{Q}[x,y]$. Since an ideal $I \subseteq R$ is maximal if and only if $R/I$ is a field, it suffices to prove that $\mathbb{Q}[x,y]/(x,y)$ is a field.
Let $\phi : \mathbb{Q}[x,y] \rightarrow \mathbb{Q}$ be the evaluation homomorphism that sends $p(x,y)$ to $p(0,0)$. $\phi$ is clearly surjective and if I prove that the kernel of $\phi$ is the ideal $(x,y)$, the result will follow by the First Isomorphism Theorem.    

$(x,y) \subseteq Ker(\phi)$ is obvious, but to prove the reverse inclusion, my idea is to take a polynomial $p(x,y) \in Ker(\phi)$ and to perform Euclidean division of $p(x,y)$ with $y$ and $x$ in $(\mathbb{Q}[x])[y]$ and $(\mathbb{Q}[y])[x]$ respectively. The problem is that neither of them is a polynomial ring over field. There is a theorem saying that if R is commutative and if $R[x]$ is a PID, then $R$ is a field. Since neither $\mathbb{Q}[x]$, nor $\mathbb{Q}[y]$ are fields, it follows that neither $(\mathbb{Q}[x])[y]$, nor $(\mathbb{Q}[y])[x]$ are PIDs, hence are not Euclidean domains.   

Obviously, Euclidean division does not solve the problem. If we consider $p(x,y)$ as an element in $(\mathbb{Q}[x])[y]$ and if we divide by $y$, then we get a quotient $q(x,y)$ and a remainder which is $0$ or of degree $0$ over $(\mathbb{Q}[x])[y]$, hence a polynomial $r(x)$ in $x$ only.    

Then, $p(x,y) = yq(x,y) + r(x)$ and the hypothesis $p(0,0)=0$ does not guarantee that $r(x)=0$. So, we cannot conclude that $y$ divides $p(x,y)$.

Is there a way to remedy this proof, or is there another approach to this problem?


Question: How do you include a user's default image in a Drupal 7 view that lists people?
Answer: I have just found the answer to this question via Drupal.org. You have to use a URI like this:

public://user_pictures/default.png


in your account settings.

Here, public:// stands for your public files location (often sites/default/files/). What comes after that, is the location of your image within public files. If you do this, the default image is treated like normal user images.