Timeline for Maximal ideal and Zorn's lemma

11 events

when toggle format	what		by	license	comment
Dec 11, 2022 at 22:52	history	edited	KConrad	CC BY-SA 4.0	added 8 characters in body
Jan 28, 2011 at 19:42	history	edited	expmat	CC BY-SA 2.5	added 1 characters in body
Jan 28, 2011 at 0:35	comment	added	David Feldman		"Suppose it doesn't have a maximal ideal. Then we can build an ascending chain of distinct ideals." I don't think that's the "correct" bogus argument. What you want to say is "In ZF, you can extract cross-sections from finite families of non-empty sets (or finite sequences from infinite sets). But that's all you'll ever need for a Noetherian ring before you reach a maximal ideal."
Jan 28, 2011 at 0:30	history	edited	David Feldman	CC BY-SA 2.5	added 1 characters in body
Jan 27, 2011 at 23:14	answer	added	Andrej Bauer		timeline score: 6
Jan 27, 2011 at 19:44	comment	added	David E Speyer		Potential duplicate: mathoverflow.net/questions/7025/…
Jan 27, 2011 at 19:38	answer	added	Joel David Hamkins		timeline score: 14
Jan 27, 2011 at 19:25	comment	added	Dan Ramras		I've often been bothered by arguments like this in which people try to construct something infinite one step at a time, without explicitly appealing to Zorn's lemma.
Jan 27, 2011 at 19:22	history	edited	expmat	CC BY-SA 2.5	added 93 characters in body
Jan 27, 2011 at 19:16	comment	added	Qiaochu Yuan		The equivalence between different definitions of Noetherian requires the axiom of choice, so first of all you have to pick one.
Jan 27, 2011 at 19:10	history	asked	expmat	CC BY-SA 2.5