Have a personal or library account? Click to login
The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory Cover

The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory

Formalized Mathematics
Volume 33 (2025): Issue 1 (September 2025)
By: Christoph Schwarzweller and  Agnieszka Rowińska-Schwarzweller  
Open Access
|Dec 2025
DOI: https://doi.org/10.2478/forma-2025-0013 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 165 - 174
Submitted on: Jul 9, 2025
|
Accepted on: Dec 12, 2025
|
Published on: Dec 31, 2025
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Galois theory,
lattice of intermediate fields,
Galois connection
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2025 Christoph Schwarzweller, Agnieszka Rowińska-Schwarzweller, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Previous articleVolume 33 (2025): Issue 1 (September 2025)Next article