Question

In: Advanced Math

2 Let F be a field and let R = F[x, y] be the ring of...

2 Let F be a field and let R = F[x, y] be the ring of polynomials in two variables with coefficients in F.

(a) Prove that

ev(0,0) : F[x, y] → F

p(x, y) → p(0, 0)

is a surjective ring homomorphism.

(b) Prove that ker ev(0,0) is equal to the ideal (x, y) = {xr(x, y) + ys(x, y) | r,s ∈ F[x, y]}

(c) Use the first isomorphism theorem to prove that (x, y) ⊆ F[x, y] is a maximal ideal.

(d) Find an ideal I ⊆ F[x, y] such that I is prime but not maximal. [HINT: Find a surjective homomorphism F[x, y] → F[x].]

(e) Find an ideal J ⊆ F[x, y] such that J is not prime

Solutions

Expert Solution


Related Solutions

let R be a ring; X a non-empty set and (F(X, R), +, *) the ring...
let R be a ring; X a non-empty set and (F(X, R), +, *) the ring of the functions from X to R. Show directly the associativity of the multiplication of F(X, R). Assume that R is unital and commutative. show that F(X, R) is also unital and commutative.
Let F be a field. (a) Prove that the polynomials a(x, y) = x^2 − y^2,...
Let F be a field. (a) Prove that the polynomials a(x, y) = x^2 − y^2, b(x, y) = 2xy and c(x, y) = x^2 + y^2 in F[x, y] form a Pythagorean triple. That is, a^2 + b^2 = c^2. Use this fact to explain how to generate right triangles with integer side lengths. (b) Prove that the polynomials a(x,y) = x^2 − y^2, b(x,y) = 2xy − y^2 and c(x,y) = x^2 − xy + y2 in F[x,y]...
Let F be a field and R = Mn(F) the ring of n×n matrices with entires...
Let F be a field and R = Mn(F) the ring of n×n matrices with entires in F. Prove that R has no two sided ideals except (0) and (1).
Let R be a commutative ring with unity. Prove that f(x) is R[x] is a unit...
Let R be a commutative ring with unity. Prove that f(x) is R[x] is a unit in R[x] iff f(x)=a is of degree 0 and is a unit in R.
Let F be a field and let φ : F → F be a ring isomorphism....
Let F be a field and let φ : F → F be a ring isomorphism. Define Fix φ to be Fix φ = {a ∈ F | φ(a) = a}. That is, Fix φ is the set of all elements of F that are fixed under φ. Prove that Fix φ is a field.   (b) Define φ : C → C by φ(a + bi) = a − bi. Take for granted that φ is a ring isomorphism (we...
Let f(x,y) be a scalar function, and let F(x,y,z) be a vector field. Only one of...
Let f(x,y) be a scalar function, and let F(x,y,z) be a vector field. Only one of the following expressions is meaningful. Which one? a) grad f x div F b) div(curl(grad f)) c) div(div F) d) curl(div(grad f)) e) grad(curl F)
Prove the following: (a) Let A be a ring and B be a field. Let f...
Prove the following: (a) Let A be a ring and B be a field. Let f : A → B be a surjective homomorphism from A to B. Then ker(f) is a maximal ideal. (b) If A/J is a field, then J is a maximal ideal.
Let F be a field, and recall the notion of the characteristic of a ring; the...
Let F be a field, and recall the notion of the characteristic of a ring; the characteristic of a field is either 0 or a prime integer. Show that F has characteristic 0 if and only if it contains a copy of rationals and then F has characteristic p if and only if it contains a copy of the field Z/pZ. Show that (in both cases) this determines the smallest subfield of F.
Let A be a commutative ring and F a field. Show that A is an algebra...
Let A be a commutative ring and F a field. Show that A is an algebra over F if and only if A contains (an isomorphic copy of) F as a subring.
Let R be a UFD and let F be a field of fractions for R. If...
Let R be a UFD and let F be a field of fractions for R. If f(α) = 0, where f ∈ R [x] is monic and α ∈ F, show that α ∈ R NOTE: A corollary is the fact that m ∈ Z and m is not an nth power in Z, then n√m is irrational.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT