---
tag: 0C1Y04SZ1W
kind: concept
name: Finite extension
msc: [12F05]
sources:
  - url: https://en.wikipedia.org/wiki/Degree_of_a_field_extension
    locator: Definition and notation
---

## Summary

A finite extension is a field extension of finite degree.
The [[definition of a finite extension|0NRYPM9Y27]] states it.