From 648d5b3ed0c14af5e3d69d677ca41a6341eb9221 Mon Sep 17 00:00:00 2001 From: Chris Birkbeck Date: Mon, 23 Oct 2023 18:13:01 +0100 Subject: [PATCH] typo --- blueprint/src/demo.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/blueprint/src/demo.tex b/blueprint/src/demo.tex index ce7e6109..dd58ebd6 100644 --- a/blueprint/src/demo.tex +++ b/blueprint/src/demo.tex @@ -444,7 +444,7 @@ \subsection{Some Ramification results} \begin{definition}\label{def:rel_different} Let $K, F$ be number fields with $F \subseteq K$. Let $A$ be an additive subgroup of $K$. Let \[A^{-1}=\{ \a \in K | \a A \in \OO_K\}\] and - \[A^* = \{ \a \in K | \Tr_{K/F} (\a A) \in \OO_F\}.\] The relative different $\frak{d}_{K/F}$ of $K/F$ is then defined as $((\OO_K)^*)^{-1}$ which one checks is an integral ideal in $\OO_K$. This is also the annihilator of $\Omega^1_{\OO_K/\OO_F}$ if we want to be fancy. + \[A^* = \{ \a \in K | \Tr_{K/F} (\a A) \in \OO_F\}.\] The relative different $\gothd_{K/F}$ of $K/F$ is then defined as $((\OO_K)^*)^{-1}$ which one checks is an integral ideal in $\OO_K$. This is also the annihilator of $\Omega^1_{\OO_K/\OO_F}$ if we want to be fancy. \end{definition}