There is a notion of the discriminant of
- polynomials
- quadratic forms
- finite separable extensions of Dedekind domains (e.g., algebraic number fields)
I don't know much about 2, but I think that 1 and 3 measure ramification.
Do these three types of discriminants have a common generalization? Is there some general notion of what a discriminant is?