Different ideal/Definition

An invariant attached to an extension of algebraic number fields which encodes ramification data.