这个的乳胶代码是什么

Question

具体来说，我想要这个图表的代码。我对 Latex 还很陌生……请帮忙

Answer 1

我建议tikz-cd这个图表。使用箭头类型-作为线条，并<->进行双射。

amsmath需要该包（可能已经在您的文档中） \DeclareMathOperator，以获得适当的间距和形状Gal。

\documentclass{article}

\usepackage{amsmath}
\usepackage{tikz-cd}

\DeclareMathOperator{\Gal}{Gal}

\begin{document}

Let $K/F$ be a Galois extension and set $G=\Gal(K/F)$. Denote by $E$ the subfields of $K$ containing $F$ and $H$ the subgroups of $G$. Then there is a bijection:
\[
\begin{tikzcd}
K\arrow[d, -] & 1\arrow[d, -]\\
E\arrow[d, -]\arrow[r, <->] & H\arrow[d, -]\\
F & G
\end{tikzcd}
\]
given by the correspondence

\end{document}

Answer 2

类似此例的包提供了一种解决方案tikz-cd。

\documentclass[a4paper,12pt]{article}
\usepackage{tikz-cd}
\begin{document}
\[\begin{tikzcd}[column sep =-1.2]
K                    &                 & 1                    \\
E \arrow[u, no head] & \leftrightarrow & H \arrow[u, no head] \\
F \arrow[u, no head] &                 & G \arrow[u, no head]
\end{tikzcd}\]
\end{document}

Answer 3

无需“花哨”的包装，避免图像中出现不一致，

\documentclass{article}
\usepackage{amsmath}

\DeclareMathOperator{\Gal}{Gal}

\begin{document}

Let $K/F$ be a Galois extension and set $G=\Gal(K/F)$. 
Denote by $E$ the subfields of $K$ containing $F$ and $H$ 
the subgroups of $G$. Then there is a bijection
\[
\begin{array}{ccc}
K && 1 \\
\Bigl| && \Bigl| \\ \noalign{\vspace{2pt}}
E & \leftrightarrow & H \\
\Bigl| && \Bigl| \\ \noalign{\vspace{2pt}}
F && G 
\end{array}
\]
given by the correspondence
\[
\begin{aligned}
E &\rightarrow \{\text{elements of $G$ fixing $E$}\} \\
\{\text{the fixed field of $H$}\} &\mspace{-1mu}\leftarrow H
\end{aligned}
\]

\end{document}

请注意\mspace{-1mu}，这是为了避免箭头不对齐的印象。还请注意使用内部数学模式\text来获得正确的斜体字母，而不是图像中错误的直立字母。

但是，由于您可能需要其他图表，可能比上面的图表更复杂，因此学习基础知识tikz-cd要好得多。