可換図式
第一同型定理を表現する次の図式において、可換性は f = f ~ ∘ π {\displaystyle f={\tilde {f}}\circ \pi } を意味する:

下は一般の可換正方形であり、 h ∘ f = k ∘ g {\displaystyle h\circ f=k\circ g} である