在 LaTeX 中排版子群格

Question

尝试找出在 LaTeX 中创建子群格的最简单方法。希望为 `$D_4$' 创建类似这样的格子。

Answer 1

非常简单tikz-cd：

\documentclass{article}
\usepackage{tikz-cd}
\usepackage{amsmath, amssymb}
\begin{document}
\begin{tikzcd}[every arrow/.append style={dash}]
&&D_4\ar[d]\ar[dl]\ar[dr]\\
&\langle r^2,f \rangle \ar[d]\ar[dl]\ar[dr]&\langle r\rangle\ar[d] &\langle r^2,rf\rangle\ar[d]\ar[dl]\ar[dr]\\
\langle f\rangle\ar[rrd]&\langle r^2,f\rangle\ar[rd]&\langle r^2\rangle\ar[d]&\langle rf\rangle\ar[ld]&\langle r^3f\rangle\ar[lld]\\
&&\langle e\rangle
\end{tikzcd}
\end{document}

Answer 2

这是带有软件包的版本xy：

\documentclass[12pt]{article}
\usepackage[all,cmtip]{xy}
\usepackage{amsmath,amssymb}
\begin{document}
\begin{xymatrix}{
&&D_4\ar@{-}[d]\ar@{-}[dl]\ar@{-}[dr]\\
&\langle r^2,f \rangle \ar@{-}[d]\ar@{-}[dl]\ar@{-}[dr]&\langle r\rangle\ar@{-}[d] &\langle r^2,rf\rangle \ar@{-}[d]\ar@{-}[dl]\ar@{-}[dr]\\
\langle f\rangle\ar@{-}[rrd]&\langle r^2,f\rangle\ar@{-}[rd]&\langle r^2\rangle\ar@{-}[d]&\langle rf\rangle\ar@{-}[ld]&\langle r^3f\rangle\ar@{-}[lld]\\
&&\langle e\rangle}
\end{xymatrix}
\end{document}