Normal extension
Summary
A normal extension is an algebraic extension such that every irreducible polynomial over with a root in splits over . The definition of a normal extension states it.
What this node needs for W2
- edge instance_of in: at least two examples (0 of 2)
- edge not_instance_of in: at least one non-example (0 of 1)
- edge specializes both: the more general notions and the special cases (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
Sources
- Web https://en.wikipedia.org/wiki/Normal_extension, lead section
What links here
Definitions
- Normal extension 0CBRFQ7DVZ