10
$\begingroup$

I saw an exact sequence of ideals

$0 \rightarrow I \cap J\rightarrow I \oplus J \rightarrow I + J \rightarrow 0$In this sequence, maps are ring homomorphisms or module homomorphisms?

And how the above sequence yield the exact seqeunce

$0 \rightarrow R/I \cap J\rightarrow R/I \oplus R/J \rightarrow R/(I + J) \rightarrow 0$

2 Answers 2

9

The maps are module homomorphisms; more precisely, they are:

$I \cap J \mapsto I \oplus J $ via $x \mapsto (x,x)$,

and

$I\oplus J \mapsto I + J $ via $(x,y) \mapsto x - y$.

If you embed this exact sequence as a subsequence of the obvious short exact sequence

$ 0 \to R \to R\oplus R \to R \to 0$

(with maps defined by the same formulas), then the quotient is the second short exact sequence that you ask about.

  • 1
    I would just like to add that the short exact sequence of the quotients arises from the snake lemma.2014-10-06
4

Matt E. answers the question, but I just wanted to add a couple of things.

First note a proper ideals of $R$ does not inherit a ring structure from $R$ because it does not contain $1$. Also, there is no notion of exact sequences for rings, since the kernel of a ring homomorphism is not a ring (but an ideal).

The maps are $R$-module homomorphisms, so indeed the first and last term of the first sequence are ideals of $R$. The middle term $I \oplus J$ is just the direct sum of $I$ and $J$ as $R$-modules; it is not an ideal of $R$.

The second exact sequence comes from applying the snake lemma to the morphism of short exact sequences which Matt points to; its "cokernel" part is your sequence.

  • 2
    There _is_ a notion of exact sequence of _non-unital_ rings, though!2012-08-01