Krull's separation lemma

In abstract algebra, Krull's separation lemma is a lemma in ring theory. It was proved by Wolfgang Krull in 1928.[1]

Statement of the lemma

Let $I$ be an ideal and let $M$ be a multiplicative system (i.e. $M$ is closed under multiplication) in a ring $R$ , and suppose $I\cap M=\varnothing$ . Then there exists a prime ideal $P$ satisfying $I\subseteq P$ and $P\cap M=\varnothing$ .[2]

gollark: My crazily convoluted base so far.

gollark: I'll make an AE2 one if I figure out the fundamental problem of "where in the base does this go?"

gollark: TRAITOR!

gollark: Hmm, that gives me an idea...

gollark: Also, all the configuration made it annoying to (dis)assemble.

References

Krull, Wolfgang (1928). "Zur Theorie der zweiseitigen Ideale in nichtkommutativen Bereichen". Mathematische Zeitschrift. 28 (1): 481–503. doi:10.1007/BF01181179. ISSN 0025-5874.
Sun, Shu-Hao (1992). "On separation lemmas". Journal of Pure and Applied Algebra. 78 (3): 301–310. doi:10.1016/0022-4049(92)90112-S.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[Krull1928-1] Krull, Wolfgang (1928). "Zur Theorie der zweiseitigen Ideale in nichtkommutativen Bereichen". Mathematische Zeitschrift. 28 (1): 481–503. doi:10.1007/BF01181179. ISSN 0025-5874.

[2] Sun, Shu-Hao (1992). "On separation lemmas". Journal of Pure and Applied Algebra. 78 (3): 301–310. doi:10.1016/0022-4049(92)90112-S.