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 u1uk, 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:

    The new statement will comprise the skepticisms, as well as the faiths of society, and out of unbeliefs a creed shall be formed. For, skepticisms are not gratuitous or lawless, but are limitations of the affirmative statement, and the new philosophy must take them in, and make affirmations outside of them, just as much as must include the oldest beliefs.
    Ralph Waldo Emerson (1803–1882)

    The principal thing children are taught by hearing these lullabies is respect. They are taught to respect certain things in life and certain people. By giving respect, they hope to gain self-respect and through self-respect, they gain the respect of others. Self-respect is one of the qualities my people stress and try to nurture, and one of the controls an Indian has as he grows up. Once you lose your self-respect, you just go down.
    Henry Old Coyote (20th century)

    The ideal of men and women sharing equally in parenting and working is a vision still. What would it be like if women and men were less different from each other, if our worlds were not so foreign? A male friend who shares daily parenting told me that he knows at his very core what his wife’s loving for their daughter feels like, and that this knowing creates a stronger bond between them.
    —Anonymous Mother. Ourselves and Our Children, by Boston Women’s Health Book Collective, ch. 6 (1978)

    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)