Die Konjugationsklasse in der Galois‑Gruppe, die einem nicht verzweigten Primideal zugeordnet ist, dargestellt durch einen Automorphismus, dessen Wirkung auf den Restklassenkörper die q‑Potenzabbildung (x ↦ x^q) ist und die beschreibt, wie dieses Primideal in Erweiterungen wirkt.

Prinzip

Für ein in einer Erweiterung unverzweigtes Primideal projiziert die Zerlegungsgruppe auf die Galois‑Gruppe der Restkörper; das Frobenius‑Element ist eine Hebung der q‑Potenz‑Automorphie und ist bis auf Konjugation in der globalen Galois‑Gruppe wohldefiniert.

Demonstration

In einer endlichen Erweiterung endlicher Körper F_q^n/F_q erzeugt die Frobenius‑Automorphie x ↦ x^q Gal(F_q^n/F_q); bei Zahlkörpern legt ein unverzweigtes Primideal p eine Konjugationsklasse Frobenius_p in Gal(K̄/K) fest, deren Wirkung auf den Quotienten nach der Inertie mit x ↦ x^{N(p)} übereinstimmt.

Fehlanwendung

Zu behaupten, es gebe an einem Primideal stets ein kanonisches Frobenius‑Element bei Vorhandensein von Verzweigung, oder arithmetischen und geometrischen Frobenius zu verwechseln (inverse Konvention), oder die Klasse als eine geordnete Einheit statt als Konjugationsklasse zu behandeln.

Konsequenz

Frobenius‑Konjugationsklassen bestimmen lokale Eulerfaktoren in L‑Funktionen, bilden die Grundlage des Satzes von Chebotarev zur Verteilung von Primidealen nach Konjugationsklassen und liefern berechenbare Spuren in Galois‑Darstellungen.

Umkehrung

Statt Frobenius in den Mittelpunkt zu stellen, untersucht man die Inertie: Frobenius misst die Aktion auf dem Restkörper bei unverzweigten Primidealen, Inertie dagegen misst die Verzweigungsphänomene und die Nicht‑Existenz eines eindeutigen Frobenius‑Elements.

Abgrenzung

Definiert für Primideale, die in der Erweiterung unverzweigt sind (oder modulo Inertie innerhalb der Zerlegungsgruppen betrachtet); für verzweigte Primideale muss man mit Zerlegungs‑ und Inertieuntergruppen arbeiten, und eine Frobenius‑Konjugationsklasse ist nicht in derselben Weise zuordbar.

Semantische Spannung

Spannung zwischen arithmetischem Frobenius (x ↦ x^{N(p)}) und geometrischem Frobenius (seinem Inversen nach manchen geometrischen Konventionen) sowie zwischen dem abstrakten Frobenius in Zahlkörpern und dem Frobenius‑Endomorphismus in der algebraischen Geometrie.

Synthese

Ein Frobenius‑Element ist die Konjugationsklasse in der Galois‑Gruppe, die die q‑Potenz‑Wirkung auf den Restkörper an einem unverzweigten Primideal kodiert; als lokales Symbol verbindet es durch Spuren in Darstellungen und Verteilungseigenschaften lokale Restfeldaktionen mit globalen arithmetischen Invarianten.