A structured visual guide to the major mathematical areas and their relationships.
Search by code, branch, topic, subtopic, or a keyword from the descriptions.
This subtopic studies field extensions, including separability, normality, Galois theory, and the arithmetic and geometric consequences of extension towers.
12F05 treats algebraic extensions in field extensions. It emphasizes canonical definitions, core structural results, and methods used in modern algebra and arithmetic research.
Algebraic extensions (Wikipedia)
Used to frame rigorous statements, choose suitable extension or valuation tools, and support both theoretical proofs and symbolic computation workflows.
12F10 treats separable extensions, galois theory in field extensions. It emphasizes canonical definitions, core structural results, and methods used in modern algebra and arithmetic research.
Separable extensions, Galois theory (Wikipedia)
Used to frame rigorous statements, choose suitable extension or valuation tools, and support both theoretical proofs and symbolic computation workflows.
12F12 treats inverse galois theory in field extensions. It emphasizes canonical definitions, core structural results, and methods used in modern algebra and arithmetic research.
Inverse Galois theory (Wikipedia)
Used to frame rigorous statements, choose suitable extension or valuation tools, and support both theoretical proofs and symbolic computation workflows.
12F15 treats inseparable extensions in field extensions. It emphasizes canonical definitions, core structural results, and methods used in modern algebra and arithmetic research.
Inseparable extensions (Wikipedia)
Used to frame rigorous statements, choose suitable extension or valuation tools, and support both theoretical proofs and symbolic computation workflows.
12F20 treats transcendental extensions in field extensions. It emphasizes canonical definitions, core structural results, and methods used in modern algebra and arithmetic research.
Transcendental extensions (Wikipedia)
Used to frame rigorous statements, choose suitable extension or valuation tools, and support both theoretical proofs and symbolic computation workflows.