Diferencia entre revisiones de «Números coprimos»

Contenido eliminado Contenido añadido
Alfa2betha3 (discusión · contribs.)
m →‎Básicas: Se ha dicho que dos enteros son coprimos, por definición cuando su mcd es 1.
Alfa2betha3 (discusión · contribs.)
→‎Básicas: ajustando el texto al título
Línea 12:
* Si dos números enteros ''a'' y ''b'' son primos entre sí, entonces existen dos enteros ''x'' e ''y'' / ''a''·''x'' + ''b''·''y'' = 1. ([[Identidad de Bézout]])
 
* Si ''a'' y ''b'' son primoscoprimos, entre sí yademás ''a'' divide a unel producto ''bc'', entonces ''a'' divide a ''c''. ([[Lema de Euclides]])
 
* Los números enteros ''a'' y ''b'' son primoscoprimos entre sí cuando ''b'' tiene un [[Inverso multiplicativo|inverso]] para el producto [[congruencia|módulo]] ''a''; es decir, existe un número entero ''y'' tal que ''b''·''y'' ≡ 1 (mod ''a''). Una consecuencia de esto es que si ''a'' y ''b'' son primos entre sí y ''bm'' ≡ ''bn'' (mod ''a''), entonces ''m'' ≡ ''n'' (mod ''a''). Dicho de otra manera, ''b'' es simplificable en el [[Anillo (matemáticas)|anillo]] '''Z'''/''n'''''Z''' de los enteros módulo ''a''.
* Si los números naturales a y b son primoscoprimos entre sí, también lo son a<sup>2</sup>, ab, b<sup>2</sup>*
* Si los números enteros positivos m y n son coprimos, lo son también m, n, m+n