Ein skalare Invariante, die einem Polynom, einer algebraischen Gleichung oder einem algebraischen Objekt (z. B. Zahlkörper, bilineare Form) zugeordnet ist und genau dann verschwindet, wenn Wurzeln zusammenfallen (Mehrfachwurzeln); sie kodiert arithmetische und Verzweigungsinformationen und wird oft als Determinante oder Produkt quadratischer Wurzeldifferenzen dargestellt.

Prinzip

Den Diskriminanten über Resultant-/Determinantenkonstruktionen oder als Determinante der Spur- oder Hessschen Form formulieren; sein Verschwinden entspricht in vielen Kontexten Nicht-Separabilität oder Singularität, und die Bewertung liefert Verzweigungsdaten.

Demonstration

Für eine quadratische ax^2 + bx + c ist der Diskriminant b^2 - 4ac: er verschwindet genau dann, wenn das Polynom eine doppelte Wurzel hat. In der Zahlkörpertheorie ist die Körperdiskriminante eine ganze Zahl, deren Primfaktorzerlegung die Verzweigung von Primzahlen widerspiegelt.

Fehlanwendung

Das Vorzeichen oder der Betrag des Diskriminanten als alleiniges Kriterium für geometrische Eigenschaften zu verwenden, ohne Skalierung, Basisauswahl oder Einheiten zu berücksichtigen, kann irreführend sein; in positiver Charakteristik kann Verschwinden zusätzliche Inséparabilitätsphänomene bedeuten.

Konsequenz

Ein nichtverschwindender Diskriminant impliziert die Separabilität der Wurzeln und oft Nicht-Verzweigung an Primzahlen, die den Diskriminanten nicht teilen; Diskriminanten begrenzen ganzheitliche Basen und das lokale Verhalten von Erweiterungen.

Umkehrung

Das komplementäre Invariant ist das Resultant oder das Different: Resultant prüft gemeinsame Wurzeln zweier Polynome, während Different/Diskriminante die Verzweigung und conductorartige Daten verfeinern anstatt nur Wurzelkollisionen zu erkennen.

Abgrenzung

Der Diskriminant hängt von der gewählten Darstellung (Polynom vs algebraische Basis) ab und ist bis auf vorhersehbare Skalierung durch Potenzen des Leitkoeffizienten oder Einheiten eindeutig; beim Vergleich verschieden normalisierter Diskriminanten ist Vorsicht geboten.

Semantische Spannung

Der Diskriminant überschneidet sich mit Resultant, Different und Spurform-Determinanten; obwohl alle Degeneration erkennen, betonen sie unterschiedliche strukturelle Aspekte (gemeinsame Wurzeln vs Verzweigungsgewichte vs bilineare Degeneration).

Synthese

Der Diskriminant ist der determinantartige skalare Indikator, der das Zusammenfallen von Wurzeln erkennt und Ramifikations- sowie Singularitätsinformationen kodiert; als berechenbares Invariant verbindet er algebraische Degeneration mit arithmetischen Folgen, wenn die Normalisierung beachtet wird.