SlideShare uma empresa Scribd logo
1 de 23
EDUCACIÓN MATEMÁTICA



TEORÍA DE
NÚMEROS
DOCENTE: FABIO A. CONTRERAS ORÉ
•   TEOREMA DE LA DIVISIÓN EUCLIDEANA
•   IDEALES DE UN ANILLO
•   MCM Y MCD
•   ALGORITMOS PARA CALCULAR EL MCD Y EL MCM
•   EUCLIDES
•   Matemático griego (330 ac – 275 ac).
•   Su obra Elementos.
•   Elementos texto ejemplar.
•   Estableció una proposición matemática.
ALGORITMO
• Del latín, dixit algorithmus y éste a su vez del matemático
  persa al – Jwarizmi).
• Es una lista bien definida, ordenada y finita de operaciones
  que permiten hallar la solución a un problema.
• De entrada y salida.
• Algoritmo se diferencia de un programa.
• ALGORITMO DE EUCLIDES
• El algoritmo de Euclides es un método antiguo y práctico para
  calcular el máximo común divisor (MCD).
• Fue presentado en Elementos.
• ALGORITMO ORIGINAL DE EUCLIDES
• En la concepción griega de la matemática, los números se
  consideraban como magnitudes geométricas.
• Conmensurabilidad de los segmentos: dos segmentos
  (números) AB y CD son conmensurables cuando existe un
  tercer segmento PQ.
• En lenguaje moderno el algoritmo se presenta como :
• Dado dos segmentos AB y CD (con AB>CD), restamos CD de AB
  tantas veces como sea posible. Si no hay residuo, entonces CD
  es la máxima medida común.
• Si se obtiene un residuo EA, éste es menor que CD y podemos
  repetir el proceso restamos EA tantos veces como sea posible
  de CD. Si al final no queda un residuo. EA es la medida común.
  En caso contrario obtenemos un nuevo residuo FC menor a
  EA.
• El proceso se repite hasta que en algún momento no se
  obtiene residuo. Entonces el último residuo obtenido es la
  mayor medida común.
• ALGORITMO TRADICIONAL DE EUCLIDES
• Al dividir a entre b (números enteros), se obtiene un cociente
  q y un residuo r. Es posible demostrar que el máximo común
  divisor de a y b es el mismo que el de b y r (Sea c el máximo
  común divisor de a y b. Como a = bq + r y c divide también a r.
  Si existiera otro número mayor que c que divide a b y a
  r, también dividiría a a, por lo que c no sería el mcd de a y b, lo
  que contradice la hipótesis). Éste es el fundamento principal
  del algoritmo.
• Según lo antes mencionado, para calcular el máximo común
  divisor de 48 y 36 se procede de la siguiente manera:



    Paso       Operación               Significado
    1       48 entre 36 es 1 y sobra mcd(48;36)=mcd(36;12)
            12

    2       36 entre 12 es 3 y sobra mcd(36;12)=mcd(12;0)
            0
ALGORITMO DE LA DIVISIÓN
Definición:

• Dados los enteros a; b con b0 existen enteros q y r tales que
  a=bq+r y 0r|b|.


    TEOREMA:
    Para a y b dos enteros diferentes de cero, existen
    enteros únicos q y r tales que:
        a = bq + r, 0r|b|
• Demostración:
Si (a=bq1+r1, con 0r1b y a=bq2+r2 , con 0r2 b) → q1 = q2 y r1 = r2 .
Como a = bq1 + r1 y a = bq2 + r2
 → (bq1 + r1 ) = (bq2 + r2 )
→ (bq1 – bq2 ) = (r2 – r1 )
→ b(q1 – q2 ) = (r2 – r1 )
Es decir (r2 – r1 ) es divisible por b, pero 0 r1 b y 0r2 b, es decir, que
no existe múltiplo alguno entre 0 y b, se tiene que (r2 – r1 ) = 0 de
donde se deduce que r1 = r2, por tanto            b(q1 – q2 )=0, pero como
b0, entonces (q1 – q2 )=0, de donde q1 = q2 .
TEOREMA:
• Todo entero que divide a otros dos, divide al residuo de la
  división de éstos.

Ejemplo:
• Sea 7 que divide a un dividendo 49 y aun divisor 35. Como el
  residuo de dividir 49 entre 35 es 14, luego 7 divide a 14.
