Field theory MOC

Intermediate field extension

Suppose is a tower of field extensions

Then in particular one has a Vector space over a field extension, whence

and is finite iff both and are. field

Corollaries of this corollary

1. Given a tower , it follows both and divide .

---

tidy | en | sembr