Quotient ring of principal ideal domain is principal ideal.
R : principal ideal domain, I : ideal of R.
Since that R is the principal ideal domain, every ideal of R is principal ideal.
Let such ideal be H. Also, let J =\{a \in R \mid a + I \in H\} (Could be interpreted as the set of the representatives of cosets in R/I).
Let's prove that J is the ideal of R.
Since that ring must have the additive identity, (which implies that the ring is non-empty set) we can say that 0 + I \in H, 0 \in J.
Also, a, b \in J, \forall a + I, b + I \in H which implies (a + I) - (b + I) = (a - b) + I \in H. So, a - b \in J.
Since that H is the ideal of R/I, ar + I, ra + I \in H, \forall a \in J, \forall r \in R which implies ar, ra \in J. Therefore, we can conclude that J is the ideal of R.
Next, let's prove H = <j + I>, \exists j \in J.
(\Longleftarrow)
Obiviously, <j + I> \subseteq H, \exists j \in J.
(\Longrightarrow)
If a + I \in H, then a \in J.
Then a = rj, \exists r \in R, \exists j \in J, because if R is the principal ideal domain, J = <j>, \exists j \in R.
Hence, a + I = (r + I)(j + I) \implies a + I \in <j + I> \implies H \subseteq <j + I>.
\therefore H is principal ideal and R/I is principal ideal domain.
Since that R is the principal ideal domain, every ideal of R is principal ideal.
Let such ideal be H. Also, let J =\{a \in R \mid a + I \in H\} (Could be interpreted as the set of the representatives of cosets in R/I).
Let's prove that J is the ideal of R.
Since that ring must have the additive identity, (which implies that the ring is non-empty set) we can say that 0 + I \in H, 0 \in J.
Also, a, b \in J, \forall a + I, b + I \in H which implies (a + I) - (b + I) = (a - b) + I \in H. So, a - b \in J.
Since that H is the ideal of R/I, ar + I, ra + I \in H, \forall a \in J, \forall r \in R which implies ar, ra \in J. Therefore, we can conclude that J is the ideal of R.
Next, let's prove H = <j + I>, \exists j \in J.
(\Longleftarrow)
Obiviously, <j + I> \subseteq H, \exists j \in J.
(\Longrightarrow)
If a + I \in H, then a \in J.
Then a = rj, \exists r \in R, \exists j \in J, because if R is the principal ideal domain, J = <j>, \exists j \in R.
Hence, a + I = (r + I)(j + I) \implies a + I \in <j + I> \implies H \subseteq <j + I>.
\therefore H is principal ideal and R/I is principal ideal domain.
댓글
댓글 쓰기