A basic property of ideal quotients in a quotient ring

Let R be a ring and let I, J, and K be ideals in R such that K \subseteq I. If \overline{I} and \overline{J} denote the images of I and J in R/K via the natural projection, prove that \overline{(I:J)} = (\overline{I}:\overline{J}) where \overline{(I:J)} is the image of the ideal quotient (I:J).


(\subseteq) Suppose r + K \in \overline{(I:J)}. Then r \in (I:J), and thus rJ \subseteq I. Then rJ + K \subseteq I + K, and so (r+K)(J + K) \subseteq I+K. So r+K \in (\overline{I}:\overline{J}).

(\supseteq) Suppose conversely that r+K \in (\overline{I}:\overline{J}). Then (r+K)(J+K) \subseteq I+K, and thus rJ+K \subseteq I+K. Since K \subseteq I, rJ \subseteq I. So r \in (I:J), and r+K \in \overline{(I:J)}.

Post a comment or leave a trackback: Trackback URL.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: