Localization at a prime ideal
Definition with symbols
- As a set, it is the collection of fractions where , subject to the equivalence .
- The operations are defined as follows: and
embeds naturally as a subset of . If are prime ideals in , we have an embedding from into . In fact, if is an [[integral domain], then all the s are contained inside the residue field of . Further, their intersection is exactly .