quotient field
1. Definition
Let 
be an Integral domain, then the qoutient field of is defined as the field 
with an embedding 
, such that for any monomorphism 
on a field 
there exists a unique morphism 
such that
2. Furthermore
- existence set of a quotient field
- uniqueness uniqueness of a quotient field