Abel's irreducibility theorem

Etymology
Described in 1829 by.

Proper noun

 * 1)  A field theory result asserting that if &fnof;(x) is a polynomial over a field F that shares a root with a polynomial g(x) that is irreducible over F, then every root of g(x) is a root of &fnof;(x).