I would like to know if my logic is sound.
We know that in every principal ideal domain, every ideal is multiplicatively generated.
Thus, for $a \in R$ we have: $aR = ${$ra: r \in R$}
Thus every ideal has a limit on size, right? So eventually our ascending chain of ideals will have to be the same for some ideal eventually?
Is that correct? It seems a bit too easy