# In every ring with unity satisfying ACC, every ideal is finitely generated; can we prove it without assuming Axiom of choice?

Assuming Zorn's lemma, we can prove that in every ring with unity satisfying Ascending-Chain-Condition, every ideal is finitely generated. Is this statement equivalent to Zorn's lemma? Can we prove it without assuming Axiom of choice?

• You've asked two questions which are somewhat similar, and both of them include nothing about your efforts to tackle this problem. At least in searching through standard literature or Google. Have you tries something like that? – Asaf Karagila Apr 9 '15 at 15:57
• As far as I know, it requires at least the denumerable axiom of choice. – Bernard Apr 9 '15 at 16:00
• I think it suffices to use axiom of dependent choice (abbreviated as DC). So you should not expect it to be as strong as Zorn's Lemma, which is strictly stronger than DC. I think a more suitable question you could ask is that if the statement equivalent to DC. – Censi LI Apr 10 '15 at 9:22
• @AsafKaragila : Both of the two questions came up while dealing with Ascending chain condition ( the prime ideal question , while dealing with commutative rings ) in face while proving the equivalence of the very same statements as you have mentioned in your answer ... – user228168 Apr 10 '15 at 9:51

$$\text{Every non-empty set of ideals has a maximal element}\implies\text{Every ideal is finitely generated}\implies\text{Every strictly increasing chain of ideals is finite}$$