Japanese Dedekind domains are excellent

Abstract

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.