WikiSort.ru - Не сортированное

Доказательство

Достаточность очевидна: если ${\displaystyle \beta ={\frac {\alpha }{\sigma (\alpha )}},}$ то, учитывая мультипликативность нормы, имеем ${\displaystyle N(\beta )={\frac {N(\alpha )}{\sigma (\alpha )}}.}$ Так как норма для сепарабельных расширений равна произведению всех ${\displaystyle \sigma _{i}(\alpha ),}$ а применение ${\displaystyle \sigma }$ к такому произведению приводит лишь к перестановке сомножителей, то в силу равенства числителя и знаменателя ${\displaystyle N(\beta )=1.}$

Для доказательства необходимости выпишем следующее отображение:

${\displaystyle \mathrm {id} +\beta \sigma +\beta \sigma (\beta )\sigma ^{2}+\ldots +(\beta \sigma (\beta )\ldots \sigma ^{n-2}(\beta )\sigma ^{n-1}).}$

Согласно теореме о линейной независимости характеров это отображение не является нулевым. Поэтому существует элемент ${\displaystyle \gamma \in E,}$ для которого

${\displaystyle 0\neq \alpha =\gamma +\beta \sigma (\gamma )+\beta \sigma (\beta )\sigma ^{2}(\gamma )+\ldots +(\beta \sigma (\beta )\ldots \sigma ^{n-2}(\beta )\sigma ^{n-1}(\gamma ).}$

Если применить отображение ${\displaystyle \sigma }$ к ${\displaystyle \alpha ,}$ а потом помножить полученное выражение на ${\displaystyle \beta ,}$ то первое слагаемое перейдёт во второе и т. д., а последнее перейдёт в первое, так как ${\displaystyle \beta \sigma (\beta )\ldots \sigma ^{n-2}(\beta )\sigma ^{n-1}(\beta )=N(\beta )=1.}$

Тогда получаем, что ${\displaystyle \beta \sigma (\alpha )=\alpha ,}$ деля на ${\displaystyle \sigma (\alpha )\neq 0}$ имеем ${\displaystyle \beta ={\frac {\alpha }{\sigma (\alpha )}}.}$ Необходимость доказана.