TEOREMA:
• Si dos enteros divididos por un tercero dan residuos iguales, la
  diferencia de estos dos números es divisible por el tercero.



 APLICACIONES
 Juanito sale de casa con varios caramelos y vuelve sin ninguno.
 Su madre le pregunta qué ha hecho con ellos. Juanito responde:
 A cada amigo le di la mitad de los caramelos que llevaba más
 uno. ¿Con cuántos amigos te encontraste), respondió: con 6.
 Determina con cuántos caramelos salió Juanito.
• En el mes de junio del 2012, Pedro suma al número de los
  años que vivió, el número de meses vividos, obteniendo 315.
  ¿En qué año y mes nació Pedro?
• CONSECUENCIA INMEDIATA DE LA DIVISIÓN EUCLIDIANA
• Una consecuencia inmediata de la división euclidiana es la
  posibilidad de representar un número entero en un sistema de
  numeración posicional en una base determinada.
•   Ejemplo:
•   Representar 35 en base 4.
•   105 = 26(4) + 1 … (1)
•   26 = 6(4) + 2 … (2)
•    6 = 1(4) + 2 … (3)
•   Reemplazando (2) en (1):
•   105=[6(4)+2](4)+1=6(42)+2(4)+1 … (4)
•   Reemplazando (3) en (4):
•   105=[1(4)+2](42)+2(4)+1=1(43)+2(42)+2(4)+1
•   Que en forma abreviada, en base 4 se representa:
•      105 = 1221(4)
IDEAL DE UN ANILLO
• La teoría de los ideales fue creada por Richard Dedekind
  – matemático alemán - hacia el final del siglo XIX.
• Un ideal es una estructura algebraica definida en un
  anillo.


    «Los ideales generalizan de manera fecunda el estudio de la
   divisibilidad en los números enteros. De este modo, es posible
     enunciar versiones muy generales de teoremas aritméticos
         tales como el teorema chino del resto o el teorema
       fundamental de la aritmética, válidos para los ideales».
                                                 http://es.wikipedia.org
Definición
• Dado un anillo A, I    A es ideal si:

     i. I es subanillo de A
     ii.   x A, a I xa                I y xa I


       Un subanillo B de A, es un subconjunto B ⊂ A que es
       anillo con las operaciones heredadas de A.
       Es decir:

        (x - y) B
        xy B
Teoremas
•
Ideal principal
• Un ideal principal es un ideal generado por un único
  elemento. Si R es un anillo conmutativo y a es un
  elemento de R, el ideal principal generado por a es el
  conjunto




• Teorema:

  Todos los ideales de ℤ son principales.
Maximal
• Un ideal M de un anillo A se dice maximal si y solo si M
  A y para todo ideal N de A, si M N A, entonces N =
  A.
  Es decir, un ideal es maximal si no está contenido en
  ningún otro ideal trivial.


 Teorema:

  Si M es un ideal de ℤ, entonces M es maximal si y sólo si
  M = pℤ, para algún p primo.
Corolario
•



    Ejemplo:

    Hallar el mínimo común múltiplo de 12 y 15

     12 = 12ℤ = … -72, -60, -48, -36, -24, -12, 0, 12, 24, 36, 48, 60, 72, 84, …
     15 = 15ℤ = … -90, -75, -60, -45, -30, -15, 0, 15, 30, 45, 60, 75, 90, 105, …
    12ℤ ∩ 15ℤ = … -240, -180, -120, -60, 0, 60, 120, 180, 240, …

    Luego 60 es el mínimo común múltiplo de 12 y 15. Es decir, 60 = ⦋12; 15 ⦋
• Teorema:

El conjunto aℤ + bℤ de todas las combinaciones lineales de a y b, es
un ideal de ℤ. Es decir:

aℤ + bℤ = am + bm; m, n      ℤ es un ideal de ℤ.

• Teorema:

El generador del ideal aℤ + bℤ es el máximo común divisor de los
generadores de los ideales aℤ y bℤ, además el máximo común
divisor de dos enteros a y b es la menor combinación lineal de a y b.

Mais conteúdo relacionado

Mais procurados

Limites: problemas resueltos
Limites: problemas resueltosLimites: problemas resueltos
Limites: problemas resueltosChristiam3000
 
Presentación teorema de lagrange
Presentación teorema de lagrangePresentación teorema de lagrange
Presentación teorema de lagrangeLorena Maribel'
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicastanato153
 
