Field of Fractions

Field of Fractions

Math 121. Homework 1 1. This exercise constructs the “field of fractions" of a domain R. Consider ordered pairs (a; b) with a; b 2 R and b 6= 0. Declare (a; b) and (c; d) to be equivalent (denoted (a; b) ∼ (c; d)) if ad = bc. (i) Show that ∼ is an an equivalence relation (i.e., (a; b) ∼ (a; b), (a; b) ∼ (c; d) if and only if (c; d) ∼ (a; b), and ∼ is transitive). (ii) Check that if (a; b) ∼ (a0; b0) and (c; d) ∼ (c0; d0) then (ad + bc; bd) ∼ (a0d0 + b0c0; b0d0) and (ac; bd) ∼ (a0c0; b0d0) (note that bd; b0d0 6= 0 since R is a domain). (iii) Let F denote the set of equivalence classes for ∼, and let a=b denote the equivalence class of (a; b). Using (ii), show that the binary operations (a=b) + (c=d) := (ad + bc)=(bd); (a=b)(c=d) := ac=bd on F are well-defined and make F into a ring with identity elements 0=1 and 1=1 for addition and multiplication respectively. For the ring axioms, just write out the verification that addition is associative by using the cancellation law in domains (and check the rest in private). Show that r 7! r=1 is an injective ring homomorphism i : R ! F . (iv) Show that a=b = 0=1 if and only if a = 0, and that if a; b 6= 0 then b=a is a multiplicative inverse of a=b; deduce that F is a field. We call it the field of fractions of R.(x7.5 in the course text gives a lengthy development of this in a more general setting; it is better to think about this on your own without looking at the text.) For R = k[X] with a field k, F is denoted k(X). In algebra, the construction of ring homomorphisms is very important. The remaining exercises provide rigorous means by which we construct such maps in various contexts. These are mostly \intuitively obvious", so the only point is to carefully write out the details once. 2. Let R be a domain with fraction field F , and i : R ! F the natural inclusion map of rings. (i) Prove that F is the \smallest" field into which R injects in the sense that for any injective ring homomorphism f : R ! k into a field k, there is a unique map of fields j : F ! k extending f (i.e., j ◦ i = f). Hint: use injectivity of f to show that for a; b 2 R with b 6= 0, there is only one possibility for j(a=b), and then show that the unique possibility really \works". (ii) The conclusion in (i) fails if ker f 6= 0: for a 2 k, prove the evaluation-at-a map f : k[X] ! k does not extend to a ring homomorphism k(X) ! k. (Where would 1=(X − a) go?) 3. Let R be a ring. Let S be an R-algebra. Prove that for any s 2 S, there is a unique R-algebra map F : R[X] ! S such that F : X 7! s. In down-to-earth terms, this says that to map R[X] to S as an R-algebra is the \same" as choosing an element of S (the place wherep X goes). Using a fixed identification C = R[X]=(X2 + 1) (i.e., fixing a choice i of −1 in C), what data do we need on an R-algebra A in order to get a map of R-algebras C ! A? 4. (i) Generalize the construction in class to rigorously define the R-algebra R[X1;:::;Xn] for any n ≥ 1 and verify associativity for multiplication (check the rest in private). Prove a mapping property for R-algebras analogous to Exercise 3 above (using evaluation at an ordered n-tuple in S). Do not use the recursive method of definition R[X1;:::;Xn] := (R[X1;:::;Xn−1])[Xn] as in the course text; treat X1;:::;Xn on an equal footing in the definition. (ii) (Extra Credit) If I is any non-empty set (perhaps infinite, maybe even uncountable), give a definition (and mapping property) for an R-algebra R[Xi]i2I with indeterminates indexed by the set I. Intuitively, elements of R[Xi]i2I are finite R-linear combinations of monomials in the Xi's. Hint: you may find it helpful to think about functions I ! N vanishing away from a finite set; e.g., Xe1 ··· Xen should correspond to the function I ! N that carries i to e and vanishes away i1 in j j from the finite subset fi1; : : : ; ing of I. 1.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    1 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us