I matematik er en irreducerbar ( reduceret ) brøk en almindelig brøk af formen , der ikke kan reduceres . Med andre ord er en brøk irreducerbar, hvis dens tæller og nævner er coprime [1] , dvs. de har ingen fælles divisorer undtagen . For eksempel er en brøk irreducerbar, men du kan reducere:
Ethvert rationelt tal , der ikke er nul , kan entydigt repræsenteres som en irreducerbar brøkdel af formen, hvor er et heltal og er et naturligt tal. Dette følger af aritmetikkens grundlæggende teorem . Hvis nævneren tillades at være negativ , er en anden irreducerbar repræsentation mulig:
For at reducere en almindelig brøk til en irreducerbar form, er det nødvendigt at dividere dens tæller og nævner med den største fælles divisor [2] GCD For at finde den største fælles divisor bruges normalt Euklids algoritme eller dekomponering i primfaktorer .
For et heltal n er den irreducible brøkrepræsentation
De irreducerbarhedsegenskaber, der findes for almindelige brøker, gælder for en vilkårlig faktoriel ring , det vil sige en ring, hvor en analog af aritmetikkens grundsætning gælder . Enhver brøkdel fra elementerne i en faktoriel ring (med en ikke-nul nævner) kan repræsenteres i en irreducerbar form, og entydigt op til divisors af enhed af denne ring.
Ringen af gaussiske tal består af komplekse tal af formen hvor er heltal. Der er fire enhedsdelere: Denne ring er faktoriel, og teorien om brøker for den er konstrueret på samme måde som heltal. Det er for eksempel let at kontrollere [3] , at en brøk kan reduceres til (allerede irreducerbar)
Polynomier med koefficienter fra en eller anden ring danner også en faktoriel ring - ringen af polynomier . rationelle funktioner , det vil sige brøker, i hvis tællere og nævnere er polynomier . Enhedsdelere her vil være tal, der ikke er nul (som polynomier af grad nul). Tvetydigheden af repræsentationen kan fjernes ved at kræve, at polynomiet i nævneren reduceres .
Men over en vilkårlig ring er et element i brøkringen generelt ikke forpligtet til at have en unik, op til enhedsdelere, repræsentation i form af en irreducerbar brøk, da hovedsætningen i aritmetikken ikke er gyldig i hver ring [4] . Overvej for eksempel komplekse tal af formen , hvor , er heltal. Summen og produktet af sådanne tal vil være tal af samme slags, så de danner en ring. Den er dog ikke faktoriel, og den irreducible repræsentation af fraktioner er tvetydig, for eksempel:
Den anden og tredje brøk har både tæller- og nævnerprimtal for den angivne ring, så begge brøker er irreducerbare.