This page outlines the way that I use the LaTeX packge tikz
. This package is very customizable and can
be used to create all kinds of diagrams. In some instances, tikz
is more complicated than other packages,
but if you learn to use tikz
, you will not need any other such package. I will give a few examples
that will be pertinent to MAT 544. The first thing you need to do is include \usepackage{tikz}
in
the preamble of your LaTeX document.
If you would like to create a tower of fields, with \(\mathbb{Q}\subseteq
E\subseteq F\subseteq K\), then you could use the following code. The output is also displayed.
\begin{tikzpicture}[node distance = 2cm, auto] \node (Q) {$\mathbb{Q}$}; \node (E) [above of=Q] {$E$}; node (F) [above of=E] {$F$}; \node (K) [above of=K] {$K$}; \draw[-] (Q) to node {} (E); \draw[-] (E) to node {} (F); \draw[-] (F) to node {} (K); \end{tikzpicture}

If you would like to put degree labels on your extensions, you can put these numbers in the curly braces in the \draw
command as in the following code:
\begin{tikzpicture}[node distance = 2cm, auto] \node (Q) {$\mathbb{Q}$}; \node (E) [above of=Q] {$E$}; \node (F) [above of=E] {$F$}; \node (K) [above of=K] {$K$}; \draw[-] (Q) to node {n} (E); \draw[-] (E) to node {m} (F); \draw[-] (F) to node {p} (K); \end{tikzpicture}

If you decide that you would rather have one of your degree labels on the other side of the line, you can add [swap]
just before the curly braces in the \draw
command, as in the following code:
\begin{tikzpicture}[node distance = 2cm, auto]
\node (Q) {$\mathbb{Q}$};
\node (E) [above of=Q] {$E$};
\node (F) [above of=E] {$F$};
\node (K) [above of=K] {$K$};
\draw[-] (Q) to node {n} (E);
\draw[-] (E) to node [swap] {m} (F);
\draw[-] (F) to node {p} (K);
\end{tikzpicture}

If you would like to create a field tower of arbitrary height, you could do something like the following. The labels have changed, but I only emphasize the main differences.
\begin{tikzpicture}[node distance = 2cm, auto] \node (Q) {$\mathbb{Q}$}; \node (F1) [above of=Q] {$F_1$}; \node (F2) [above of=F1] {$F_2$}; \node (C) [above of=F2] {$\vdots$}; \node (Fn) [above of=C] {$F_n$}; \draw[-] (Q) to node {} (F1); \draw[-] (F1) to node {} (F2); \draw[-] (F2) to node {} (C); \draw[-] (C) to node {} (Fn); \end{tikzpicture}

If you would like to have multiple "branches" on your diagram, you can certainly do that with this code. This is
where things might get complicated, but this is the price we pay for the customization that the tikz
package allows. We use new commands to move things to the left and to the right. We also change the node distance
for \(K\) to put it above \(E\) and \(F\).
\begin{tikzpicture}[node distance = 2cm, auto] \node (Q) {$\mathbb{Q}$}; \node (E) [above of=Q, left of=Q] {$E$}; \node (F) [above of=Q, right of=Q] {$F$}; \node (K) [above of=Q, node distance = 4cm] {$K$}; \draw[-] (Q) to node {} (E); \draw[-] (Q) to node {} (F); \draw[-] (E) to node {} (K); \draw[-] (F) to node {} (K); \end{tikzpicture}

You can also add degree labels to this diagram. This is where the [swap]
tag comes in handy. We need
it to move the degree labels for \(F/\mathbb{Q}\) and \(K/F\) to the outside of the diagram.
\begin{tikzpicture}[node distance = 2cm, auto] \node (Q) {$\mathbb{Q}$}; \node (E) [above of=Q, left of=Q] {$E$}; \node (F) [above of=Q, right of=Q] {$F$}; \node (K) [above of=Q, node distance = 4cm] {$K$}; \draw[-] (Q) to node {$n_1$} (E); \draw[-] (Q) to node [swap] {$n_2$} (F); \draw[-] (E) to node {$n_3$} (K); \draw[-] (F) to node [swap] {$n_4$} (K); \end{tikzpicture}

The last example I will give here is a way to use node distance
to emphasize the fact that \([E : \mathbb{Q}]\gt
[F : \mathbb{Q}]\). We make the node distance
for \(F/\mathbb{Q}\) smaller, but move it to the right
twice. The same can be done for \(E/\mathbb{Q}\) by moving it to the left twice.
\begin{tikzpicture}[node distance = 2cm, auto] \node (Q) {$\mathbb{Q}$}; \node (E) [above of=Q, left of=Q] {$E$}; \node (F) [node distance = 1cm, above of=Q, right of=Q, right of=Q] {$F$}; \node (K) [above of=Q, node distance = 4cm] {$K$}; \draw[-] (Q) to node {$n_1$} (E); \draw[-] (Q) to node [swap] {$n_2$} (F); \draw[-] (E) to node {$n_3$} (K); \draw[-] (F) to node [swap] {$n_4$} (K); \end{tikzpicture}

If you would like further information on the tikz
package please see the manual. If you have any questions above what appears here, please do not hesitate
to email me.