Zu einer Erweiterung von Dedekindbereichen R ⊆ S {\displaystyle {}R\subseteq S}
gehört in funktorieller Weise ein Gruppenhomomorphismus