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.



댓글

이 블로그의 인기 게시물

Linux에서 특정한 디렉토리가 차지하는 용량을 효율적이고, 빠르게 계산하는 법(Fast, efficient way to calculate directory size recursively on linux)

Proof of well-known 'Intersection Of Three Planes' formula.

'Index type not supported yet' error when doing QR factorization using Eigen and SuiteSparseQR