Clase del 28 de noviembre (2 horas)
Definimos la noción de «cuerpo» como un anillo de divisón conmutativo. Como ejemplos, mostramos que el anillo de los enteros no es un cuerpo (puesto que sus únicas unidades son 1 y -1) y que Q, R, C y Zp (con p primo) son cuerpos.
Como ejercicio, demostramos que una unidad en un anillo no puede ser divisor de cero.
Definimos las nociones de subanillo y subcuerpo, proporcionando una caracterización de cada una de ellas (Ejercicio 4.6).
Definimos también la noción de ideal de un anillo, proporcionando una caracterización en el Ejercicio 4.7. Como primeros ejemplos mostramos que los ideales de Z son nZ, con n∈Z.
Probamos que si un ideal contiene una unidad del anillo, entonces el ideal coincide con el anillo. Este resultado se usa a menudo en las demostraciones: para probar que un ideal I de un anillo A, suele demostrarse que 1∈I. Como consecuencia vemos que los únicos ideales de un anillo de división (en particular, de un cuerpo) son {0} y el propio anillo.
Hemos definido la suma de dos ideales y hemos probado que es un ideal. También hemos probado que la intersección de ideales es un ideal.
Hemos definido el concepto de ideal generado por un conjunto S (denotado por ⟨S⟩) como la intersección de todos los ideales que contienen a S (esto es un ideal por lo dicho en el párrafo anterior). Si I es un ideal de un anillo A tal que I=⟨S⟩ se dice que S es un sistema generador, o una base, de I.
Hemos demostrado que si A es un anillo conmutativo e I=⟨S⟩, donde S⊆A, entonces el ideal I coincide con el conjunto de todas las combinaciones lineales finitas de elementos de S con coeficientes en A.
Un ideal I de un anillo A se dice que es principal si puede ser generado por un solo elemento de A, es decir, si existe a∈A tal que I=⟨a⟩. Además, en el caso en que A sea conmutativo, por el párrafo anterior se tiene que ⟨a⟩=Aa=aA.
Hemos demostrado que, si A es un anillo conmutativo, a∈A y u es una unidad de A entonces ⟨a⟩=⟨ua⟩, es decir, un ideal principal no cambia si multiplicamos su generador por una unidad.
Hemos definido el concepto de anillo de ideales principales como un anillo en el que todos sus ideales son principales. Un anillo de ideales principales que es, además, un dominio de integridad, se dice que es un dominio de ideales principales. Un ejemplo es (Z,+,⋅).
Dado un anillo A y un ideal I de A, como (I,+) es un subgrupo de (A,+) (que es normal, al ser (A,+) abeliano), sabemos que (A/I,+) es un grupo (grupo cociente). Hemos visto que, además, A/I tiene estructura de anillo (que se denomina anillo cociente). Además, si A es conmutativo, A/I también lo es.
Finalmente, hemos visto la definición de homomorfismo de anillos.
Clase del 25 de noviembre (1 hora)
Comenzamos el capítulo 4: «Anillos. Anillos de polinomios». Definimos los conceptos de anillo, anillo con identidad y anillo conmutativo. Vimos algunos ejemplos y algunas propiedades básicas. También definimos el concepto de unidad de un anillo y de anillo de división. Probamos que el conjunto de las unidades de un anillo es un grupo (con la operación producto). Finalmente definimos el concepto de divisor de cero y de dominio de integridad.
Clase del 21 de noviembre (2 horas)
Se dedicó esta clase a resolver varios problemas del capítulo 2.
Clase del 18 de noviembre (1 hora)
Probamos que cualquier grupo cíclico infinito es isomorfo a (Z,+) y que cualquier grupo cíclico finito de orden n es isomorfo a (Zn,+). Por tanto, dos grupos cíclicos del mismo orden son isomorfos.
Dado un grupo G, definimos el grupo de automorfismos de G, Aut(G), y el concepto de automorfismo interno. Probamos que el conjunto Int(G) formado por los automorfismos internos de G es un subgrupo normal de Aut(G) y que, además, es isomorfo a G/Z(G).
Clase del 14 de noviembre (2 horas)
Demostramos el Teorema de Cayley, que afirma que cualquier grupo G es isomorfo a un subgrupo de SG (el grupo de permutaciones del conjunto G). En particular, se deduce que cualquier grupo finito de orden n es isomorfo a un subgrupo de Sn. Así pues, todos los grupos finitos «se realizan» como subgrupos de algún grupo simétrico Sn.
La demostración del Teorema de Cayley proporciona una descripción explícita del subgrupo de SG al que es isomorfo G. Como ejemplo, usando dicha descripción, encontramos una realización explícita del 4-grupo de Klein K4 como subgrupo de S4.
Finalmente demostramos los Teoremas de Isomorfía.
Clase del 11 de noviembre (1 hora)
Demostramos el Teorema de Correspondencia, que afirma que, dado un grupo G y un subrupo normal N, los subgrupos del grupo cociente G/N son exactamente aquellos de la forma K/N, siendo K un subgrupo de G que contiene a N.