**(a) (x,y)⊆Z[x,y]:**
In Z[x,y] sind die Ideale der Form (x,y) keine Primideale. Ein Primideal sollte die Eigenschaft haben, dass das Produkt von zwei Elementen im Ideal auch im Ideal ist. Im vorliegenden Fall ist zum Beispiel xy in (x,y), aber weder x noch y sind im Ideal enthalten. Wenn xy in einem Ideal enthalten ist, sollte sowohl x als auch y im Ideal sein, um ein Primideal zu bilden.
**(b) (x,y)⊆Q[x,y]:**
Das gleiche Argument wie in (a) gilt hier. Das Ideal (x,y) in Q[x,y] ist kein Primideal.
**(c) (y−x2,y−1)⊆Q[x,y]:**
Betrachten wir die Ringhomomorphie φ : Q[x,y]→Q[t] mit t=x2. Dann ist φ(y−x2)=t−1 und φ(y−1)=t−1. Da t−1 irreduzibel in Q[t] ist (es hat keine nicht-trivialen Teiler in Q[t]), ist (y−x2,y−1) ein Primideal in Q[x,y].