Write the cyclic factors additively. The order of a group element in a direct product of groups is the least common multiple of its component orders, since a power is the identity exactly when it is the identity in both coordinates.
In , has order , so it generates all six pairs. An explicit group isomorphism isIt is well defined and multiplicative in additive notation; its kernel is zero because an integer divisible by both two and three is divisible by six. Equal finite orders then give bijectivity.
In , every element has order dividing four. A generator of has order eight, and isomorphisms preserve element orders, soFor positive integers , the maximum element order in is , attained by a pair of generators. The product is cyclic of order exactly when that number is . Thus cyclicity of a product of two finite cyclic groups givesFor coprime factors the map gives the isomorphism, the group form of the Chinese remainder theorem.
The group is the direct product of groups . Repeatedly adding returns to for the first time when both and divide the step number. Its order of a group element is therefore . If are coprime, this is , so it generates every element:Explicitly, is the Chinese remainder theorem group isomorphism.
If , every pair satisfiesThus every element order divides , and no element can generate the whole group. HenceThis is the cyclicity of a product of two finite cyclic groups.
In additive notation every element obeys . Its order of a group element therefore divides four, whereas has order eight. A group isomorphism preserves element orders, soFor the second product, define the group homomorphismIt is well-defined because multiples of six are divisible by both two and three. Its kernel contains only zero: simultaneous divisibility by two and three implies divisibility by six. Thus is injective, and equal finite group orders make it surjective. Explicitly the six images areThereforeFor general positive integers , the order of a direct-product element is the least common multiple of its component orders. Hence every element order divides , while attains this order. It generates the whole product precisely when are coprime:This is the cyclicity of a product of two finite cyclic groups, with the explicit isomorphism furnished by the Chinese remainder theorem.
ideals are coprime when , equivalently for some , . Always . If , then , giving in the coprime case. For nonzero integral ideals, the Chinese remainder theorem gives , and taking finite cardinalities yields .
For a nonzero prime ideal, the chain of finite-index inclusions givesby the given hypothesis. Distinct nonzero prime ideals are maximal and coprime, as are their positive powers. Unique factorization of ideals in a number field therefore gives . Exponents add under ideal multiplication, proving multiplicativity for arbitrary nonzero integral ideals. This is the standard domain of the finite ideal norm used here.
For the Dedekind factorization theorem, choose an integral primitive element of with monic minimal polynomial of an algebraic element , and assume the rational prime does not divide the index . Factorover , with distinct monic irreducible factors. For integer polynomial lifts , the distinct prime ideals above are , andThus the residue degree is , the ramification index is , and . The index restriction is essential to this direct factorization formula.
For , the ring of integers is , so the index is one and the theorem applies to every prime. Modulo two, , giving one prime ideal of ideal norm two. For an odd rational prime, a prime ideal has ideal norm if the polynomial splits, and ideal norm if it is irreducible. In the former case the supplied condition forces or ; in the latter case every odd square is one modulo eight. ConsequentlyThe odd part of any ideal norm is thus one or three modulo eight, because . Multiplication by a power of two leaves possible residues for exponent zero, for exponent one, for exponent two, and for exponent at least three. Hence for every nonzero integral ideal.
Use the agreed text encoding to split the plaintext into integer blocks . RSA encrypts each block by modular exponentiation:Because is a product of distinct primes, its Euler totient function is . The inverse exponent follows fromThus a decryption exponent is 275, and the three recovered blocks areTo check every block, including blocks not coprime to the modulus, reduce modulo each prime. If is nonzero modulo 29, Fermat's little theorem gives because ; if it is zero the equality is immediate. The same argument works modulo 37 because . The Chinese remainder theorem then gives the equality modulo 1073. Finally reverse the agreed text encoding. The symbols are unspecified, so there are no numerical message blocks to evaluate further.
Euler's totient function isEuler's theorem states that implies . For , let be the invertible residue classes modulo . Multiplication by permutes these classes, since it has an inverse modulo . Multiplying the resulting congruences givesEvery factor is a unit, so the product can be cancelled, proving the theorem. The case is immediate. For distinct prime numbers , removing multiples of either prime from gives
For the RSA cryptosystem, choose distinct large primes , put , and choose coprime to . Compute with . The public key is ; the private exponent is retained secretly. Represent a message by , encrypt by , and decrypt by .
To prove correct decryption even for messages not coprime to , write . Modulo , if then ; otherwise Fermat's little theorem gives . The same reasoning holds modulo . The Chinese remainder theorem therefore gives , and the chosen representative recovers . Thus decryption works for every message residue, not merely the units.
Euler's totient function isEuler's theorem states that implies . For , let be the invertible residue classes modulo . Multiplication by permutes these classes, since it has an inverse modulo . Multiplying the resulting congruences givesEvery factor is a unit, so the product can be cancelled, proving the theorem. The case is immediate. For distinct prime numbers , removing multiples of either prime from gives
For the RSA cryptosystem, choose distinct large primes , put , and choose coprime to . Compute with . The public key is ; the private exponent is retained secretly. Represent a message by , encrypt by , and decrypt by .
To prove correct decryption even for messages not coprime to , write . Modulo , if then ; otherwise Fermat's little theorem gives . The same reasoning holds modulo . The Chinese remainder theorem therefore gives , and the chosen representative recovers . Thus decryption works for every message residue, not merely the units.
A primitive root modulo is an integer whose residue generates the multiplicative group , equivalently has order .
The Chinese remainder theorem states that, for pairwise coprime positive integers , the system has a unique solution modulo . For a constructive proof put . Bézout's identity gives an integer with . Then has all the required residues. If two solutions exist, their difference is divisible by every ; pairwise coprimality makes it divisible by their product, proving uniqueness modulo .
Here divide , and none is zero modulo . Choose a primitive root and exponents withUse the theorem with moduli to choose such that , , . Define nonzero residuesThe exponents are integers; negative ones are interpreted using inverses in . Taking integer representatives now givesThe theorem aligns the exponent modular congruences, which is why a primitive root converts the three power conditions into a linear modular congruence problem.
Choose a nonzero quadratic nonresidue . There is one because the squaring map on is two-to-one, so exactly half its elements are squares. The moduli are pairwise coprime, so the Chinese remainder theorem gives a positive integer satisfyingWhen , the last condition is vacuous. In particular is odd and coprime to . Since , Jacobi reciprocity givesAs is odd, multiplicativity of the Jacobi symbol now yields
Euler's theorem states that if , then , where is Euler's totient function. This includes Fermat's little theorem when is prime.
For each prime-power factor , the integer divides the defined least common multiple . Euler's theorem modulo that prime power therefore givesThe prime powers are pairwise coprime, so their product divides . Equivalently the Chinese remainder theorem givesFor the specified composite integer,Raising to the seventh power provesThus 561 is a Carmichael number. We use exactly the source's definition of as the least common multiple of prime-power totients; its validity here does not require replacing it by a smaller exponent at powers of two.
Choose a nonzero quadratic nonresidue modulo . By the Chinese remainder theorem, choose a positive integer satisfyingThe moduli are pairwise coprime, and is coprime to . Jacobi reciprocity, with , givesSince is odd, multiplying these symbols yieldsWhen its congruence imposes no restriction and its Jacobi factor equals one.
Past exam of the rings and modules course of the University of Oxford 2021 3 b ii Solution 2026-10-25
Define the group homomorphismBy part (b)(i), its kernel of a group homomorphism isIt is surjective. Indeed, choose with by Bézout's identity. For any prescribed classes and , the integersatisfies and . The first isomorphism theorem for groups therefore givesThis proves the required isomorphism and is the Chinese remainder theorem for coprime integers. It also shows that generates the direct sum of modules when these additive groups are viewed as -modules.
Writing , the second condition becomes . Writing , its second condition becomes . Consequentlygives an infinite set of positive integer solutions. Conversely these are the positive solutions in the indicated congruence classes, by the Chinese remainder theorem.
The Chinese remainder theorem says that for pairwise coprime positive moduli and arbitrary integers , the simultaneous modular congruenceshave a solution, unique modulo .
Choose distinct prime numbers . Their prime powers are pairwise coprime. Apply the Chinese remainder theorem toFor the resulting integer , each is divisible by , the required power of an integer greater than one. Adding a sufficiently large multiple of makes positive without changing any modular congruence. Thus such a positive exists, indeed infinitely many do. This is the general construction of consecutive integers divisible by prescribed prime powers.
Put , the normal subgroup of order . By Cauchy's theorem for finite groups, contains an element of order two. Such an element cannot belong to the odd-order subgroup . Thus and , giving the semidirect productEvery automorphism of a finite cyclic group sends to for a unit modulo . The relation forces the conjugation action of to square to the identity:The Chinese remainder theorem identifies a congruence class modulo with its pair of classes modulo and . In each of these prime fields, the factorization forces or . The choices are independent, giving exactly four homomorphisms from a finite cyclic group . Explicitly,The factors and of are preserved by every automorphism, since each is its unique subgroup of that order. The four conjugation actions therefore give:
- : the action is trivial on both factors, so , by cyclicity of a product of two finite cyclic groups.
- : the action inverts both factors, so is the dihedral group .
- : it is the identity modulo and inversion modulo , so the factor commutes with the other factors and .
- : it is inversion modulo and the identity modulo , giving .
Here has group order , as in the paper. The center of a group distinguishes these four groups of order seventy: its orders are , respectively, so the four groups are pairwise nonisomorphic. Each construction is a semidirect product with elements, so every listed possibility occurs.
Write with . The Sylow theorems give and . Since , necessarily . Its unique Sylow subgroup is a normal subgroup and has prime order , soA Sylow subgroup has trivial intersection with , and , so . ThusThe semidirect product action is a group homomorphism . If the action is trivial, by the Chinese remainder theorem; if it is nontrivial, . In particular has both a cyclic normal subgroup and a cyclic quotient, making it a metacyclic group and hence a solvable group.
The primes both work, with the zero residue as a solution. For every other prime, multiplicativity of the Legendre symbol and quadratic reciprocity giveThe first factor is positive for ; the second is positive for . They must have the same sign. The Chinese remainder theorem therefore yields
Pólya–Vinogradov inequality 2026-10-07
For a primitive nonprincipal Dirichlet character modulo , finite Fourier inversion theorem and the primitive Gauss magnitude give this bound uniformly in the interval. Bound the exponential sums by and sum the resulting harmonic series. The general Gauss identity follows from the prime-power identity by the Chinese remainder theorem.
Polynomial root density in a sieve Created 2026-09-28 Updated 2026-10-03
For an integer polynomial and squarefree , let count the roots of modulo . The Chinese remainder theorem makes multiplicative, andThus and define a sieve distribution.
Let with primes and . quadratic reciprocity makes three a square modulo ; choose and impose , by the Chinese remainder theorem. The curve has good reduction at both primes. Indeed its discriminant is ; the first condition could make a factor vanish only at or 11, while the second gives and the given residue class excludes .
Doubling gives . This vanishes modulo and equals one modulo . Modulo one also has , so and is the identity. Modulo the addition is finite. Thus computing modulo encounters a denominator whose greatest common divisor with is exactly , revealing the factor. The numerator difference is minus two modulo , so the failed inverse cannot be cancelled. This is a construction of successful elliptic curve method data from prescribed local group behavior.