Talk:Chinese remainder theorem

message: It has been said in the preceding section that the whole section  needs a revision. I agree, and will begin to  do it, along the following line: 
*renaming the section "Computation" 
*expanding the general introduction of the section by adding to the example the general specification of the computation problem
* replacing the content of section "Brute-force approach" by the first method of next subsection (IMO, this brute-force approach has been imagined by a set-theorist who has never computed anything; it is difficult to imagine a method which is together so inefficient and so complicate)
* adding indication on the complexity of the different methods
* expanding the section "using the existence construction"
* adding a section "As a linear Diophantine system": all methods for linear Diophantine systems may be used here, and 's one is only one of them. 
D.Lazard (talk) 16:59, 3 September 2016 (UTC)
replies: text: Thank you!  I look forward to it.  Ozob (talk) 18:53, 3 September 2016 (UTC)
replies: text: Indeed, thank you; I wish I had the time. I'll pitch in as time permits. Magidin (talk) 20:24, 3 September 2016 (UTC)
replies: text: I have completed above edit program. Feel free for improving the result. In particular, references to The Art of Computer Programming should be added and used for improving details (I have not this book under hands, and some details of my edits are based on what I remember of my readings). D.Lazard (talk) 10:09, 9 September 2016 (UTC)
replies: text: The mission of Wikipedia is that it be an encyclopedia, but Wikipedia is infamous for being incomprehensible to non-experts. The section on simultaneous Diophantine equations gives no method, and the links are not very helpful. I think that an explicit example, like the one I originally added, would be a good idea.  If we want people with basic mathematical literacy to get something from the article then I think we need the example I gave.  I'm sorry, but all of the links given in the section would be totally incomprehensible for someone that doesn't already understand the topic at a higher level. — Fly by Night (talk) 19:29, 9 September 2016 (UTC)
replies: text: I think the link to Diophantine_equation#System_of_linear_Diophantine_equations is quite helpful.  That section of that article gives a precise description of the algorithm, and, despite your objection, I don't think it would be "totally incomprehensible".  True, it doesn't provide an example, and neither does the new section of this article; but it's a good exercise to apply the general algorithm to a special case.  If you think this section of the present article would benefit from continuing the running example, I suggest you add it. Ozob (talk) 18:49, 10 September 2016 (UTC)
replies: text: It is not incomprehensible to someone that already understands the topic - that was my point. But for a casual reader or the majority first year undergraduates, the links are incomprehensible. Heck, I understand the topic and yet find the link baffling. Remember that not everyone is blessed with tremendous mathematical intelligence. With regards to adding an example: I tried that once before and got my fingers burned. Id rather not spend time adding something that will get reverted. — Fly by Night (talk) 00:22, 11 September 2016 (UTC)
thread_title:  Finding the solution 

message: In the section 'Theorem statement', the article states "if the n_i are pairwise coprime" then we have the ring isomorphism \mathbb{Z}/N\mathbb{Z} \cong \mathbb{Z}/n_1\mathbb{Z} \times \cdots \times \mathbb{Z}/n_k\mathbb{Z}. I know from my group theory course that the n_i are coprime *if and only if* we have the *group* isomorphism. If this is also true for the ring isomorphism then I suggest it be added to the article. Similarly in the section 'Generalization to arbitrary rings', the article states "If the ideals are pairwise coprime, we have the isomorphism", and if this is necessary and sufficient as well then it should be included in the article.  — Preceding unsigned comment added by Joel Brennan (talk • contribs) 15:57, 25 April 2019 (UTC)
thread_title:  Is the coprime condition necessary and sufficient for the ring isomorphism? 

message: CLAIM:
Suppose that x and y are both solutions to all the congruences. As x and y give the same remainder, when divided by ni, their difference x − y is a multiple of each ni. As the ni are pairwise coprime, their product N also divides x − y
given N > 1 
given x,y < N 
then -N < x-y < N 
if x>y, 0 < x-y < N 
and 0 < (x-y) / N < 1 
so N does not "divide" (x-y)
if x<y, -N < x-y < 0 
and -1 < (x-y) / N < 0 
so N does not "divide" (x-y) 
if x=y, x-y = 0 
and (x-y) / N = 0 
so only in this case does N does "divide" (x-y)
it is better to simply say x is equivalent to y modulo N, x ≡ y (mod N)
— Preceding unsigned comment added by Nonki72 (talk • contribs) 21:32, 19 April 2020 (UTC)
replies: text: The first part of the uniqueness proof is to show that . This part of the proof does not require that  as you have assumed. The second part is to show that there is only one solution that is non-negative and less than . It is this that you have provided a correct proof for. The article just indicates that this is so without providing the details. The argument is simple and so there is justification for omitting it. As Wikipedia is an encyclopedia and not a math text (see WP:NOTTEXTBOOK) most proof details are not included.--Bill Cherowitzo  (talk) 22:45, 19 April 2020 (UTC)
thread_title:  Uniqueness 

message: In the introductory text, it says that CRT has been generalized to commutative rings with a formulation involving ideals. After reading this sentence, I thought there will be an entry about generalization to arbitrary commutative rings. But instead, there is only one entry about generalization to arbitrary (not necessarily commutative) rings.  — Preceding unsigned comment added by Vincent B. Hwang (talk • contribs) 05:37, 14 December 2021 (UTC)
replies: text: However, the commutative case is much more used that the non-commutative one, and this may explain this discrepancy. D.Lazard (talk) 11:26, 14 December 2021 (UTC)
thread_title:  Inconsistent scope of generalizations