☰

xypic 中特殊箭杆的问题

tag-icon • tag-icon xy-pic commutative-diagrams
xypic 中特殊箭杆的问题

我正在尝试绘制老师在黑板上绘制的图表来总结可分性关系，但我就是画不对。这是我最好的尝试：

\documentclass[a4paper]{report}
\usepackage[all]{xy}
\usepackage{amsmath,amsfonts,amssymb,graphicx,color}

\begin{document}
\begin{gather*}
|S^G|=|G:\operatorname{Stab}_G(S)|=|G:N_G(S)|. \\
\xymatrix{
G \ar@{{}*\composite{\hbox{\scalebox{2}{$\underset{\Big\{}{\scriptscriptstyle\text{\color{white}A}}$}}}}@<-3ex>[dd]_{p'\quad}\ar@{{}*\composite{\hbox{\scalebox{1}[2]{\}}}}{}}@<1.5ex>[d]^{p'}\ar@{-}[d] \\
N_G(S) \ar@{-}[d] \\
S \ar@{-}[d] \\
1
}
\end{gather*}
\end{document}

结果：

在此处输入图片描述

好的，代码中多了一个行，我应该对一个孤立矩阵使用一个方程。无论如何，问题很明显：那些长括号无法正确延伸。我需要大括号从靠近 G 延伸到靠近 S。我尝试了很多变体，但括号总是从远离 G 的地方开始，或者多于(!!) G，并且总是以靠近 N_G(S) 结束。小括号也有点问题，但我想我可以保持原样，而且当我修复大括号时，小括号可能很容易修复。那么我该如何修复那个大括号呢？

答案1

这是一个tikz解决方案。使用库绘制基底decorations。

在此处输入图片描述

\documentclass[preview]{standalone}
\usepackage{amsmath}

\usepackage{tikz}
\usetikzlibrary{positioning}
\usetikzlibrary{decorations.pathreplacing}

\begin{document}

\begin{gather*}
|S^G|=|G:\operatorname{Stab}_G(S)|=|G:N_G(S)|.
\end{gather*}

\begin{center}
\begin{tikzpicture}[
    % brace style
    bl/.style={decorate,decoration={brace,amplitude=10pt,raise=4pt,mirror},very thick},
    br/.style={decorate,decoration={brace,amplitude=7pt,raise=4pt}}]

    % spacing between the nodes and the braces
    \def\s{13pt}
    \def\t{19pt}

    % nodes
    \node (n1) at (0,0)      {$G$};
    \node [below=of n1] (n2) {$N_G(S)$};
    \node [below=of n2] (n3) {$S$};
    \node [below=of n3] (n4) {$1$};

    % arrows
    \path[->]
        (n1) edge node {} (n2)
        (n2) edge node {} (n3)
        (n3) edge node {} (n4);

    % left brace
    \draw [bl] ([xshift=-\s]n1.center) -- ([xshift=-\s]n3.center)
        node [black,midway,xshift=-\t] {\footnotesize$p'$};

    % right brace
    \draw [br] ([xshift=\s]n1.center) -- ([xshift=\s]n2.center)
        node [black,midway,xshift=\t] {\footnotesize$p'$};

\end{tikzpicture}

\end{center}

\end{document}

答案2

如果你有时间和兴趣改变，看起来如下（大部分内容取自@sergej）

% arara: pdflatex

\documentclass{article}
\usepackage{tikz-cd}
\usetikzlibrary{decorations.pathreplacing, positioning}
\usepackage{mathtools}

\begin{document}
\begin{gather*}
|S^G|=|G:\operatorname{Stab}_G(S)|=|G:N_G(S)|\\
\begin{tikzcd}[every arrow/.append style=dash]
G 
\ar[thick, start anchor=center, end anchor=center, xshift=-1.7em, decorate,decoration={brace,amplitude=8pt,mirror}]{dd}[left=8pt]{p}
\ar[thick, start anchor=center, end anchor=center, xshift=1.7em, decorate,decoration={brace,amplitude=4pt}]{d}[right= 4pt]{p}
\ar{d} \\
N_G(S) \ar{d} \\
S \ar{d} \\
1
\end{tikzcd}
\end{gather*}
\end{document}

在此处输入图片描述

答案3

这对你们来说够了吗？

\[
\xymatrix{
  G      \ar@{-}[d]    \ar@{-} `l[d] `[dd]_{p'} [dd]  \\
  N_G(S) \ar@{-}[d] \\
  S      \ar@{-}[d] \\
  1
}
\qquad
\xymatrix@C=1ex{% 1ex = space between collumns
 & G      \ar@{-}[d]   \ar@{-} `l/0pt[ld] `[dd]_{p'} [dd] \ar@{-} `r[dr] `[d]^{p'} [d] & \\
 & N_G(S) \ar@{-}[d] & \\
 & S      \ar@{-}[d] \\
 & 1
}
\]

在此处输入图片描述

相关内容