File:First isomorphism theorem (plain).svg

LaTeX source

\documentclass{amsart}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\DeclareMathOperator{\Ker}{ker}
\begin{document}
 \begin{equation*}
  \xymatrix@C+1em@R+1em{
   G \ar[r]^-{f} \ar[d]_-{\pi} & H \\
   G/\Ker(f) \ar@{-->}[ur]_-{\tilde{f}}
  }
 \end{equation*}
\end{document}

Summary

Description The commutative diagram expressing the "first isomorphism theorem". It does not indicate which arrows are injective or surjective.
Date
Source I created this work entirely by myself.
Author Ryan Reich (talk)
Other versions w:File:First isomorphism theorem (plain).svg, File:First isomorphism theorem.png

Licensing

Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
Category:Self-published work#First%20isomorphism%20theorem%20(plain).svgCategory:PD-self#First%20isomorphism%20theorem%20(plain).svg Category:Commutative triangles Category:Abstract algebra Category:Images with LaTeX source code Category:SVG commutative diagrams
Category:Abstract algebra Category:Commutative triangles Category:Images with LaTeX source code Category:PD-self Category:SVG commutative diagrams Category:Self-published work