Here is the figure I want to draw:

enter image description here

In general I know how to draw a commutative diagram but what I do not know how to draw is the dotted arrow with a circle in it and a vertical equal sign.

Could anyone help me in drawing that please?

  • 2
    The tikz-cd package offers the possibility to draw dotted arrows: \arrow[d,dotted] should work. For the double line without arrow heads, take a look here: tex.stackexchange.com/a/443023/134144
    – leandriis
    Jun 13 at 19:53
  • 3
    You should show us, what you try so far. Recreate your image is not fun. BTW, this is not your first question about tik-cd (it is not huge, only 18 pages), so it is time, that you read its documentation. It contain examples similar to your problem.
    – Zarko
    Jun 13 at 20:35
  • Ok I just thought that it is understood from my previous posts that I can draw everything in the diagram and it is clear exactly what I am stuck in .... but thanks for the advice and certainly you are correct @Zarko
    – Happy
    Jun 13 at 23:23
  • Thank you @leandriis your comment is extremely helpful.
    – Happy
    Jun 13 at 23:24
  • 1
    Sorry for typing error, correct is tikz-cd ...
    – Zarko
    Jun 13 at 23:47

The original diagram is done to 100 % using xy package. In fact I know the classic tips of this package. I add, another solution using xy package leaving the tips untouched. If you want the tips of tikz-cd you can add the cmtip into the square bracket option. Improveding the values of the parameters \xymatrixcolsep{...} and \xymatrixrowsep{...} you can improve the rectangles.

\mathbb{Z}\ar[r]^{m}\ar[d]_{\frac nd}  & \mathbb{Z} \ar[r] \ar[d]_{\frac md} &  \mathbb{Z}/m \ar[r]
\ar[r] \ar@{.>}[d]|*+<7pt>[o][F]{\scriptstyle\ell} & 0 \ar@{=}[d]\\
Z\mkern.2mu Z\ar[r]^{n}  & \mathbb{Z} \ar[r] & \mathbb{Z}/n
\ar [r]
\ar [r] &  0,}

enter image description here


A solution using stackengine and relsize for the circled ell:

\usepackage{tikz-cd, circledsteps}
\usepackage{mathtools, amsfonts, relsize, stackengine}
\newcommand{\circledell}{\stackinset{c}{}{c}{}{$ \ell $}{$\mathlarger{\bigcirc}$}}


    \begin{tikzcd}[column sep=large, row sep=huge]
    \mathbb{Z}\dar["\frac{n}{d}",swap]\rar["m"] & \mathbb{Z}\dar["\frac{m}{d}",swap]\rar & \mathbb{Z}/m\dar[dotted, inner sep =3em, "\circledell", description]
    \rar & 0 \dar[equal] \\\
    Z\:Z\rar["n"] & \mathbb{Z}\rar & \mathbb{Z}/n\rar & 0

\end{document} $

enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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