Loading [MathJax]/jax/output/HTML-CSS/jax.js

Friday, April 26, 2013

Nonisomorphicity of Z[x] and Q[x] (7.3.2)

Dummit and Foote Abstract Algebra, section 7.3, exercise 2:

MathJax TeX Test Page Prove Z[x]Q[x].

Proof: Lemma 1: If φ:RS is a surjective ring homomorphism and R is generated by a subset X (i.e. every element of R is writable as a sum of products with subtraction [or a series of operations] of elements from X), then S is generated by φ(X). Proof: Let s be an arbitrary element of S. For some rR, we have s=φ(r) and since r is a series of operations of elements from X, due to the homomorphism's nature we have s is a series of operations of elements from φ(X). 

We can see that Z[x] is generated by {x,1}, since the latter generates Z (all potential coefficients) and the former generates xn for all nZ+. This implies Q[x] is generated by two elements, and in particular Q is generated by two elements (since we have a surjective homomorphism φ:Q[x]Q by p(x)p(0)). Letting ab and cd denote these generators, we have ad1bd=ab and bc1bd=cd, so that in fact Q is generated by one element; further refer to it as 1z. Letting pz be prime, we must have 1p is generated by a series of operations of 1z despite the fact that every such operation can be condensed into some fraction yzn, which cannot simplify to 1p. 

No comments:

Post a Comment