Chinese Remainder Theorem - Statement For Principal Ideal Domains

Statement For Principal Ideal Domains

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 map is well-defined and an isomorphism of rings; 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

g(a_1 + u_1R, \ldots, a_k + u_kR) = \left( \sum_{i=1}^k a_i \frac{u}{u_i} \left_{u_i} \right) + uR \quad\mbox{ for all }a_1, \ldots, a_k \in R.

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.

Read more about this topic:  Chinese Remainder Theorem

Famous quotes containing the words statement, principal, ideal and/or domains:

    “After the first powerful plain manifesto
    The black statement of pistons, without more fuss
    But gliding like a queen, she leaves the station.”
    —Stephen Spender (1909–1995)

    “There are three principal means of acquiring knowledge available to us: observation of nature, reflection, and experimentation. Observation collects facts; reflection combines them; experimentation verifies the result of that combination. Our observation of nature must be diligent, our reflection profound, and our experiments exact. We rarely see these three means combined; and for this reason, creative geniuses are not common.”
    —Denis Diderot (1713–1784)

    “For most Northerners, Texas is the home of real men. The cowboys, the rednecks, the outspoken self-made right-wing millionaires strike us as either the best or worst examples of American manliness.... The ideal is not an illusion nor is it contemptible, no matter what damage it may have done. Many people who scorn it in conversation want to submit to it in bed. Those who believe machismo reeks of violence alone choose to forget it once stood for honor as well.”
    —Edmund White (b. 1940)

    “I shall be a benefactor if I conquer some realms from the night, if I report to the gazettes anything transpiring about us at that season worthy of their attention,—if I can show men that there is some beauty awake while they are asleep,—if I add to the domains of poetry.”
    —Henry David Thoreau (1817–1862)