Zu einer Erweiterung von Dedekindbereichen R ⊆ S {\displaystyle {}R\subseteq S}
gehört in funktorieller Weise ein Gruppenhomomorphismus
![{\displaystyle \operatorname {DKG} {\left(R\right)}\longrightarrow \operatorname {DKG} {\left(S\right)},\,[{\mathfrak {a}}]\longmapsto [{\mathfrak {a}}S].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b44f291e1d58576d56c153e55cad928e592a83a3)
