Çinlilerin kalan teoremi

Çinlilerin kalan teoremi, "3'e bölündüğünde 2, 5'e bölündüğünde 3, 7'ye bölündüğünde 4 kalanını veren sayıyı bulun" tipinden problemleri çözmek için kullanılan teorem. buna göre: 3'e bölündüğünde 2 kalanını veren sayılar 3.k+2 şeklindedir. (2, 5, 8, ...) 5'e bölündüğünde 3 kalanını veren sayılar 5.l+3 şeklindedir. (3, 8, 13, ...) bu durumda sayımız 15m+8 şeklindedir. (8, 23, 38, 53, ...) 7'ye bölündüğünde 4 kalanını veren sayılar 7.n+4 şeklindedir. (4, 11, 18, ..., 46, 53, ...) bu durumda da sayımız 105.p+53 şeklindedir.

n1, n2, …, nk pozitif, çiftli aralarında asal Tamsayı olsun. Bu durumda, Verilen herhangi a1,a2, …, ak,tamsayıları için bir x tamsayısı vardır ki sistemin eşzamanlı uygun bir çözümüdür.


Bundan başka, Tüm Çözümler x Bu sistem uyumlu olan modulo N = n1n2nk.

Böylece tüm , ancak ve ancak .

Sometimes, the simultaneous congruences can be solved even if the ni's are not pairwise coprime. A solution x exists if and only if:

All solutions x are then congruent modulo the least common multiple of the ni.

Versions of the Chinese remainder theorem were also known to Brahmagupta (7th century), and appear in Fibonacci's Liber Abaci (1202).

Çözümü Bulmak için Yapıcı bir algoritma

Aşağıdaki algoritma sadece aralarında ikili asal olan sayıları için geçerlidir. (Eşzamanlı kongrüanslar için modül asal ikili değilse, peşpeşe ekleme yöntemi kullanarak çözüme ulaşılabilir.)

Aşağıdaki gibi verilmiş olan kongrüanslar sistemi için bir çözümün gerekli olduğunu varsayalım:

İlk adım olarak çarpımı tanımlanır. Sonra aşağıdaki yöntem izlenerek bir x çözümü bulunabilir.

Bütün i değerleri için ve sayılarının asal olduğunu biliyoruz. Genişletilmiş Öklid algoritması yardımıyla eşitliğini sağlayan ve sayılarını bulabiliriz. Ardından değerine ulaşılır ve yukarıda verilen eşitlik şu hale getirilir:

sayısı göz önünde bulundurulursa, yukarıdaki eşitliğin ile bölünmesi halinde kalanın 1 olması gerektiğini görürüz. Diğer taraftan, şeklinde ifade edildiğinden, elimizdeki değeri olduğu sürece bu eşitliğin ile eşit olarak bölüneceğini garanti eder.

Bu nedenle, kongrüanslar için kullanılan çarpım kuralları da göz önünde bulundurularak, bu kongrüans sistemine bulunabilecek çözümlerden bir tanesi:

Örneğin, aşağıda verilen kongrüans sistemi için bir x tamsayısı bulmaya çalışalım:

Genişletilmi Öklid algoritması yardımıyla x için mod 3 ve 20 [4×5] kullanarak (−13) × 3 + 2 × 20 = 1, yani e1 = 40 değeri bulunur. Aynı yöntemle x için mod 4 ve 15 [3×5] kullanarak (−11) × 4 + 3 × 15 = 1, yani e2 = 45 değeri bulunur. Son olarak, x için mod 5 ve 12 [3×4] kullanarak 5 × 5 + (−2) × 12 = 1, yani e3 = −24 değerini elde ederiz. Bulduklarımızı birleştirecek olursak muhtemeel x sayılarından bir tanesi 2 × 40 + 3 × 45 + 1 × (−24) = 191 olur. Diğer bütün çözümler 191'in mod 60 [3 × 4 × 5 = 60] değerine eşleniktir, bir diğer ifadeyle olası x değerlerinin hepsi 11'in mod 60 değeriyle eşleniktir.

NOT: Genişletilmi Öklid algoritması çeşitli yaklaşımlarla uygulanabilir. Bu soru için farklı uygulamalar kullanılarak , , ve değerleri elde edilebilir. Fakat, bunlar da bizi aynı sonuca ulaştıracaktır, yani (-20)2+(-15)3+(-24)1=-109=11 mod 60.

Temel ideal bölgeler için Açıklama

For a principal ideal domain R the Chinese remainder theorem takes the following form: If u1, ..., uk are elements of R which are pairwise coprime, and u denotes the product u1...uk, then the quotient ring R/uR and the product ring R/u1R× ... × R/ukR are isomorphic via the isomorphism

such that

This isomorphism is unique; the inverse isomorphism can be constructed as follows. For each i, the elements ui and u/ui are coprime, and therefore there exist elements r and s in R with

Set ei = s u/ui. Then the inverse of f is the map

such that

Note that this statement is a straightforward generalization of the above theorem about integer congruences: the ring Z of integers is a principal ideal domain, the surjectivity of the map f shows that every system of congruences of the form

can be solved for x, and the injectivity of the map f shows that all the solutions x are congruent modulo u.

Genel halkaları için Açıklama

The general form of the Chinese remainder theorem, which implies all the statements given above, can be formulated for commutative rings and ideals. If R is a commutative ring and I1, ..., Ik are ideals of R which are pairwise coprime (meaning that Ii + Ij = R whenever ij), then the product I of these ideals is equal to their intersection, and the quotient ring R/I is isomorphic to the product ring R/I1 x R/I2 x ... x R/Ik via the isomorphism

such that

Uygulamalar

.
Introducing the polynomials , the problem may be equivalently reformulated as a system of simultaneous congruences:
.
By the Chinese remainder theorem in the principal ideal domain , there is a unique such polynomial with degree . A direct construction, in analogy with the above proof for the integer number case, can be performed as follows. Define the polynomials and . The partial fraction decomposition of gives r polynomials with degrees such that
,
so that . Then a solution of the simultaneous congruence system is given by the polynomial
;
and the minimal degree solution is this one reduced modulo , that is the unique with degree less than n.

Non-commutative case: a counter-example

The Chinese remainder theorem does not hold in the non-commutative case. Consider the ring of non-commutative real polynomials in and . Let be the principal two-sided ideal generated by and the principal two-sided ideal generated by Then but

ISPAT:

Observe that is formed by all polynomials with an in every term and that every polynomial in vanishes under the substitution . Consider the polynomial . Clearly . Define a term in as an element of the multiplicative monoid of generated by and . Define the degree of a term as the usual degree of the term after the substitution . On the other hand, suppose . Observe that a term in of maximum degree depends on otherwise under the substitution can not vanish. The same happens then for an element . Observe that the last , from left to right, in a term of maximum degree in an element of is preceded by more than one . (We are counting here all the preceding s. e.g. in the last is preceded by s.) This proves that since that last in a term of maximum degree () is preceded by only one . Hence .

On the other hand, it is true in general that implies . To see this, note that , while the opposite inclusion is obvious. Also, we have in general that, provided are pairwise coprime two-sided ideals in , the natural map

is an isomorphism. Note that can be replaced by a sum over all orderings of of their product (or just a sum over enough orderings, using inductively that for coprime ideals ).

Bunlara da bakınız

Referanslar

Dış bağlantılar

This article is issued from Vikipedi - version of the 1/18/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.