  The well-known fundamental identity in number theory expresses the degree of
an extension of global fields in terms of local information. In this article we
show a generalized fundamental identity for arbitrary Dedekind domains. As an
application, we show that any Japanese Dedekind domain is already excellent.
