使用 xypic 绘制哈斯图时出现的问题

Question

我需要绘制以下哈斯图：1）

2）

我尝试使用 xypic。首先我写了以下代码

\xymatrix{
  &{G}\ar@{-}[dr]\ar@{-}[dl] \\
  {\mathbb{Z}_p}\ar@{-}[dr] & & \mathbb{Z}_q}\ar@{-}[dl]}\\
  {{e}} \\
}

但它什么都没显示。关于第二个，我真的不知道从哪里开始。我也可以写出这个错误的代码：

\xymatrix{
  & {HK}\ar@{-}[dr]\ar@{=}[dl]\\
  H@\ar{=}[dr] & K@\ar{-}[dl]\\
  {H\cap K}
}

我该如何绘制它们？我的错误在哪里？

Answer 1

如果你不必使用xy，我建议你使用功能强大且更现代的tikz-cd改为包：

\documentclass{article}
\usepackage{amssymb}
\usepackage{tikz-cd}

\begin{document}

\begin{tikzcd}[column sep=0.3cm]
{} & G\arrow[dash]{dr}\arrow[dash]{dl}
 & \\
\mathbb{Z}_p\arrow[dash]{dr} & & \mathbb{Z}_q\arrow[dash]{dl} \\
& \lbrace e\rbrace
\end{tikzcd}

\begin{tikzcd}[column sep=0.3cm]
{} & HK\arrow[equal]{dr}\arrow[dash]{dl}
 & \\
H\arrow[equal]{dr} & & K\arrow[dash]{dl} \\
& H\cap K
\end{tikzcd}

\end{document}

Answer 2

这适用于xy：

\documentclass{article}
\usepackage{amssymb}
\usepackage[all,cmtip]{xy}
\begin{document}
\[
\xymatrix{
  & G \ar@{-}[dr] \ar@{-}[dl] \\
  \mathbb{Z}_p \ar@{-}[dr] & & \mathbb{Z}_q \ar@{-}[dl] \\
  & \{e\}
}
\qquad
\xymatrix{
  & HK \ar@{=}[dr] \ar@{-}[dl]\\
  H \ar@{=}[dr] & & K \ar@{-}[dl]\\
  & H\cap K
}
\]
\end{document}