Characterization of finite Galois extensions

DOI10.2478/FORMA-2025-0019MaRDI QIDQ6840575zbMATH OpenFDO

Authors Christoph Schwarzweller

Publication date 23 March 2026

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

zbMATH Keywords

minimal polynomialfinite Galois extensionseparable extension

Mathematics Subject Classification ID

Separable extensions, Galois theory (12F10) Formalization of mathematics in connection with theorem provers (68V20) Digital mathematics libraries and repositories (68V35)

This page was built for publication: Characterization of finite Galois extensions

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