Commutative diagram

A diagram of objects and morphisms is commutative, intuitively, if picking two objects, one can follow any path through the diagram and obtain the same result. For example, the first isomorphism theorem is a commutative triangle as follows:

       t

G --------> im f

 \         ^
f  \       /h . 
   v     /
  G/ker f