Stream: Is there code for X?
Topic: Krull's Theorem
Kenji Nakagawa (Aug 16 2020 at 16:31):
More specifically, given any nonzero ring, there exists a maximal ideal.
This seems to be a relatively straightforward application of Zorn's lemma, so I was wondering if someone has already done it or wants to do so.
Markus Himmel (Aug 16 2020 at 16:33):
Bryan Gin-ge Chen (Aug 16 2020 at 16:34):
I guess that should get a docstring so that it's easier to find.
Markus Himmel (Aug 16 2020 at 17:03):
Bryan Gin-ge Chen (Aug 16 2020 at 17:17):
Last updated: May 07 2021 at 23:11 UTC