If you find any mistakes, please make a comment! Thank you.

## The set of ideals of a ring is closed under arbitrary intersections

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 7.3 Exercise 7.3.18

Solution:

(1) In Exercise 7.1.4, we showed that $I \cap J$ is a subring of $R$. Thus it suffices to show that $I \cap J$ absorbs $R$ on the right and the left. To that end, let $r \in R$ and $x \in I \cap J$. Now $x \in I$, so that $rx, xr \in I$. Likewise, $rx, xr \in J$. Thus $rx, xr \in I \cap J$, and $I \cap J \subseteq R$ is an ideal.

(2) Again, we showed in Exercise 7.1.4, that $\bigcap_A I_k$ is a subring of $R$, thus it suffices to show absorption. Let $r \in R$ and $x \in \bigcap_A I_k$. Now $x \in I_k$ for each $k \in A$, so that $rx, xr \in I_k$ for all $k \in A$. Thus $xr, rx \in \bigcap_A I_k$. Hence $\bigcap_A I_k$ is an ideal of $R$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.767227,"math_prob":0.9996252,"size":743,"snap":"2022-27-2022-33","text_gpt3_token_len":279,"char_repetition_ratio":0.14749661,"word_repetition_ratio":0.0397351,"special_character_ratio":0.3822342,"punctuation_ratio":0.17010309,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999907,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-07-04T06:37:37Z\",\"WARC-Record-ID\":\"<urn:uuid:f1c16acd-13ca-4e68-a787-967c87d0a37d>\",\"Content-Length\":\"34246\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:585fe27f-d31d-4987-ab75-e6f6b3f5b201>\",\"WARC-Concurrent-To\":\"<urn:uuid:9be2bf49-b14b-4a12-8cdb-00e182eedbf7>\",\"WARC-IP-Address\":\"104.21.5.104\",\"WARC-Target-URI\":\"https://linearalgebras.com/solution-abstract-algebra-exercise-7-3-18.html\",\"WARC-Payload-Digest\":\"sha1:Z4JQENFMETQKSJFYQJ5MJBX46HYRCKD5\",\"WARC-Block-Digest\":\"sha1:RM3755OMUN3G3HOT74XWZ7KIIPDO2FM2\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656104354651.73_warc_CC-MAIN-20220704050055-20220704080055-00773.warc.gz\"}"}