Semana1 sucesiones y criterio de convergencia
Semana1 sucesiones y criterio de convergenciaSemana1 sucesiones y criterio de convergencia
Semana1 sucesiones y criterio de convergenciaMoises De La Cruz
 
Eliminación de Gauss-Jordan y Inversas
Eliminación de Gauss-Jordan y InversasEliminación de Gauss-Jordan y Inversas
Eliminación de Gauss-Jordan y InversasSirTikyMikk
 
Resolviendo problemas de composicion de funciones en Algebra Superior
Resolviendo problemas de composicion de funciones en Algebra SuperiorResolviendo problemas de composicion de funciones en Algebra Superior
Resolviendo problemas de composicion de funciones en Algebra SuperiorGuzano Morado
 
Ejercicios de complejos
Ejercicios de complejosEjercicios de complejos
Ejercicios de complejosNorman Rivera
 
Demostración números reales
Demostración números realesDemostración números reales
Demostración números realesElias Ñanculao
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosAngel Brito
 
Guia de ejercicios metodos de integracion
Guia de ejercicios metodos de integracionGuia de ejercicios metodos de integracion
Guia de ejercicios metodos de integracionAntonio Leopardi
 
Probabilidad de las jugadas del poker
Probabilidad de las jugadas del pokerProbabilidad de las jugadas del poker
Probabilidad de las jugadas del pokerpedrotiago90
 
Diapositivas algebra grupo#1
Diapositivas algebra grupo#1Diapositivas algebra grupo#1
Diapositivas algebra grupo#1juankms
 
G.normales
G.normalesG.normales
G.normalesroyhq15
 

Mais procurados (20)

Operaciones con radicales suma y resta
Operaciones con radicales   suma y restaOperaciones con radicales   suma y resta
Operaciones con radicales suma y resta
 
Limites: problemas resueltos
Limites: problemas resueltosLimites: problemas resueltos
Limites: problemas resueltos
 
Conjuntos Juan
Conjuntos JuanConjuntos Juan
Conjuntos Juan
 
Grupos, anillos y cuerpos
Grupos, anillos y cuerposGrupos, anillos y cuerpos
Grupos, anillos y cuerpos
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
Presentación teorema de lagrange
Presentación teorema de lagrangePresentación teorema de lagrange
Presentación teorema de lagrange
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
Semana1 sucesiones y criterio de convergencia
Semana1 sucesiones y criterio de convergenciaSemana1 sucesiones y criterio de convergencia
Semana1 sucesiones y criterio de convergencia
 
Eliminación de Gauss-Jordan y Inversas
Eliminación de Gauss-Jordan y InversasEliminación de Gauss-Jordan y Inversas
Eliminación de Gauss-Jordan y Inversas
 
Números complejos pro
Números complejos   proNúmeros complejos   pro
Números complejos pro
 
Resolviendo problemas de composicion de funciones en Algebra Superior
Resolviendo problemas de composicion de funciones en Algebra SuperiorResolviendo problemas de composicion de funciones en Algebra Superior
Resolviendo problemas de composicion de funciones en Algebra Superior
 
Ejercicios de complejos
Ejercicios de complejosEjercicios de complejos
Ejercicios de complejos
 
Demostración números reales
Demostración números realesDemostración números reales
Demostración números reales
 
Teoría de Grafos.
Teoría de Grafos.Teoría de Grafos.
Teoría de Grafos.
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Guia de ejercicios metodos de integracion
Guia de ejercicios metodos de integracionGuia de ejercicios metodos de integracion
Guia de ejercicios metodos de integracion
 
Operaciones con funciones
Operaciones con funcionesOperaciones con funciones
Operaciones con funciones
 
Probabilidad de las jugadas del poker
Probabilidad de las jugadas del pokerProbabilidad de las jugadas del poker
Probabilidad de las jugadas del poker
 
Diapositivas algebra grupo#1
Diapositivas algebra grupo#1Diapositivas algebra grupo#1
Diapositivas algebra grupo#1
 
G.normales
G.normalesG.normales
G.normales
 

Semelhante a Teoría de números: Ideales, MCD, algoritmos de Euclides

Olimpiadas2
Olimpiadas2Olimpiadas2
Olimpiadas2jqi
 
