## Defining polynomial

\(x^{2} + 12 x + 2\) |

## Invariants

Base field: | $\Q_{13}$ |

Degree $d$: | $2$ |

Ramification exponent $e$: | $1$ |

Residue field degree $f$: | $2$ |

Discriminant exponent $c$: | $0$ |

Discriminant root field: | $\Q_{13}(\sqrt{2})$ |

Root number: | $1$ |

$\card{ \Gal(K/\Q_{ 13 }) }$: | $2$ |

This field is Galois and abelian over $\Q_{13}.$ | |

Visible slopes: | None |

## Intermediate fields

The extension is primitive: there are no intermediate fields between this field and $\Q_{ 13 }$. |

## Unramified/totally ramified tower

Unramified subfield: | $\Q_{13}(\sqrt{2})$ $\cong \Q_{13}(t)$ where $t$ is a root of \( x^{2} + 12 x + 2 \) |

Relative Eisenstein polynomial: | \( x - 13 \) $\ \in\Q_{13}(t)[x]$ |

## Ramification polygon

The ramification polygon is trivial for unramified extensions.

## Invariants of the Galois closure

Galois group: | $C_2$ (as 2T1) |

Inertia group: | trivial |

Wild inertia group: | $C_1$ |

Unramified degree: | $2$ |

Tame degree: | $1$ |

Wild slopes: | None |

Galois mean slope: | $0$ |

Galois splitting model: | $x^{2} - x + 2$ |