Field theory and polynomials Definition
Simple extension
Builds on Field generated by adjoining elements
Definition
A field extension is simple if there is an element with . Such an element is a primitive element, or a generator, of .
Remarks
The extensions , generated by , and , generated by , are simple. The extension is simple, with the generator . By the primitive element theorem, every finite separable extension is simple. For finite fields, the term "primitive element" usually means a generator of the multiplicative group, which is a stronger condition.
Reading path
To understand this page from the ground up, read these 11 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Group concept
- Ring definition
- Commutative ring definition
- Subring definition
- Unit of a ring definition
- Field definition
- Subfield definition
- Field extension definition
- Intermediate field definition
- Field generated by adjoining elements definition
- Simple extension definition
Where this leads
20 pages build on this one.
- Uniqueness of finite fields of a given order
- Uniqueness of the algebraic closure
- Galois field
- Uniqueness of splitting fields
- Impossibility of doubling the cube
- Impossibility of trisecting the angle
- Degree of a simple extension is the degree of the minimal polynomial
- The degree of a constructible number is a power of two
- Primitive element theorem
- Impossibility of squaring the circle
- Gauss–Wantzel theorem
- K(a) is isomorphic to K[x] modulo the minimal polynomial
- Model theory of algebraically closed fields
- Radical extension
- Weil conjectures
- Steinitz's theorem on algebraically closed fields
- Standard conjectures on algebraic cycles
- Categorical theory
- Impossibility of the classical construction problems
- Artin's theorem on fixed fields
Further reading
About this page
| Tag | 0P6SBR7YM2 |
|---|---|
| URI | m2://0P6SBR7YM2 |
| Kind | definition |
| Writing | W1 stated |
| MSC | 12F05 |
| Defines | Simple extension |
| Uses | Field generated by adjoining elements |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.