请输入您要查询的字词:

 

单词 FormalCongruence
释义

formal congruence


Let m be a positive integer.  Two polynomials  f(X1,X2,,Xn)  and  g(X1,X2,,Xn)  with integer coefficients are said to be formally congruent modulo m, denoted

f(X1,X2,,Xn)¯g(X1,X2,,Xn)(modm),(1)

iff all coefficients of the difference polynomial  f-g  are divisible by m.

Remark 1.  The formal congruence of polynomials is an equivalence relationMathworldPlanetmath in the set [X1,X2,,Xn].

Remark 2.  The formal congruence (1) implies that all integers substituted for the variables satisfy it, in other words, one can speak of an identical congruence.  However, there are identical congruences that are not formal congruences; e.g.

XpX(modp)

where p is a positive prime.

Examples

  1. 1.

    (X+Y)p¯Xp+Yp(modp)  when p is a positive prime numberMathworldPlanetmath.  This result is easily proved with the binomial theoremMathworldPlanetmath (cp. the freshman’s dream) and may be by inductionMathworldPlanetmath generalized to

    (X1+X2++Xn)p¯X1p+X2p++Xnp(modp).

    If one substitutes in this formal congruence 1 for all X1, X2, …, Xn, one obtains the congruenceMathworldPlanetmathPlanetmathPlanetmath

    npn(modp);

    substitution of -1 shows that the last congruence is valid also for negative integers n.  If it is supposed that p is not factor of n, we have got the Fermat’s little theoremMathworldPlanetmath.

  2. 2.

    Let p be a positive prime number.  It is possible that the nth degree congruence

    P(x):=a0xn+a1xn-1++an 0(modp),

    where  aii  and  pa0,  has n modulo p incongruent roots  x=x1,x2,,xn.  We then have the formal congruence

    P(x)¯a0(x-x1)(x-x2)(x-xn)(modp).

    Especially, we have

    xp-1-1¯(x-1)(x-2)(x-p+1)(modp),

    because Fermat’s little theorem guarantees the roots  x=1, 2,,p-1  for the congruence xp-1-10(modp).  If the value  x=0  is substituted in the previous formal congruence, it gives

    -1(-1)p-1(p-1)!(modp)

    or

    (p-1)!-1(modp),

    which is half of Wilson’s theorem.  The reverse part of this theorem follows from the last congruence so that if p were not prime, then the number -1 would be divisible by any proper divisor of p.

References

  • 1 F. Stöwener: “Simultanbeweis des Fermatschen und Wilsonschen Satzes”.  – Elemente der Mathematik 30 (1975).
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 14:48:30