Featured
- Get link
- X
- Other Apps
ĐỊNH LÝ TƯƠNG ỨNG CHO IDEAL
Bài viết sau đề cập tới một định lý cơ bản xuất hiện khá nhiều trong các tài liệu nhập môn về đại số giao hoán. Nội dung dưới đây nhằm trình bày một chứng minh khá dễ hiểu cho định lý này. (Trong một số tài liệu, đây được xem là một phiên bản cho định lý đẳng cấu trên dàn.)
Định lý tương ứng cho ideal: Cho $I \subseteq R$ là một ideal trong vành $R$. Khi đó ta có một tương ứng 1 - 1 như sau
\begin{align*} \left\lbrace \text{ ideal trong R chứa ideal I }\right\rbrace \longleftrightarrow \left\lbrace \text{ ideal của } R/I \right\rbrace \end{align*}. Cụ thể hơn, xét đồng cấu chính tắc $\varphi: R \rightarrow R/I$. Khi đó song ánh trong định nghĩa trên cho bởi quy tắc: với mỗi ideal $I \subseteq J \subseteq R$, ta có ảnh của ideal cho bởi $\varphi \left[J\right] = \left\lbrace a+I: a \in J \right\rbrace \subseteq R/I$. Đồng thời, ảnh ngược của mỗi idela $J' \subseteq R/I$ cho bởi $\varphi^{-1}\left[J'\right] = \left\lbrace a \in R: a \in J'\right\rbrace$.
Chứng minh.
Chứng minh cho định lý trên bao gồm các bước nhỏ như sau (mấu chốt là chứng minh cho bất kỳ ideal $J \subseteq R$ và $J' \subseteq R/I$):
- $\varphi \left[J\right]\subseteq R/I$ và $\varphi^{-1}\left[J'\right] \subseteq R$ là các ideal,
- $\varphi\left[J\right] \subseteq J' \Leftrightarrow J \subseteq \varphi^{-1}\left[J'\right]$,
- $\varphi^{-1}\left[\varphi\left(J\right)\right] = I+J$,
- $\varphi\left[\varphi^{-1}\left(J'\right)\right] = J'$.
Comments
Post a Comment