Linear congruence theorem

Linear congruence theorem

In modular arithmetic, the question of when a linear congruence can be solved is answered by the linear congruence theorem. If "a" and "b" are any integers and "n" is a positive integer, then the congruence:"ax" ≡ "b" (mod "n") (1)has a solution for "x" if and only if "b" is divisible by the greatest common divisor "d" of "a" and "n" (denoted by gcd("a","n") | "b"). When this is the case, and "x"0 is one solution of (1), then the set of all solutions is given by:{x_0+kfrac{n}{d}mid kinBbb{Z}}.In particular, there will be exactly "d" = gcd("a","n") solutions in the set of residues {0,1,2,...,"n"-1}.

Example

For example, examining the equation a"x" ≡ 2 (mod 6) with different values of "a" yields:3"x" ≡ 2 (mod 6)here d = gcd(3,6) = 3 but since 3 does not divide 2, there is no solution. :5"x" ≡ 2 (mod 6)here d = gcd(5,6) = 1, which divides any "b", and so there is just one solution in {0,1,2,3,4,5}: "x"=4. :4"x" ≡ 2 (mod 6)here d = gcd(4,6) = 2, which does divide 2, and so there are exactly two solutions in {0,1,2,3,4,5}: "x"=2 and "x"=5.

Solving a linear congruence

In general solving equations of the form::"ax" ≡ "b" (mod "n") (1)If the greatest common divisor "d" = gcd("a", "n") divides "b", then we can find a solution "x" to the congruence (1) as follows: the extended Euclidean algorithm yields integers "r" and "s" such "ra" + "sn" = "d". Then "x" = "rb/d" is a solution. The other solutions are the numbers congruent to "x" modulo "n/d".

For example, the congruence:"12x" ≡ 20 (mod 28)has 4 solutions since gcd(12, 28) = 4 divides 20. The extended Euclidean algorithm gives (-2)*12 + 1*28 = 4, i.e. "r" = -2 and "s" = 1. Therefore, one solution is "x" = -2*20/4 = -10. All other solutions are congruent to -10 modulo 7. Since the original equation uses modulo 28, the entire solution set in the range from 0 to 27 is x = {4,11,18,25}

System of linear congruences

By repeatedly using the linear congruence theorem, one can also solve systems of linear congruences, as in the following example: find all numbers "x" such that :"2x" ≡ 2 (mod 6):"3x" ≡ 2 (mod 7):"2x" ≡ 4 (mod 8)By solving the first congruence using the method explained above, we find "x" ≡ 1 (mod 3), which can also be written as "x" = 3"k" + 1. Substituting this into the second congruence and simplifying, we get :"9k" ≡ −1 (mod 7)Solving this congruence yields "k" ≡ 3 (mod 7), or "k" = 7"l" + 3. It then follows that "x" = 3 (7"l" + 3) + 1 = 21"l" + 10. Substituting this into the third congruence and simplifying, we get:"42l" ≡ −16 (mod 8)which has the solution "l" ≡ 0 (mod 4), or "l" = 4"m". This yields "x" = 21(4"m") + 10 = 84"m" + 10, or:"x" ≡ 10 (mod 84)which describes all solutions to the system.

See also

Chinese remainder theorem


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Congruence relation — See congruence (geometry) for the term as used in elementary geometry. In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is… …   Wikipedia

  • List of linear algebra topics — This is a list of linear algebra topics. See also list of matrices glossary of tensor theory. Contents 1 Linear equations 2 Matrices 3 Matrix decompositions 4 …   Wikipedia

  • Chinese remainder theorem — The Chinese remainder theorem is a result about congruences in number theory and its generalizations in abstract algebra. In its most basic form it concerned with determining n, given the remainders generated by division of n by several numbers.… …   Wikipedia

  • Matrix congruence — In mathematics, two matrices A and B over a field are called congruent if there exists an invertible matrix P over the same field such that PTAP = B where T denotes the matrix transpose. Matrix congruence is an equivalence relation. Matrix… …   Wikipedia

  • Quotient space (linear algebra) — In linear algebra, the quotient of a vector space V by a subspace N is a vector space obtained by collapsing N to zero. The space obtained is called a quotient space and is denoted V / N (read V mod N ). Definition Formally, the construction is… …   Wikipedia

  • Alperin-Brauer-Gorenstein theorem — In mathematics, the Alperin Brauer Gorenstein theorem characterizes the finite simple groups with quasidihedral or wreathed Sylow 2 subgroups. These are isomorphic either to three dimensional projective special linear or projective special… …   Wikipedia

  • Modular arithmetic — In mathematics, modular arithmetic (sometimes called clock arithmetic) is a system of arithmetic for integers, where numbers wrap around after they reach a certain value the modulus. The Swiss mathematician Leonhard Euler pioneered the modern… …   Wikipedia

  • List of number theory topics — This is a list of number theory topics, by Wikipedia page. See also List of recreational number theory topics Topics in cryptography Contents 1 Factors 2 Fractions 3 Modular arithmetic …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”