Irreducibel of onherleidbaar (algebra). Is K een verzameling van getallen (bijv. de verzameling van alle rationale getallen), dan heet een veelterm, waarvan de coëfficiënten tot de verzameling behooren, i. in K, indien hij niet geschreven kan worden als product van twee veeltermen van lageren graad, wier coëfficiënten eveneens tot K behooren.
Zoo is bijv. de veelterm x2—2 irreducibel in de verzameling der rationale getallen, want x2—2 = (x + √(2)) (x— √(2)), maar de coëfficiënten van de veeltermen x + √(2) en x — √(2) zijn niet alle rationale getallen. Spreekt men van i. zonder meer, dan wordt gewoonlijk bedoeld i. in de verzameling der rationale getallen.
I. staat tegenover reducibel of herleidbaar. Een irreducibele vergelijking is een op nul → herleide vergelijking, waarvan het eene lid een i. veelterm is.Lit.: P. Bachmann, Zahlentheorie (V. Allg. Arithmetik der Zahlenkörper, 1905). v. d. Corput