Zahlbereich/Einbettungsbedingung/Element/Fakt
Erscheinungsbild
Es sei ein Zahlbereich mit Diskriminante und Paaren von komplexen Einbettungen. Es sei eine Familie von positiven reellen Zahlen zu jeder reellen oder komplexen Einbettung, wobei für konjugiert komplexe Einbettungen die gleiche Zahl vorliege. Ferner gelte
Dann gibt es ein , , mit der Eigenschaft
für alle .