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. #m/thm/field

Corollaries of this corollary

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

#state/tidy | #lang/en | #SemBr