Integer factorization Created 2026-10-13 Updated 2026-10-20
Integer factorization seeks the prime factorization of a positive integer . For , this means identifying its prime factors and their multiplicities; one has the empty prime factorization. Finding one proper divisor is useful progress, but need not finish the job: factor and further until all factors are prime numbers.
For example, is a semiprime, whereas has three prime factors. Primality testing asks whether a proposed integer is prime; it need not return a factor when the answer is no. Trial division is a direct factoring method: try division by small prime numbers until a divisor is found. More elaborate methods obtain a proper divisor through a greatest common divisor of with a specially constructed integer.
The beautiful trick in congruence of squares is that two integers with equal squares modulo can reveal different factors through their sum and difference. In the worked example, gives and . Computing those greatest common divisors uses the Euclidean algorithm; it does not require trying every potential factor. A factor base supplies a systematic way to construct useful equal-square relations. [ref].
This connection is useful in cryptography because recovering the factors of an RSA cryptosystem modulus defeats the factoring assumption behind its construction. That application concerns large, carefully chosen inputs; the small examples here explain the arithmetic mechanism and are not benchmarks or estimates of present cryptographic security.
A right Ore localization at is a unital homomorphism such that every , , is a unit, every element of is , and
Equivalently, the usual fraction construction has this zero criterion and is universal among homomorphisms that invert . Injectivity is required only when the denominators are regular elements of a ring. If , every homomorphism inverting has zero target; this is the degenerate zero-ring localization. For a nonzero localization we require .
The necessary and sufficient conditions are that be a right denominator set:
  • For and , there are and with ; this is the right Ore condition.
  • If with , there is with ; this is right reversibility.
For necessity, write the element as . Multiplying by on the left and on the right gives . The zero criterion supplies with . Hence , the right Ore condition in , not merely an equality of images in . Also makes because is invertible, and the zero criterion gives . This proves both necessities.
The sufficiency is the Ore theorem for denominator sets. Concretely, right fractions can be represented by ; a common-denominator equality has and for suitable . The two conditions make the induced fraction equivalence transitive and make addition and multiplication well defined; the zero fraction is exactly the kernel displayed above. The requested direction of the theorem was necessity, for which the complete argument has just been given.
For a right Noetherian domain, any two nonzero principal right ideals intersect. To see this without using the desired localization, suppose with . The sum
is direct: reduce a finite relation modulo to get its first summand zero, then cancel in the noncommutative domain and repeat. Every summand is nonzero, so the finite partial sums form a strictly ascending chain of right ideals, contradicting the ascending chain condition. A nonzero intersection thus provides , with . This is the right Ore condition for . Reversibility is automatic in a noncommutative domain, and the zero criterion makes the map injective. The localization is a division ring, since a nonzero has inverse .
The Goldie theorem states that a semiprime ring has a semisimple Artinian classical right ring of quotients if and only if it has finite right uniform dimension and satisfies the ascending chain condition on right annihilators. A right Noetherian ring satisfies the annihilator condition because right annihilators are right ideals. Its right regular module has finite uniform dimension: an infinite direct sum of nonzero submodules would give a strictly ascending chain of finite partial sums. A prime ring is semiprime, so the theorem applies to a prime right Noetherian ring .
To obtain a single matrix-ring factor, not just a finite product, prove that its quotient is prime. A nonzero two-sided ideal contains a nonzero fraction and hence the nonzero element . The same holds for any other nonzero ideal . Since is prime, , so . Thus is prime. The Artin–Wedderburn theorem gives a finite product of matrix rings over division rings; primeness excludes two different nonzero factors with zero product. This proves the prime classical quotient of a prime right Goldie ring:
For the requested counterexample to Noetherianity, take . It is a commutative integral domain and has its field of fractions as its classical right ring of quotients. But is a strictly ascending ideal chain: evaluation at shows is not in the preceding ideal. Therefore existence of a classical quotient does not imply right Noetherianity.
Semiprime 2026-10-06
A semiprime is a composite number that is a product of exactly two prime numbers, counted with multiplicity. For example, and are semiprimes. Distinct factors give for the Euler totient function, whereas equal factors give . This distinction matters when constructing a uniform coprime state for a semiprime.
For a semiprime with distinct known primes, this quantum state is uniform over the reduced residue classes. With binary digits in , its fraction among all computational labels is . An ancilla qubit whose one probability is dilutes the joint good probability to exactly . A reversible range-and-greatest common divisor predicate marks the good labels with ancilla qubit one, and a single exact amplitude amplification iteration produces . Known prime factors provide the cardinality; the membership test itself needs only . Polynomial gate complexity presumes ideal one-qubit rotations at the specified amplitudes.