Primitive element theorem (source code)

= Primitive element theorem
{wiki=Primitive_element_theorem}

The Primitive Element Theorem is a fundamental result in field theory, which deals with field extensions in algebra.