Ein voll zerlegtes Primideal bei einer endlichen Erweiterung R ⊆ S {\displaystyle {}R\subseteq S} von Dedekindbereichen.