ARITMETICA_ENTERA.pdf
ARITMETICA_ENTERA.pdfARITMETICA_ENTERA.pdf
ARITMETICA_ENTERA.pdfBietka Satin
 
Introduccion matematica
Introduccion matematica Introduccion matematica
Introduccion matematica Medardo Galindo
 
Identidades trigonometricas
Identidades trigonometricasIdentidades trigonometricas
Identidades trigonometricasRosa E Padilla
 
Clase 1. Matematica. 07-06-2022.pptx
Clase 1. Matematica. 07-06-2022.pptxClase 1. Matematica. 07-06-2022.pptx
Clase 1. Matematica. 07-06-2022.pptxJuanUgas2
 
cjtos-numc3a9ricos.ppt
cjtos-numc3a9ricos.pptcjtos-numc3a9ricos.ppt
cjtos-numc3a9ricos.pptyojanersanjuan
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSJose Ojeda
 
Mate nivelatoria semana1
Mate nivelatoria semana1Mate nivelatoria semana1
Mate nivelatoria semana1Medardo Galindo
 
Resolución de Ecuaciones de Segundo grado usando Factorizacion ccesa007
Resolución de Ecuaciones de Segundo grado usando Factorizacion  ccesa007Resolución de Ecuaciones de Segundo grado usando Factorizacion  ccesa007
Resolución de Ecuaciones de Segundo grado usando Factorizacion ccesa007Demetrio Ccesa Rayme
 
Invitación a la Geometría Aritmética (Vía las Conjeturas de Weil) Smm tn-2016
Invitación a la Geometría Aritmética (Vía las Conjeturas de Weil) Smm tn-2016Invitación a la Geometría Aritmética (Vía las Conjeturas de Weil) Smm tn-2016
Invitación a la Geometría Aritmética (Vía las Conjeturas de Weil) Smm tn-2016J. Rogelio Yoyontzin Perez Buendia
 
ECUACIONES SEMANA 3 DERECHO.pptx
ECUACIONES  SEMANA 3 DERECHO.pptxECUACIONES  SEMANA 3 DERECHO.pptx
ECUACIONES SEMANA 3 DERECHO.pptxguapito2
 

Semelhante a Teoría de números: Ideales, MCD, algoritmos de Euclides (20)

Olimpiadas2
Olimpiadas2Olimpiadas2
Olimpiadas2
 
Sistemas Difusos
Sistemas DifusosSistemas Difusos
Sistemas Difusos
 
ARITMETICA_ENTERA.pdf
ARITMETICA_ENTERA.pdfARITMETICA_ENTERA.pdf
ARITMETICA_ENTERA.pdf
 
Introduccion matematica
Introduccion matematica Introduccion matematica
Introduccion matematica
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Identidades trigonometricas
Identidades trigonometricasIdentidades trigonometricas
Identidades trigonometricas
 
Logicayconjuntos
LogicayconjuntosLogicayconjuntos
Logicayconjuntos
 
Clase 1. Matematica. 07-06-2022.pptx
Clase 1. Matematica. 07-06-2022.pptxClase 1. Matematica. 07-06-2022.pptx
Clase 1. Matematica. 07-06-2022.pptx
 
cjtos-numc3a9ricos.ppt
cjtos-numc3a9ricos.pptcjtos-numc3a9ricos.ppt
cjtos-numc3a9ricos.ppt
 
conjuntos numéricos en fundamentos .ppt
conjuntos numéricos en fundamentos  .pptconjuntos numéricos en fundamentos  .ppt
conjuntos numéricos en fundamentos .ppt
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
 
Mate nivelatoria semana1
Mate nivelatoria semana1Mate nivelatoria semana1
Mate nivelatoria semana1
 
Resolución de Ecuaciones de Segundo grado usando Factorizacion ccesa007
Resolución de Ecuaciones de Segundo grado usando Factorizacion  ccesa007Resolución de Ecuaciones de Segundo grado usando Factorizacion  ccesa007
Resolución de Ecuaciones de Segundo grado usando Factorizacion ccesa007
 
Invitación a la Geometría Aritmética (Vía las Conjeturas de Weil) Smm tn-2016
Invitación a la Geometría Aritmética (Vía las Conjeturas de Weil) Smm tn-2016Invitación a la Geometría Aritmética (Vía las Conjeturas de Weil) Smm tn-2016
Invitación a la Geometría Aritmética (Vía las Conjeturas de Weil) Smm tn-2016
 
