Každé kladné celé číslo n se dá vyjádřit jediným způsobem ve tvaru n = p₁^α1· p₂^α2 · · · p_k^αk, kde p1 < p2 < · · · < pk jsou prvočísla a α1, . . . , αk jsou přirozená čísla. Tento zápis se nazývá kanonickým rozkladem čísla n nebo prvočíselnou mocninnou faktorizací čísla n.