Algebraic Extensions

In this article we further develop field theory in Mizar [1], [2], [3] towards splitting fields. We deal with algebraic extensions [4], [5]: a field extension E of a field F is algebraic, if every element of E is algebraic over F. We prove amongst others that finite extensions are algebraic and that...

Full description

Bibliographic Details
Main Authors: Schwarzweller Christoph, Rowińska-Schwarzweller Agnieszka
Format: Article
Language:English
Published: Sciendo 2021-04-01
Series:Formalized Mathematics
Subjects:
Online Access:https://doi.org/10.2478/forma-2021-0004