Normal Genişleme Teoremi
turkmathviki sitesinden
Normal Genişleme Teoremi
$ E|_F $ sonlu br genişleme olsun.Buna göre aşağıdakiler birbirine eşdeğerdir.
- E cismi bir $ f(x)\in F[x] $ polinomunun parçalanış cismidir.
- E cismi $ f(x) $ polinomunun sonlu sayıdaki köklerini $ F $ cismine katmakla elde edilmiştir.
- $ \forall \Gamma \in G(E|_F) $ için $ \Gamma (E)=E $'dir.
- $ \forall \alpha \in E $ için $ \alpha $ nın tüm $ F $ üzerindeki eşlenikleri E'dedir.