Zahlbereich/Teilerfremde Diskriminante/Ganzheitsbasis/Fakt

Es seien endliche Körpererweiterungen mit und . Es sei eine Ganzheitsbasis von und eine Ganzheitsbasis von , wobei die Diskriminanten zueinander teilerfremd seien.

Dann ist , , , eine Ganzheitsbasis von .