$$\varphi(mn)=\varphi(m)\varphi(n)$$

$$\varphi(mn)=\varphi(m)\varphi(n)$$

de Juan Agustín Rivero Szwaicer -
Número de respuestas: 1
Buenas! Quería preguntar sobre la demo de esto, que toma una función biyectiva f:C\rightarrow A\times B tal que f(c)=(a,b) donde a es el resto de dividir entre m y b lo mismo pero entre n. Quería consultar que para probar biyectividad parte de la base de que \forall (a,b)\in A\times B se cumple
 \left\{\begin{matrix}c\equiv a\:(\text{mod}\:m) \\c\equiv b\:(\text{mod}\:n)\end{matrix}\right. 
No entiendo bien cómo puede asumir eso.
En respuesta a Juan Agustín Rivero Szwaicer

Re: $$\varphi(mn)=\varphi(m)\varphi(n)$$

de Gabriel Mello -

Hola.


Que ese sistema tenga solución y sea única entre 0 y mn-1 es exactamente el enunciado del teorema chino del resto. Aparte de eso hay que probar que como a es coprimo con n y b es coprimo con m entonces c es coprimo con mn.


Saludos,

Gabriel