Dedekindbereich/Galoiserweiterung/Trägheitskörper/Definition

Trägheitsskörper

Es sei eine Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und sei ein Primideal von . Dann nennt man den Fixkörper zur Trägheitsgruppe den Trägheitskörper zu . Er wird mit bezeichnet.