V matematice , neredukovatelný ( redukovaný ) zlomek je obyčejný zlomek formy , která nemůže být redukována . Jinými slovy, zlomek je neredukovatelný, jestliže jeho čitatel a jmenovatel jsou coprime [1] , to znamená, že nemají žádné společné dělitele kromě . Například zlomek je neredukovatelný, ale můžete snížit:
Každé nenulové racionální číslo lze jednoznačně reprezentovat jako neredukovatelný zlomek tvaru , kde je celé číslo a je přirozené číslo. Toto vyplývá ze základního teorému aritmetiky . Pokud je povoleno, aby jmenovatel byl záporný , je možné druhé neredukovatelné zobrazení:
Pro zmenšení obyčejného zlomku na neredukovatelný tvar je nutné jeho čitatel a jmenovatel vydělit největším společným dělitelem [2] GCD K nalezení největšího společného dělitele se obvykle používá Euklidův algoritmus nebo rozklad na prvočinitele .
Pro celé číslo n je reprezentace neredukovatelného zlomku
Vlastnosti neredukovatelnosti, které existují pro běžné zlomky, platí pro libovolný faktoriální kruh , tedy kruh, ve kterém platí analogie základní věty aritmetiky . Libovolný zlomek z prvků faktoriálního kruhu (s nenulovým jmenovatelem) může být reprezentován v neredukovatelné formě a jednoznačně až po dělitele jednoty tohoto kruhu.
Okruh Gaussových čísel se skládá z komplexních čísel ve tvaru , kde jsou celá čísla. Existují čtyři dělitele jednoty: Tento kruh je faktoriál a teorie zlomků pro něj je konstruována podobně jako celá čísla.Je například snadné ověřit [3] , že zlomek lze redukovat na (již neredukovatelný)
Polynomy s koeficienty z nějakého kruhu také tvoří faktoriální kruh - kruh polynomů . racionální funkce , tedy zlomky, v jejichž čitatelích a jmenovatelích jsou polynomy . Dělitelé jednoty zde budou nenulová čísla (jako polynomy nultého stupně). Nejednoznačnost reprezentace může být odstraněna tím, že vyžaduje to polynomial ve jmenovateli být redukován .
Nicméně, nad libovolným kruhem , prvek kruhu zlomků , obecně řečeno, nemusí mít jedinečnou reprezentaci až po dělitele jednoty ve formě neredukovatelného zlomku, protože hlavní teorém aritmetiky neplatí. v každém prstenu [4] . Uvažujme například komplexní čísla ve tvaru , kde , jsou celá čísla. Součet a součin takových čísel budou čísla stejného druhu, takže tvoří prstenec. Není to však faktoriál a neredukovatelná reprezentace zlomků je nejednoznačná, například:
Druhý a třetí zlomek mají pro daný kruh prvočísla v čitateli i jmenovateli, takže oba zlomky jsou neredukovatelné.