Show that an integral domain $A$ is a principal ideal domain if every ideal $I$ of $A$ is principal, that is, of the form $I=(a)$. Show directly that the ideals in a PID satisfy the a.c.c.
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|
|
Let $I_1 \subseteq I_2 \subseteq \ldots$ be an infinite ascending chain of ideals. Now, note that $I := \bigcup_{k \ge 1} I_k$ is again an ideal, so there is some $a \in I$ such that $I = (a)$. But by the definition of $I$, there must be some $k \ge 1$ such that $a \in I_k$. Obviously, $(a) \subseteq I_k \subseteq I = (a)$, so $I_k = (a) = I$. Furthermore, for $j \ge k$, we have $I = I_k \subseteq I_j \subseteq I$, so for all $j \ge k$, $I_j = I_k$. Edit: This seems answer the question (cf. comments). |
||||
|
|