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
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 honor my country shall never be stained by an apology from me for the statement of truth and the performance of duty; nor can I give any explanation of my official acts except such as is due to integrity and justice and consistent with the principles on which our institutions have been framed.”
—Andrew Jackson (17671845)
“Silence, indifference and inaction were Hitlers principal allies.”
—Immanuel, Baron Jakobovits (b. 1921)
“The great attraction of fashion is that it diverted attention from the insoluble problems of beauty and provided an easy waywhich money could buy ... to a simply stated, easily reproduced ideal of beauty, however temporary that ideal.”
—Theodore Zeldin (b. 1923)
“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 (18171862)
