Ποιο πολυώνυμο ονομάζεται ανάγωγο ;

Ένα πολυώνυμο $g(x)$, μη μηδενικό, είναι ανάγωγο στο $R$ αν δεν υπάρχει παραγοντοποίηση 

$g(x) = r(x)s(x)$ 

του $g(x)$ σε δύο πολυώνυμα $r(x)$ και $s(x)$ θετικού βαθμού.

Για παράδειγμα, το πολυώνυμο $x^2 + 1$ είναι ανάγωγο στο σύνολο των πραγματικών αριθμών, αλλά σύνθετο 

$(x + i)(x - i)$ 

στο σύνολο των μιγαδικών αριθμών.