Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 22 vistas

    Estructuras Algebraicas Final

    Cargado por

    Katalina Muñoz
    Este documento contiene varios ejercicios de álgebra conmutativa. El primer ejercicio prueba que si cada conjunto no vacío de submódulos finitamente generados de un módulo M tiene un elemento máximo, entonces M es noetheriano. Los ejercicios siguientes identifican qué anillos son noetherianos y prueban que las fibras de una aplicación específica entre espacios de especificaciones son subespacios noetherianos. Finalmente, el último ejercicio prueba la equivalencia entre tres proposiciones relacionadas con

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Estructuras Algebraicas Final

    Cargado por

    Katalina Muñoz
    22 vistas3 páginas
    Este documento contiene varios ejercicios de álgebra conmutativa. El primer ejercicio prueba que si cada conjunto no vacío de submódulos finitamente generados de un módulo M tiene un elemento máximo, entonces M es noetheriano. Los ejercicios siguientes identifican qué anillos son noetherianos y prueban que las fibras de una aplicación específica entre espacios de especificaciones son subespacios noetherianos. Finalmente, el último ejercicio prueba la equivalencia entre tres proposiciones relacionadas con

    Descripción original:

    estructuras

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento contiene varios ejercicios de álgebra conmutativa. El primer ejercicio prueba que si cada conjunto no vacío de submódulos finitamente generados de un módulo M tiene un elemento máximo, entonces M es noetheriano. Los ejercicios siguientes identifican qué anillos son noetherianos y prueban que las fibras de una aplicación específica entre espacios de especificaciones son subespacios noetherianos. Finalmente, el último ejercicio prueba la equivalencia entre tres proposiciones relacionadas con

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    22 vistas3 páginas

    Estructuras Algebraicas Final

    Cargado por

    Katalina Muñoz
    Este documento contiene varios ejercicios de álgebra conmutativa. El primer ejercicio prueba que si cada conjunto no vacío de submódulos finitamente generados de un módulo M tiene un elemento máximo, entonces M es noetheriano. Los ejercicios siguientes identifican qué anillos son noetherianos y prueban que las fibras de una aplicación específica entre espacios de especificaciones son subespacios noetherianos. Finalmente, el último ejercicio prueba la equivalencia entre tres proposiciones relacionadas con

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 3

    M.F Atiyah, I.G.Macdonald, Introduction to commutative Algebra.

    Capitulo 6, Ejercicio 2
    Katalina Muñoz
    Sea M un A-módulo. Si cada conjunto no vacı́o de submódulos finito generados
    de M tiene un elemento maximal, entonces M es noetheriano.
    Demostración: Sea M un A-modulo, tal que cada conjunto no vacı́o de
    submódulos finito generados de M tiene un elemento maximal.
    Ahora sea N un submodulo de M, y se la Φ el conjunto de todos los submodulos
    finitos generados por N. Como 0 ∈ Φ este es no vacı́o. Sea N 0 el elemento maximal
    de Φ. Como N 0 ∈ Φ, N 0 es finitamente generado.
    Si x ∈ N, entonces Ax + N 0 es un submodulo finitamente generado de N que
    contiene a N 0 . Luego, como N 0 es maximal, N 0 = Ax + N 0 . Como x es arbitrario,
    N = N 0 . Luego, todo submodulo de M es finitamente generado. Por lo tanto M,
    es noetheriano.

    1
    2

    Capitulo 7, Ejercicio 4
    Katalina Muñoz
    ¿Cuál de los siguientes anillos son Noetherianos?
    • El anillo de las funciones racionales de z que no tienen polos sobre el circulo
    |z| = 1.
    • El anillo de la series potenciales de z con un radio de convergencia positivo.
    • El anillo de series de potencias de z con radio de convergencia infinito.
    • El anillo de polinomios en z cuyas k primeras derivadas se anulan en el
    origén (siendo k un entero fijo).
    • El anillo de polinomios en z,w cuyas derivadas parciales con respecto a w
    se anulan todas para z = 0.
    En todos los casos los coeficientes son números complejos
    Solución:
    • Este anillo es isomorfo a el anillo de funciones racionales C(t), por lo tanto
    no es Noetheriano.
    • Este conjunto, no es un anillo, ya que no contiene las series de potencia de
    cero.
    • Este anillo es isomorfo a el anillo de todas las funciones racionales C(t), por
    lo tanto no es Noetheriano.
    • Este anillo es isomorfo a C[z], por lo tanto es Noetheriano.
    • Este anillo es isomorfo a C[z, w], por lo tanto es Noetheriano.

    Capitulo 7, Ejercicio 13
    Katalina Muñoz
    Sea f : A → B un homeomorfismo de anillos de tipo finito y sea:
    f ∗ : Spec(B) → Spec(A) la aplicación asociada a f . Probar que las fibras de f ∗
    son subespacios noetherianos de B.
    Teorema de los ceros, forma fuerte.
    Solución:
    La fibra de f ∗ en p ∈ Spec(B) es de la forma:
    Spec(k( p) ⊗A B) = Spec(Bp / p Bp ). Como f es infinita y A es Noetheriano, B
    también deberia ser Noetheriano, por lo tanto Bp / p Bp también lo es.
    Esto quiere decir que, Spec(Bp / p Bp ) es un subespacio Noerheriano de B.
    3

    Capitulo 8, Ejercicio 2
    Katalina Muñoz
    Sea A un anillo Noetheriano. Probar que las siguientes proposiciones son equiv-
    alentes:
    (a) A es artiniano.
    (b) Spec(A) es discreto y finito
    (c) Spec(A) es discreto.
    Demostración:
    • (a) ⇒ (b)
    Si A es Artiniano, entonces todos sus ideales primos son maximales,
    por lo tanto existe un numero finito de ideales primos, como el número
    de ideales maximales es necesariamente finito, por la proposición 8.3. Lo
    que implica que Spec(A) es finito. Como todo p ∈ Spec(A) es maximal,
    entonces tenemos que el punto {p} ∈ Spec(A) es cerrado, luego el Spec(A)
    es discreto.
    • (b) ⇒ (c)
    Si el Spec(A) es discreto y finito, luego el Spec(A) es discreto.
    • (c) ⇒ (a)
    Si el Spec(A) es discreto, entonces {p}, donde p es cualquier ideal primo,
    es cerrado, por lo tanto p es maximal en A. Lo cual implica que la dimesion
    de A es 0, y cualquier anillo Noetheriano de dimensión 0 es Artiniano, por
    Teorema 8.5.

    También podría gustarte