The finite abelian extension corresponding to such a subgroup is called a class field, which gave the name to the theory.

However, a realistic calculation has to take into account the finite extension of the nuclear-charge distribution.

A field such that every finite extension is separable.

If is finite extension, then the following are equivalent.

This means that the boundary must either come from nowhere or the whole future ends at some finite extension.

For finite extensions, the correspondence can be described explicitly as follows.

These, I think, are the original ideas proper and peculiar to body; for figure is but the consequence of finite extension.

The primitive element theorem states a finite separable extension is simple.

If a field is C then so is a finite extension.

This in turn implies that all finite extensions are algebraic.