# Every principal ideal domain satisfies ACCP.

Every principal ideal domain $D$ satisfies the ACCP.

Proof. Let $(a_1) ⊆ (a_2) ⊆ (a_3) ⊆ · · ·$ be a chain of principal ideals in $D$. It can be easily verified that $I = \displaystyle{∪_{i∈N} (a_i)}$ is an ideal of $D$. Since $D$ is a PID, there exists an element $a ∈ D$ such that $I = (a)$. Hence, $a ∈ (a_n)$ for some positive integer $n$. Then $I ⊆ (a_n) ⊆ I$. Therefore, $I = a_n$. For $t ≥ n$, $(a_t) ⊆ I = (a_n) ⊆ (a_t)$. Thus, $(a_n) = (a_t)$ for all $t ≥ n$.

I have prove $I$ is an ideal in the following way:-

Let $x,y\in I$. Then there exist $i,j \in \mathbb{N}$ s.t. $x \in (a_i)$ & $y \in (a_j)$.
Let $k \in \mathbb{N}$ s.t $k>i,j$.
Then $x \in (a_k)$ & $y \in (a_k)$.
as $(a_k)$ is an ideal $x-y \in (a_k)\subset I$ and $rx,xr \in (a_k)\subset I$.
So $I$ is an ideal.

Is it correct?

Yes. Said more simply $\ (a_1) \subseteq (a_2) \subseteq \cdots\subseteq (a_1,a_2,a_3,...)\stackrel{\rm PID} = (c_1 a_1 +\cdots + c_k a_k) \subseteq (a_k)$