combinatoria.pdf
combinatoria.pdfcombinatoria.pdf
combinatoria.pdf
 
ECUACIONES SEMANA 3 DERECHO.pptx
ECUACIONES  SEMANA 3 DERECHO.pptxECUACIONES  SEMANA 3 DERECHO.pptx
ECUACIONES SEMANA 3 DERECHO.pptx
 
Letras 2009 1
Letras 2009 1Letras 2009 1
Letras 2009 1
 
Letras 2009 1-UNI
Letras 2009 1-UNILetras 2009 1-UNI
Letras 2009 1-UNI
 
Clase8 minisem
Clase8 minisemClase8 minisem
Clase8 minisem
 
Aritmética
AritméticaAritmética
Aritmética
 

Teoría de números: Ideales, MCD, algoritmos de Euclides

  • 2. TEOREMA DE LA DIVISIÓN EUCLIDEANA • IDEALES DE UN ANILLO • MCM Y MCD • ALGORITMOS PARA CALCULAR EL MCD Y EL MCM
  • 3. EUCLIDES • Matemático griego (330 ac – 275 ac). • Su obra Elementos. • Elementos texto ejemplar. • Estableció una proposición matemática.
  • 4. ALGORITMO • Del latín, dixit algorithmus y éste a su vez del matemático persa al – Jwarizmi). • Es una lista bien definida, ordenada y finita de operaciones que permiten hallar la solución a un problema. • De entrada y salida. • Algoritmo se diferencia de un programa.
  • 5. • ALGORITMO DE EUCLIDES • El algoritmo de Euclides es un método antiguo y práctico para calcular el máximo común divisor (MCD). • Fue presentado en Elementos.
  • 6. • ALGORITMO ORIGINAL DE EUCLIDES • En la concepción griega de la matemática, los números se consideraban como magnitudes geométricas. • Conmensurabilidad de los segmentos: dos segmentos (números) AB y CD son conmensurables cuando existe un tercer segmento PQ.
  • 7. • En lenguaje moderno el algoritmo se presenta como : • Dado dos segmentos AB y CD (con AB>CD), restamos CD de AB tantas veces como sea posible. Si no hay residuo, entonces CD es la máxima medida común. • Si se obtiene un residuo EA, éste es menor que CD y podemos repetir el proceso restamos EA tantos veces como sea posible de CD. Si al final no queda un residuo. EA es la medida común. En caso contrario obtenemos un nuevo residuo FC menor a EA. • El proceso se repite hasta que en algún momento no se obtiene residuo. Entonces el último residuo obtenido es la mayor medida común.
  • 8. • ALGORITMO TRADICIONAL DE EUCLIDES • Al dividir a entre b (números enteros), se obtiene un cociente q y un residuo r. Es posible demostrar que el máximo común divisor de a y b es el mismo que el de b y r (Sea c el máximo común divisor de a y b. Como a = bq + r y c divide también a r. Si existiera otro número mayor que c que divide a b y a r, también dividiría a a, por lo que c no sería el mcd de a y b, lo que contradice la hipótesis). Éste es el fundamento principal del algoritmo.
  • 9. • Según lo antes mencionado, para calcular el máximo común divisor de 48 y 36 se procede de la siguiente manera: Paso Operación Significado 1 48 entre 36 es 1 y sobra mcd(48;36)=mcd(36;12) 12 2 36 entre 12 es 3 y sobra mcd(36;12)=mcd(12;0) 0
  • 10. ALGORITMO DE LA DIVISIÓN Definición: • Dados los enteros a; b con b0 existen enteros q y r tales que a=bq+r y 0r|b|. TEOREMA: Para a y b dos enteros diferentes de cero, existen enteros únicos q y r tales que: a = bq + r, 0r|b|
  • 11. • Demostración: Si (a=bq1+r1, con 0r1b y a=bq2+r2 , con 0r2 b) → q1 = q2 y r1 = r2 . Como a = bq1 + r1 y a = bq2 + r2 → (bq1 + r1 ) = (bq2 + r2 ) → (bq1 – bq2 ) = (r2 – r1 ) → b(q1 – q2 ) = (r2 – r1 ) Es decir (r2 – r1 ) es divisible por b, pero 0 r1 b y 0r2 b, es decir, que no existe múltiplo alguno entre 0 y b, se tiene que (r2 – r1 ) = 0 de donde se deduce que r1 = r2, por tanto b(q1 – q2 )=0, pero como b0, entonces (q1 – q2 )=0, de donde q1 = q2 .
  • 12. TEOREMA: • Todo entero que divide a otros dos, divide al residuo de la división de éstos. Ejemplo: • Sea 7 que divide a un dividendo 49 y aun divisor 35. Como el residuo de dividir 49 entre 35 es 14, luego 7 divide a 14.
  • 13. TEOREMA: • Si dos enteros divididos por un tercero dan residuos iguales, la diferencia de estos dos números es divisible por el tercero. APLICACIONES Juanito sale de casa con varios caramelos y vuelve sin ninguno. Su madre le pregunta qué ha hecho con ellos. Juanito responde: A cada amigo le di la mitad de los caramelos que llevaba más uno. ¿Con cuántos amigos te encontraste), respondió: con 6. Determina con cuántos caramelos salió Juanito.
  • 14. • En el mes de junio del 2012, Pedro suma al número de los años que vivió, el número de meses vividos, obteniendo 315. ¿En qué año y mes nació Pedro?
  • 15. • CONSECUENCIA INMEDIATA DE LA DIVISIÓN EUCLIDIANA • Una consecuencia inmediata de la división euclidiana es la posibilidad de representar un número entero en un sistema de numeración posicional en una base determinada.
  • 16. Ejemplo: • Representar 35 en base 4. • 105 = 26(4) + 1 … (1) • 26 = 6(4) + 2 … (2) • 6 = 1(4) + 2 … (3) • Reemplazando (2) en (1): • 105=[6(4)+2](4)+1=6(42)+2(4)+1 … (4) • Reemplazando (3) en (4): • 105=[1(4)+2](42)+2(4)+1=1(43)+2(42)+2(4)+1 • Que en forma abreviada, en base 4 se representa: • 105 = 1221(4)
  • 17. IDEAL DE UN ANILLO • La teoría de los ideales fue creada por Richard Dedekind – matemático alemán - hacia el final del siglo XIX. • Un ideal es una estructura algebraica definida en un anillo. «Los ideales generalizan de manera fecunda el estudio de la divisibilidad en los números enteros. De este modo, es posible enunciar versiones muy generales de teoremas aritméticos tales como el teorema chino del resto o el teorema fundamental de la aritmética, válidos para los ideales». http://es.wikipedia.org
  • 18. Definición • Dado un anillo A, I A es ideal si: i. I es subanillo de A ii. x A, a I xa I y xa I Un subanillo B de A, es un subconjunto B ⊂ A que es anillo con las operaciones heredadas de A. Es decir:  (x - y) B  xy B
  • 20. Ideal principal • Un ideal principal es un ideal generado por un único elemento. Si R es un anillo conmutativo y a es un elemento de R, el ideal principal generado por a es el conjunto • Teorema:  Todos los ideales de ℤ son principales.
  • 21. Maximal • Un ideal M de un anillo A se dice maximal si y solo si M A y para todo ideal N de A, si M N A, entonces N = A. Es decir, un ideal es maximal si no está contenido en ningún otro ideal trivial. Teorema: Si M es un ideal de ℤ, entonces M es maximal si y sólo si M = pℤ, para algún p primo.
  • 22. Corolario • Ejemplo: Hallar el mínimo común múltiplo de 12 y 15 12 = 12ℤ = … -72, -60, -48, -36, -24, -12, 0, 12, 24, 36, 48, 60, 72, 84, … 15 = 15ℤ = … -90, -75, -60, -45, -30, -15, 0, 15, 30, 45, 60, 75, 90, 105, … 12ℤ ∩ 15ℤ = … -240, -180, -120, -60, 0, 60, 120, 180, 240, … Luego 60 es el mínimo común múltiplo de 12 y 15. Es decir, 60 = ⦋12; 15 ⦋
  • 23. • Teorema: El conjunto aℤ + bℤ de todas las combinaciones lineales de a y b, es un ideal de ℤ. Es decir: aℤ + bℤ = am + bm; m, n ℤ es un ideal de ℤ. • Teorema: El generador del ideal aℤ + bℤ es el máximo común divisor de los generadores de los ideales aℤ y bℤ, además el máximo común divisor de dos enteros a y b es la menor combinación lineal de a y b.