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 is
It 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, so
For 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 gives
For 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 satisfies
Thus every element order divides , and no element can generate the whole group. Hence
This 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, so
For the second product, define the group homomorphism
It 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 are
Therefore
For 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 gives
by 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 . Factor
over , with distinct monic irreducible factors. For integer polynomial lifts , the distinct prime ideals above are , and
Thus 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. Consequently
The 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 from
Thus a decryption exponent is 275, and the three recovered blocks are
To 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 is
Euler'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 gives
Every 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 is
Euler'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 gives
Every 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 with
Use the theorem with moduli to choose such that , , . Define nonzero residues
The exponents are integers; negative ones are interpreted using inverses in . Taking integer representatives now gives
The 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 satisfying
When , the last condition is vacuous. In particular is odd and coprime to . Since , Jacobi reciprocity gives
As 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 gives
The prime powers are pairwise coprime, so their product divides . Equivalently the Chinese remainder theorem gives
For the specified composite integer,
Raising to the seventh power proves
Thus 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 satisfying
The moduli are pairwise coprime, and is coprime to . Jacobi reciprocity, with , gives
Since is odd, multiplying these symbols yields
When its congruence imposes no restriction and its Jacobi factor equals one.
Define the group homomorphism
By part (b)(i), its kernel of a group homomorphism is
It is surjective. Indeed, choose with by Bézout's identity. For any prescribed classes and , the integer
satisfies and . The first isomorphism theorem for groups therefore gives
This 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 . Consequently
gives 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 congruences
have a solution, unique modulo .
Choose distinct prime numbers . Their prime powers are pairwise coprime. Apply the Chinese remainder theorem to
For 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 product
Every 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:
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 , so
A Sylow subgroup has trivial intersection with , and , so . Thus
The 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 give
The first factor is positive for ; the second is positive for . They must have the same sign. The Chinese remainder theorem therefore yields
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, and
Thus 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.