La siguiente prueba proviene de la obra de J.P. May notas en línea sobre los anillos Dedekind. La pregunta es la siguiente.
Dejemos que I sea un ideal no nulo de un dominio Dedekind R . Demostrar que existe un ideal J tal que IJ es principal.
La prueba que se da allí es la siguiente: Sea I=Prii⋯Prnn , donde Pi son ideales máximos distintos y ri>0 . Por el teorema chino del resto, tenemos que R/I es el producto del R/Prii . Lo entiendo hasta este punto.
No entiendo cómo la CRT implica que si bi∈R−Pri+1i entonces existe un a∈R tal que a−bi∈Pri+1i para todos i .
Conozco el Teorema Chino del Resto como se da en la Proposición 1.10 de Atiyah-Macdonald.