Renamings and a condition-free formalization of Kronecker's construction

DOI10.2478/FORMA-2020-0012OpenAlexW3124299171MaRDI QIDQ2113831

Christoph Schwarzweller

Publication date: 14 March 2022

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

Full work available at URL: https://doi.org/10.2478/forma-2020-0012

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 (3)

Introduction to algebraic geometry ⋮ Splitting fields for the rational polynomials \(X^2 -2\), \(X^2+X+1\), \(X^3 -1\), and \(X^3 -2\) ⋮ The divergence of the sum of prime reciprocals

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Field extensions and Kronecker's construction
• On roots of polynomials over \(F[X/

  \)]

• On monomorphisms and subfields
• Mizar: State-of-the-art and Beyond

This page was built for publication: Renamings and a condition-free formalization of Kronecker's construction