PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (200)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: No information on entry rating
inertial degree (Definition)

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

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

$\displaystyle \sum_{\P\mid \mathfrak{p}} e(\P /\mathfrak{p}) f(\P /\mathfrak{p}) = [L:K], $
where $ e(\P /\mathfrak{p})$ is the ramification index of $ \P$ over $ \mathfrak{p}$ and the sum is taken over all prime ideals $ \P$ of $ \O _L$ dividing $ \mathfrak{p}\O _L$. The prime $ \P$ (and also the prime $ \mathfrak{p}$) is said to be inert if $ f(\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.

Local interpretations & generalizations

For any extension $ \iota\colon A \to B$ of Dedekind domains, the inertial degree of the prime $ \P\subset B$ over the prime $ \mathfrak{p}:= \iota^{-1}(\P ) \subset A$ is equal to the inertial degree of $ \P B_\P$ over $ \mathfrak{p}A_\mathfrak{p}$ in the localizations at $ \P$ and $ \mathfrak{p}$. Moreover, the same is true even if we pass to completions of the local rings $ B_\P$ and $ A_\mathfrak{p}$ at $ \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.



"inertial degree" is owned by djao.
(view preamble)

View style:

See Also: ramification index, decomposition group

Other names:  residue degree
Also defines:  inert
Log in to rate this entry.
(view current ratings)

Cross-references: points, residue fields, base field, fixed, algebraic geometry, locally ringed spaces, indices, local rings, completions, even, localizations, Dedekind domains, number fields, extension, product, isomorphic, generated by, principal ideals, categories, factor, Gaussian integers, integers, prime, sum, ramification index, field, domain, ring of integers, inclusion map, field extension, number theory, dimension, ring, structure, module, induces, map, algebra, prime ideal, ring homomorphism
There are 7 references to this entry.

This is version 3 of inertial degree, born on 2002-05-13, modified 2006-11-08.
Object id is 2902, canonical name is InertialDegree.
Accessed 4379 times total.

Classification:
AMS MSC: 11S15 (Number theory :: Algebraic number theory: local and $p$-adic fields :: Ramification and extension theory)
 13B02 (Commutative rings and algebras :: Ring extensions and related topics :: Extension theory)
 12F99 (Field theory and polynomials :: Field extensions :: Miscellaneous)
Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)