Put . The odd integer is an Euler pseudoprime to the coprime base when
where is the Jacobi symbol.
Let be the unit group of residue classes modulo , and partition it into the set of bases satisfying the displayed congruence and the set of Euler witnesses that do not. If , multiplication by maps injectively into : indeed, if and also lay in , then the multiplicativity of the Jacobi symbol would give
Cancelling the invertible congruence for would say that , a contradiction. Hence , so at least half of the coprime bases are witnesses.
It remains to construct one witness for every odd composite number . If is not squarefree, choose an odd prime number with . The Chinese remainder theorem gives a unit such that for the full power and modulo every other prime-power factor. The binomial theorem gives
Since , this is neither nor modulo , whereas the Jacobi symbol is always or . Thus is a witness.
If is squarefree and composite, choose distinct primes . By the Chinese remainder theorem, choose to be a quadratic nonresidue modulo and to satisfy modulo every other prime divisor of . Then , while , so the Euler congruence again fails. This proves the existence of an Euler witness for every odd composite integer.
Because , choose with by Bézout's identity. Then
satisfies and . Any two simultaneous solutions differ by a multiple of both coprime integers and hence by a multiple of . This proves the two-modulus Chinese remainder theorem.
The three congruences reduce to
The first two give ; imposing the last gives
We prove the claim by structural induction for primitive recursive functions. A formula is bounded when every quantifier is a bounded quantifier; this is a Delta-0 formula. The graphs of the initial functions have quantifier-free definitions:
Suppose and the graphs of have existential bounded definitions. Introduce variables for the intermediate values and conjoin the graph formulas
Pulling all unrestricted existential witnesses to the front leaves a bounded matrix, so the required form is preserved by composition.
For primitive recursion, use Gödel beta-function sequence coding. The relation
is bounded in the language of ordered rings. Given any finite sequence , choose larger than all its entries and divisible by . The moduli are pairwise coprime, so the Chinese remainder theorem supplies with for every .
Suppose
and the induction hypothesis gives existential bounded graph formulas for and . Then exactly when there are coding values , together with a common witness bound , such that:
Write each using , bound the variables representing by , and bound every witness used by the graph formulas for and by . All quantifiers checking the displayed finite recursion are then bounded; only and the finitely many outer coding witnesses are unrestricted existential variables. Conversely, any code passing these bounded checks satisfies the recursion equations, and induction on forces its th entry to be . This proves the existential bounded representation of a primitive recursive function.
For each place of a number field , let be the corresponding completion, and for finite let be its valuation ring. The adele ring is the restricted product
Its restricted product topology has basic open sets , where every is open and at all but finitely many finite places.
First take . The neighborhood
of zero meets the diagonal copy of only in zero: a rational number lying in every is an integer, and the only integer in the indicated real interval is zero. Thus is discrete in .
Every rational adele is congruent modulo to an element of
Indeed, the finitely many negative -adic principal parts can be removed simultaneously by subtracting a rational number, using the Chinese remainder theorem; subtracting an integer then moves the real component into . This set is compact by the compactness of , the compactness of every , and the Tychonoff theorem. Its image covers the quotient, so is compact.
Now choose a -basis of the number field . The given topological isomorphism
identifies the additive pair with . A finite product of discrete subgroups is discrete, and
is compact.
The idele group is
where the distinguished subgroup at a finite place is . It carries the corresponding restricted product topology on the idele group. The inclusion is continuous: the inverse image of a basic adelic open set is locally a product of open subsets of , and outside finitely many places every idele component already belongs to .
It is not a homeomorphism onto its image. Let be the th rational prime and define the idele to equal at the place over and everywhere else. In the adele topology, : the difference is zero at every fixed place once is large, while at the single moving place. In the idele topology the sequence does not converge to , because the open neighborhood
contains no : its -component has positive valuation and is not a unit. Hence the inverse of on its image is not continuous.
The Möbius function is defined by and, for ,
It is a multiplicative arithmetic function: whenever and are coprime.
The summand is multiplicative, so its divisor sum is multiplicative. For a prime power with , only contribute and
Multiplying these local identities over the prime divisors of gives
For the final claim, choose distinct primes . The moduli are pairwise coprime, so the Chinese remainder theorem gives an integer satisfying
Every positive integer then has . Hence
There are infinitely many positive representatives of this congruence class.
By the Chinese remainder theorem, iff it holds modulo every . Since and the order of modulo divides , this is equivalent to for every .
For Rabin cryptosystem, choose primes , publish , and encrypt as . The factors let the receiver take square roots modulo and and combine them using the Chinese remainder theorem; redundancy identifies the intended one of four roots.
For RSA cryptosystem, choose , select coprime to and with . Encrypt as and decrypt by raising to modulo . Rabin inversion is provably equivalent to factoring, while ordinary RSA lacks that reduction; Rabin's disadvantage is its fourfold decryption ambiguity.
The Bezout identity states that for integers , not both zero, there are integers such that
If the prime number divides but does not divide , then . Thus for some integers , and multiplication by gives
Both terms on the right are divisible by , so . Hence
If , choose with . Then
satisfies and . If are two simultaneous solutions, both and divide . Coprimality implies , so the solution is unique modulo . This proves the two-modulus Chinese remainder theorem.
Let be odd and suppose
Then . Since divides , the odd prime cannot divide both factors. The full power must therefore divide one of them, giving
These are distinct, so there are exactly two solutions.
For an odd integer
the Chinese remainder theorem identifies a solution modulo with independent solutions modulo the prime powers. Each component has two choices, hence
For , there is one solution when and two when . If , a solution is odd, and of the consecutive even integers , exactly one is divisible by . The 2-adic valuations therefore have minimum one; for their sum to be at least , the other must be at least . Thus , giving the four distinct classes
Consequently the answer is
Put and let be the number of roots of modulo . For squarefree , the Chinese remainder theorem gives
Indeed, for the three roots are distinct. Counting in each of the residue classes gives
Consequently a suitable sieve distribution is
This is the polynomial root density in a sieve calculation.
In the Rabin cryptosystem, the public key is and encryption sends an encoded message to
Knowing , the receiver finds the two square roots modulo each prime and combines them with the Chinese remainder theorem to obtain four roots modulo ; prescribed redundancy identifies the intended one.
Omicron has
The Chinese remainder theorem determines uniquely modulo (assuming the independently generated moduli are coprime; a nontrivial gcd would itself factor them). Since , one has , so this residue is the ordinary integer . Taking its positive integer square root recovers .
This does not normally decrypt another ciphertext sent under only one modulus. The recovered pair reveals no nontrivial square root collision modulo that modulus and hence supplies no factorization; breaking a single Rabin instance remains equivalent to factoring its modulus.
Distinct prime-power ideals are pairwise comaximal. For comaximal ideals, product equals intersection, so induction gives
The Chinese remainder theorem therefore gives the ring isomorphism
The ideal approximation theorem, proved by applying this Chinese-remainder map one prime power deeper, supplies
Equivalently, at every prime dividing .
Since , the fractional ideal
is an integral ideal and is a principal ideal. At every ,
, so .
Choose and with . Then
. For any ,
Thus
so every ideal of has a generating set of two elements.
The Lagrange theorem for polynomial congruences says that if is prime and has degree with at least one coefficient not divisible by , then
has at most incongruent solutions modulo .
The Chinese remainder theorem states that for pairwise coprime , every system
has exactly one solution modulo . For two moduli, choose with by Bezout identity. Then
is congruent to modulo and to modulo . If are two solutions, both and divide ; coprimality makes divide . This proves existence and uniqueness for two factors, and induction proves the general statement.
Now
and , so is a solution. For , one has , so no such positive integer can satisfy the congruence. Hence the smallest is
Modulo , the roots are respectively
Each list has three elements, and the Chinese remainder theorem combines the choices independently. Therefore the number of solutions with is
The Chinese remainder theorem says that for pairwise coprime positive integers , the map
is a bijection. For two moduli, choose with ; then
has residues modulo and modulo . Uniqueness follows because the difference of two solutions is divisible by both coprime moduli, hence by their product. Induction proves the general case.
The two given congruences are compatible modulo , and checking modulo gives
Write with . Use the Chinese remainder theorem to choose
Then modulo each of the pairwise coprime factors , , and , hence modulo .
The maximum is
The product of two fields attains it: its only nonzero proper ideals are and , and both are maximal ideals.
For the upper bound, suppose and are distinct maximal ideals of . Their intersection cannot be nonzero, since a nonzero proper ideal is maximal and cannot be properly contained in either of two distinct maximal ideals. Hence . Also , so the Chinese remainder theorem gives
Both factors are fields, and this product has exactly two maximal ideals. Thus a third maximal ideal is impossible.
The Ostrowski theorem says that every nontrivial absolute value on a field defined on is equivalent either to the usual absolute value or to for a unique prime .
Let an absolute value on the number field extend . Its valuation ring determines
a prime ideal satisfying . Conversely, each prime above defines the normalized absolute value
where . It restricts to . The correspondence between extensions and primes follows either from the valuation ring or from local factorization and extended absolute values; distinct primes give inequivalent valuations. Thus these are exactly the extensions, up to equivalence.
For the tensor-product assertion, choose a primitive element of a field extension for , with minimal polynomial . Because number fields are separable, over it factors into distinct irreducibles
indexed by the primes . The Chinese remainder theorem gives
The th factor is the completion of a number field at a prime ideal . Under these identifications the isomorphism is the natural diagonal map , proving the p-adic tensor decomposition of a number field
Write squarefree . For each , either , when both sides vanish modulo , or Fermat's theorem applies. Since and , it gives . The Chinese remainder theorem combines these congruences to give .
The Chinese remainder theorem identifies
Thus a class is a unit exactly when its image modulo every is nonzero, equivalently when no divides a representative.
Products of Eilenberg–MacLane spaces satisfy
where the last isomorphism uses the Chinese remainder theorem. This space is -connected, so the Hurewicz theorem identifies
The assumed surjection on is an isomorphism because the group is finite. Hence is an isomorphism on ; all other homotopy groups of the source and target vanish. Thus is a weak homotopy equivalence, and the Whitehead theorem for Kan complexes makes it a homotopy equivalence.
Let and . By the Chinese remainder theorem, , so .
If a positive-degree monomial contains both and with , then it vanishes: Bezout identity gives , while both and annihilate that monomial. Thus the degree- component for is
and every summand has length one. Hence every has length , including , and