# Make definition more general

Your definition of "irreducible polynomial" is for the special case
where the polynomial is defined over an extension of Q (the rationals).

At least in abstract algebra, "irreducible polynomial" often simply refers to
a polynomial that is irreducible as an element of its polynomial ring, i.e.
that can not be non-trivially factored.

Maybe you could add a note (or let me edit the entry :-) ). Something like

A polynomial f in a polynomial ring K[x] (K a field) is called irreducible iff f is an [irreducible] element of the ring K[x], i.e. f has no non-trivial
factorization over K[x].

Special case: If f has complex coefficients ...
(then the original text).

Parting words from the person who closed the correction:
Now OK?
Status: Accepted
Reference to the user who closed the correction.:
Reference to the article this correction is about:
Status of the article (was it accepted?):
1
Status of the article (is it closed?):
1
What kind of correction is this: