使用 tikzcd 键入交换图

Question

我如何在 overleaf 中的 tikz-cd 中输入这个交换图？

我试过

\documentclass{amsart}
\usepackage{latexsym,amsmath}
\usepackage{mathtools}
\usepackage{scalerel,stackengine}
\usepackage{tikz-cd}
\begin{document}

\maketitle
\[
\begin{tikzcd}
G \arrow[r,""]\arrow[d,swap,"\Delta"]\arrow[rd,swap,"\id_G"] & 1 \times G \arrow[r,"e \times id_G"]  &
  G \times G \arrow[d,"m"] \\
G \times 1 \arrow[d,"id_G \times e"] \\
G \times G \arrow[r,"m"] & G
\end{tikzcd}
\]
\end{document}

这是行不通的。

Answer 1

诀窍是将其视为 3×3 矩阵。因此对角箭头应为rrdd，因为它必须跳过两列和两行。

类似地，在最后一行您需要&&，因为中心列没有条目。

\documentclass{article}
\usepackage{amsmath,tikz-cd}

\newcommand{\id}{\mathrm{id}}
\newcommand{\one}{\mathbf{1}}

\begin{document}

\[
\begin{tikzcd}[column sep=3em]
%% first row
G \arrow[r] \arrow[d,swap,"\Delta"] \arrow[rrdd,"\id_G"] &
\one \times G \arrow[r,"e \times \id_G"]  &
G \times G \arrow[dd,"m"] \\
%% second row
G \times \one \arrow[d,swap,"\id_G \times e"] \\
%% third row
G \times G \arrow[rr,"m"] && G
\end{tikzcd}
\]

\end{document}

我稍微增加了列间距，以避免顶行的标签覆盖箭头。

我不确定我是否会用表示“对角线”的“Delta”标记该箭头，但你对此有最终决定权。