inertial degree

Let $\iota\colon A\to B$ be a ring homomorphism. Let $\mathfrak{P}\subset B$ be a prime ideal, with $\mathfrak{p}:=\iota^{-1}(\mathfrak{P})\subset A$ . The algebra map $\iota$ induces an $A/\mathfrak{p}$ module structure on the ring $B/\mathfrak{P}$ . If the dimension of $B/\mathfrak{P}$ as an $A/\mathfrak{p}$ module exists, then it is called the inertial degree of $\mathfrak{P}$ over $A$ .

A particular case of special importance in number theory is when $L/K$ is a field extension and $\iota\colon\mathcal{O}_{K}\to\mathcal{O}_{L}$ is the inclusion map of the ring of integers. In this case, the domain $\mathcal{O}_{K}/\mathfrak{p}$ is a field, so $\dim_{\mathcal{O}_{K}/\mathfrak{p}}\mathcal{O}_{L}/\mathfrak{P}$ is guaranteed to exist, and the inertial degree of $\mathfrak{P}$ over $\mathcal{O}_{K}$ is denoted $f(\mathfrak{P}/\mathfrak{p})$ . We have the formula

\sum_{\mathfrak{P}\mid\mathfrak{p}}e(\mathfrak{P}/\mathfrak{p})f(\mathfrak{P}/% \mathfrak{p})=[L:K],

where $e(\mathfrak{P}/\mathfrak{p})$ is the ramification index of $\mathfrak{P}$ over $\mathfrak{p}$ and the sum is taken over all prime ideals $\mathfrak{P}$ of $\mathcal{O}_{L}$ dividing $\mathfrak{p}\mathcal{O}_{L}$ . The prime $\mathfrak{P}$ (and also the prime $\mathfrak{p}$ ) is said to be inert if $f(\mathfrak{P}/\mathfrak{p})=[L:K]$ .

Example:

Let $\iota\colon\mathbb{Z}\to\mathbb{Z}[i]$ be the inclusion of the integers into the Gaussian integers. A prime $p$ in $\mathbb{Z}$ may or may not factor in $\mathbb{Z}[i]$ ; if it does factor, then it must factor as $p=(x+yi)(x-yi)$ for some integers $x, y$ . Thus a prime $p$ factors into two primes if it equals $x^{2}+y^{2}$ , and remains prime in $\mathbb{Z}[i]$ otherwise. There are then three categories of primes in $\mathbb{Z}[i]$ :

1.

The prime 2 factors as $(1+i)(1-i)$ , and the principal ideals generated by $(1+i)$ and $(1-i)$ are equal in $\mathbb{Z}[i]$ , so the ramification index of $(1+i)$ over $\mathbb{Z}$ is two. The ring $Z[i]/(1+i)$ is isomorphic to $\mathbb{Z}/2$ , so the inertial degree $f((1+i)/(2))$ is one.
2.

For primes $p\equiv 1\bmod{4}$ , the prime $p\in\mathbb{Z}$ factors into the product of the two primes $(x+yi)(x-yi)$ , with ramification index and inertial degree one.
3.

For primes $p\equiv 3\pmod{4}$ , the prime $p$ remains prime in $\mathbb{Z}[i]$ and $\mathbb{Z}[i]/(p)$ is a two dimensional field extension of $\mathbb{Z}/p$ , so the inertial degree is two and the ramification index is one.

In all cases, the sum of the products of the inertial degree and ramification index is equal to 2, which is the dimension of the corresponding extension $\mathbb{Q}(i)/\mathbb{Q}$ of number fields.

1 Local interpretations & generalizations

For any extension $\iota\colon A\to B$ of Dedekind domains, the inertial degree of the prime $\mathfrak{P}\subset B$ over the prime $\mathfrak{p}:=\iota^{-1}(\mathfrak{P})\subset A$ is equal to the inertial degree of $\mathfrak{P}B_{\mathfrak{P}}$ over $\mathfrak{p}A_{\mathfrak{p}}$ in the localizations at $\mathfrak{P}$ and $\mathfrak{p}$ . Moreover, the same is true even if we pass to completions of the local rings $B_{\mathfrak{P}}$ and $A_{\mathfrak{p}}$ at $\mathfrak{P}$ and $\mathfrak{p}$ . The preservation of inertial degree and ramification indices with respect to localization is one of the reasons why the technique of localization is a useful tool in the study of such domains.

As in the case of ramification indices, it is possible to define the notion of inertial degree in the more general setting of locally ringed spaces. However, the generalizations of inertial degree are not as widely used because in algebraic geometry one usually works with a fixed base field, which makes all the residue fields at the points equal to the same field.

Title	inertial degree
Canonical name	InertialDegree
Date of creation	2013-03-22 12:38:17
Last modified on	2013-03-22 12:38:17
Owner	djao (24)
Last modified by	djao (24)
Numerical id	6
Author	djao (24)
Entry type	Definition
Classification	msc 12F99
Classification	msc 13B02
Classification	msc 11S15
Synonym	residue degree
Related topic	Ramify
Related topic	DecompositionGroup
Defines	inert