Separable polynomials and separable extensions

DOI10.2478/FORMA-2024-0003MaRDI QIDQ6626693zbMATH OpenFDO

Authors Christoph Schwarzweller

Publication date 29 October 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2024-0003

zbMATH Keywords

perfect fieldsseparable extensionsseparable polynomials

Mathematics Subject Classification ID

Separable extensions, Galois theory (12F10) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Splitting fields
• Simple extensions
• Separable polynomials over finite dimensional algebras
• Polynomial Imaginary Decompositions for Finite Separable Extensions
• Algebraic extensions

Cites work

• Characteristic of rings. Prime fields
• Flexary connectives in Mizar
• scientific article; zbMATH DE number 3887879 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• Simple extensions
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(1)

• Simple extensions

This page was built for publication: Separable polynomials and separable extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6626693)