Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 3 1H Solution Created 2026-09-24 Updated 2026-09-29
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 giveCancelling 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 givesSince , 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.
Past exam of the mathematics course of the University of Cambridge 2021 ia Paper 4 6E a ii Solution Created 2026-09-24 Updated 2026-09-25
Because , choose with by Bézout's identity. Thensatisfies 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.
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 120 2 Solution 2026-09-28
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 formulasPulling 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 relationis 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 .
Supposeand 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.
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 123 2 Solution 2026-09-28
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 productIts restricted product topology has basic open sets , where every is open and at all but finitely many finite places.
First take . The neighborhoodof 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 ofIndeed, 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 isomorphismidentifies the additive pair with . A finite product of discrete subgroups is discrete, andis compact.
The idele group iswhere 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 neighborhoodcontains no : its -component has positive valuation and is not a unit. Hence the inverse of on its image is not continuous.
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 2 1I Solution Created 2026-09-24 Updated 2026-09-25
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 andMultiplying 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 satisfyingEvery positive integer then has . HenceThere are infinitely many positive representatives of this congruence class.
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 4 11I c Solution Created 2026-09-24 Updated 2026-09-25
By the Chinese remainder theorem, iff it holds modulo every . Since and the order of modulo divides , this is equivalent to for every .
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 4 3K Solution Created 2026-09-23 Updated 2026-09-25
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.
Past exam of the mathematics course of the University of Cambridge 2022 ia Paper 4 5E Solution Created 2026-09-23 Updated 2026-09-25
The Bezout identity states that for integers , not both zero, there are integers such thatIf the prime number divides but does not divide , then . Thus for some integers , and multiplication by givesBoth terms on the right are divisible by , so . Hence
If , choose with . Thensatisfies 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 supposeThen . Since divides , the odd prime cannot divide both factors. The full power must therefore divide one of them, givingThese are distinct, so there are exactly two solutions.
For an odd integerthe 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 classesConsequently the answer is
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 117 1 c Solution 2026-09-28
Put and let be the number of roots of modulo . For squarefree , the Chinese remainder theorem givesIndeed, for the three roots are distinct. Counting in each of the residue classes givesConsequently a suitable sieve distribution isThis is the polynomial root density in a sieve calculation.
Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 2 12K a Solution Created 2026-09-24 Updated 2026-09-25
In the Rabin cryptosystem, the public key is and encryption sends an encoded message toKnowing , 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 hasThe 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.
Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 2 20H a Solution Created 2026-09-24 Updated 2026-09-25
Distinct prime-power ideals are pairwise comaximal. For comaximal ideals, product equals intersection, so induction givesThe Chinese remainder theorem therefore gives the ring isomorphism
The ideal approximation theorem, proved by applying this Chinese-remainder map one prime power deeper, suppliesEquivalently, at every prime dividing .
Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 3 1I Solution Created 2026-09-23 Updated 2026-09-25
The Lagrange theorem for polynomial congruences says that if is prime and has degree with at least one coefficient not divisible by , thenhas at most incongruent solutions modulo .
The Chinese remainder theorem states that for pairwise coprime , every systemhas exactly one solution modulo . For two moduli, choose with by Bezout identity. Thenis 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.
Nowand , so is a solution. For , one has , so no such positive integer can satisfy the congruence. Hence the smallest isModulo , the roots are respectivelyEach list has three elements, and the Chinese remainder theorem combines the choices independently. Therefore the number of solutions with is
Past exam of the mathematics course of the University of Cambridge 2023 ia Paper 4 2E Solution Created 2026-09-23 Updated 2026-09-25
The Chinese remainder theorem says that for pairwise coprime positive integers , the mapis a bijection. For two moduli, choose with ; thenhas 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.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 101 2 i Solution Created 2026-09-24 Updated 2026-09-25
The maximum isThe 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 givesBoth factors are fields, and this product has exactly two maximal ideals. Thus a third maximal ideal is impossible.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 136 5 a Solution Created 2026-09-24 Updated 2026-10-03
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 determinesa prime ideal satisfying . Conversely, each prime above defines the normalized absolute valuewhere . 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 irreduciblesindexed by the primes . The Chinese remainder theorem givesThe 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
Past exam of the mathematics course of the University of Cambridge 2025 ia Paper 4 6E e Solution Created 2026-09-24 Updated 2026-09-25
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 .
Past exam of the mathematics course of the University of Cambridge 2025 ib Paper 2 9E c Solution Created 2026-09-24 Updated 2026-10-03
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 165 2 vi Solution Created 2026-09-24 Updated 2026-09-25
Products of Eilenberg–MacLane spaces satisfywhere the last isomorphism uses the Chinese remainder theorem. This space is -connected, so the Hurewicz theorem identifiesThe 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.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 101 5 c i Solution Created 2026-09-24 Updated 2026-10-03