Domain Theory Core Knowledge Learning Guide
This guide systematically outlines the core knowledge framework of field theory, starting with the definition and basic properties of fields, gradually progressing to the structural analysis of subfields and extensions of fields, categorically dissecting the characteristics of various types of field extensions, and extending to advanced topics such as finite fields, automorphism groups, and the primitive element theorem. It progressively constructs the logical framework of field theory, helping learners master the research methods for studying field structures in abstract algebra, bridging the foundation of ring theory and elucidating the core application value of field theory.
The Foundation of Fields: Definition and Core Properties
Definitions and Basic Properties of a Field (The Relationship Between a Field and an Integral Domain, Properties of a Field)
- Axial Definition and Criteria for Determination of a Field
- Properties of addition, multiplication, and invertibility in a field
- Association and Transformation Relationship between Fields and Integral Domains
- Domain features: Definition, computation, and classification
- The Special Properties of a Field with Prime Characteristic and Zero
- Basic Instances of a Field (Rational Number Field, Real Number Field)
Substructures of a Field and Base Extensions
Subfield and Extension Field
Field extension (algebraic extension, transcendental extension, finite extension)
- Definition, Judgment, and Properties of Algebraic Extensions
- Transcending Expansion: Definition, Examples, and Features
- Definition, Degree, and Characterization of Finite Extensions
- Multiplication Formula for Expansion Counts and Its Applications
- The relationship between algebraic extensions and finite extensions
Special Field Extension: Normal, Separable, and Splitting Fields
Splitting Field and Normal Extension
Split Extension and Split Polynomial
- Definition, Determination, and Properties of Separable Polynomials
- Multiple Roots and the Relation of Splitting Polynomials
- Definition, Determination, and Characteristics of Separable Expansion
- The Relationship Between Complete Fields and Separable Extensions
- Core Properties of Finite Separable Extensions
Special Domain Classes: Structure of Finite Fields
Finite Fields (Existence and Uniqueness, Structure of Finite Fields)
- Approach to the existence proof of finite fields
- Uniqueness of Finite Fields (In the Isomorphism Sense)
- Order and Characteristic of a Finite Field
- Structure of the Multiplicative Group of a Finite Field (Cyclic Group)
- Structure of Subfields in Finite Fields and Counting
- Initial Applications of Finite Fields
Advanced Field Theory: Automorphism Group and Fundamental Theorem
Basic automorphism group of a field and Galois group
- Definition, Properties, and Operations of Field Automorphisms
- Construction of the Automorphism Group of a Field and Its Structure
- Galois group's initial definition (automorphism group of an extension field)
- Galois Group and Correspondence Between Field Extensions
- Order of a Galois Group and the Degree of the Extension
Primitive Theorem
- Definition and Existence Conditions of the Primordial Element
- The Core Content and Proof Strategy of the Original Theorem
- Limited Partitionable Extension and the Relationship to Primitive Elements
- The construction method and examples of the original prime structure
- Applications of the Primitive Theorem