Field extensions and Kronecker's construction

DOI10.2478/FORMA-2019-0022zbMath1433.68584OpenAlexW3008758757MaRDI QIDQ2305339

Christoph Schwarzweller

Publication date: 10 March 2020

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2019-0022

zbMATH Keywords

roots of polynomialsfield extensionsKronecker's construction

Mathematics Subject Classification ID

Algebraic field extensions (12F05) Polynomials in general fields (irreducibility, etc.) (12E05) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (5)

Splitting fields ⋮ Quadratic extensions ⋮ Splitting fields for the rational polynomials \(X^2 -2\), \(X^2+X+1\), \(X^3 -1\), and \(X^3 -2\) ⋮ Artin's theorem towards the existence of algebraic closures ⋮ Renamings and a condition-free formalization of Kronecker's construction

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Unnamed Item
• Unnamed Item

This page was built for publication: Field extensions and Kronecker's construction