Definition
Given a domain , there exists (the field of fractions of ). It satisfies a “universal property”:
Given a domain (R,+,⋅), there exists i:R↪Fr(R) (the field of fractions of R). It satisfies a “universal property”:
∀K field,j:R↪K an injective morphism