Talk:Existence of Field of Quotients

Is it proved somewhere that the operations on the quotient field are well defined? I'm proving the same thing for Localisation of a Ring Exists so perhaps the proofs can be lemma'd into one page. --Linus44 20:58, 7 May 2011 (CDT)


 * Pretty sure it is. It's derived from the results on inverse-completions which AFAIK pretty solid. I'll take a look in a bit - only just got up, waiting for the caffeine to kick in. --prime mover 02:41, 8 May 2011 (CDT)