Lemma: Prime Ideals of Multiplicative Systems in Integral Domains

Let \(R\) be an integral domain and let \(S\subseteq R\) be its multiplicative system. If \(I\) is a prime ideal of \(R_S\), then it is also a prime ideal of \(R\) such that \(S\cap I=\emptyset\).

Proofs: 1

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Brenner


References

Adapted from CC BY-SA 3.0 Sources:

  1. Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of Osnabrück