Introducción El algoritmo de Euclides afirma que podemos aplicar iteradas veces el algoritmo de la división hasta encontrar el máximo común divisor de dos enteros positivos $a$ y $b$, mediante el siguiente procedimiento: Sean $a, b$ cualesquiera enteros positivos, con $a \neq b$ y $a > b.$Por el algoritmo de la división, sabemos que siempre
Tagenteros
Álgebra Superior II: Máximo Común Divisor
Introducción En esta entrada primero veremos qué significa que un entero $a$ divida a otro entero $b.$ Luego nos servirá recordar lo que es un ideal en $\mathbb{Z}$ para definir al “generado de $m$ y $n$,” como sigue: $$\langle {m,n} \rangle = \{nz_1 + mz_2 : z_1, z_2 \in \mathbb{Z} \}.$$ A partir de lo
Álgebra Superior II: Construcción de los números enteros
Introducción Las ecuaciones de la forma $a = b + x$ no siempre tienen solución en $\mathbb{N}$; tómese cualquier $a < b$, con $a,b \in \mathbb{N}$. Por ejemplo, no existe ninguna $x \in \mathbb{N}$ tal que $3 = 5 + x$. Ello es motivación suficiente para querer construir un conjunto de números, denotado $\mathbb{Z}$, donde