A field extension of a field F is a larger field E (known as the extension) which has the same identity, so that F is closed in E under multiplication and inverse.
