Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am familiar with the first isomorphism theorem, but looking on wikipedia I see this image which I do not understand.

http://en.wikipedia.org/wiki/File:First-isomorphism-theorem.svg

Diagram of First Isomorphism Theorem

A few specific questions about it:

  1. What do the arrows coming from/ leading to a $0$ mean? Are they different from the other arrows? Also, since I clearly don't understand the diagram, I might as well ask what the other arrows mean too.
  2. How am I supposed to read the diagram? Naturally I want to start at the $0$ in the bottom left and go from $\ker f$ to $G/\ker f$.
  3. It seems like the whole statement of the theorem is contained in the one block $G/\ker f \simeq \operatorname{im} f$ so what is the point of the rest of the diagram?
share|improve this question

2 Answers 2

up vote 3 down vote accepted

You’ll probably find it helpful to read about exact sequences. There are two in this diagram. One is

$$0\longrightarrow\ker f\overset{\kappa}\longrightarrow G\overset{\pi}\longrightarrow G/\ker f\longrightarrow 0\;.$$

Here $0$ is the trivial group, and the exactness of the sequence means that the range of each map is the kernel of the next. Since the range of the first map is just the identity in $\ker f$, $\kappa$ is an injection; it’s actually just the inclusion map from $\ker f$ into the whole group $G$, so its range is $\ker f$ as a subgroup of $G$. This is then the kernel of the quotient map $\pi$. Finally, the range of $\pi$ must be the kernel of the last map, which means that $\pi$ is a surjection (which of course comes as no surprise!).

The other is $0\longrightarrow G/\ker f\overset{\iota}\longrightarrow H$; it says that $\iota$ is an isomorphism, because its kernel is the range of the first map, which is trivial, but it doesn’t say that $\iota$ is a surjective isomorphism.

Then you have the commutative diagram:

$$\begin{array}{c} &&G/\ker f&\\ &\pi\nearrow&&\searrow\iota\\ G&&\overset{f}\longrightarrow&&H \end{array}$$

This is an assertion that $f=\iota\circ\pi$.

As it says in the accompanying discussion, from the existence of the homomorphism $f$ you can infer the existence of everything else in the diagram. For any interpretation beyond that you’re getting into category theory, which I don’t do.

share|improve this answer

The arrows from/to $0$ mean a homomorphism, just like the other arrows. Of course, to/from there is only one homomorphsim, so we know which one it is. Moreover, the two diagonal sequences are supposed to be exact, that is the kernel of an imgae equals the image of the previous one. Thus for example $0\to A\to B$ means not more than that $A\to B$ is a monomorphism.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.