Fork me on GitHub
Math for the people, by the people.

User login

Make definition more general

Primary tabs

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?): 
Status of the article (is it closed?): 
What kind of correction is this: 

Subscribe to Comments for "Make definition more general"