Zahlbereich/Teilerfremde Diskriminante/Ganzheitsbasis/Fakt

Es seien  $\mathbb{Q}\subseteq K,L\subseteq M$  endliche Körpererweiterungen mit  $K\cap L=\mathbb{Q}$  und  $KL=M$.  Es sei $x_1,\dots ,x_m$ eine Ganzheitsbasis von $K$ und $y_1,\dots ,y_n$ eine Ganzheitsbasis von $L$, wobei die Diskriminanten zueinander teilerfremd seien.

Dann ist $x_i{y}_j$, $1\le i\le m$, $1\le j\le n$, eine Ganzheitsbasis von $M$.

Einen Beweis erstellen