Расширения полей

Эта статья находится в разработке!

Определение:

[math] K \subset F[/math], F называется расширением K (если [math][F : K][/math] - конечна, то F - конечное расширение поля K)

Определение:

Степенью расширения называется величина [math][F:K][/math]

Утверждение:

[math]A \subset K \subset F \Rightarrow [F:A] = [K:A] \cdot [F:K][/math]