Tema 1.- Nociones preliminares: grupos, anillos, cuerpos. Divisibilidad

Documentos relacionados
Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones.

Tema 8.- Anillos y cuerpos

Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo.

Tema 7.- Divisibilidad. Dominios de factorización única. Lema de Gauss.

Tema 1. Anillos e ideales. Operaciones. Divisibilidad

Capítulo 3: El anillo de los números enteros

Capítulo 3: El anillo de los números enteros

Tema 6.- Nociones preliminares: anillos, cuerpos. Anillos de polinomios

LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

Estructuras Algebraicas

Anillos y Cuerpos. a(b + c) = ab + ac (a + b)c = ac + bc

Anillos. a + (b + c) = (a + b) + c. 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que. a + 0 = 0 + a = a para todo a en R.

Anillos. 3.1 Anillos. a b c d e a a a a a a b a b c d e c a c e b d d a d b e c e a e d c b

Preliminares. 1. Notación simbólica. Conjuntos. También se da en el curso de Conjuntos y Numeros.

(n, a)(m, b) = (nm, ma + nb) (a, b) + (c, d) = (a + c, b + d) y (a, b)(c, d) = (ac, bd)

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).

ÍNDICE INTRODUCCIÓN... 9 INSTRUCCIONES PARA EL LECTOR... 13

Estructuras algebraicas Grado en Matemáticas. Curso 2013/2014. Apuntes de teoría. Departamento de Álgebra Universidad de Sevilla

Ampliación Matemática Discreta. Justo Peralta López

Introducción a la Teoría de Códigos

Álgebra Básica. Eugenio Miranda Palacios Leyes de composición. Estructuras algebraicas.

Estructuras algebraicas. Departamento de Álgebra. Apuntes de teoría

Álgebra. Curso

MÉTODOS MATEMÁTICOS DE LA FÍSICA I

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición

una aplicación biyectiva h : A A.

Capítulo 3: El anillo de los números enteros

1 Introducción al Álgebra conmutativa

Tema 2: Introducción a la teoría de grupos

En un anillo la operación de multiplicación no siempre tiene un elemento como el 0 de la adición.

Estructuras algebraicas

14/02/2017. TEMA 3: EL CUERPO DE LOS NUMEROS REALES Esp. Prof. Liliana N. Caputo

UNIDAD 5 : ESTRUCTURAS ALGEBRAICAS

Anillos de Galois. XXVII Escuela Venezolana de Matemáticas EMALCA. Edgar Martínez-Moro Sept. 2014

CONJUNTOS. Los conjuntos son conceptos primitivos que representan una totalidad, una reunión de cosas.

Grupos libres. Presentaciones.

Polinomios (lista de problemas para examen)

Capítulo 4: Conjuntos

Capítulo 4: Polinomios

Extensiones algebraicas. Cuerpos de descomposición.

Un elemento de un monoide se dice que es inversible si tiene elemento inverso.

Cuerpos Finitos. XXVII Escuela Venezolana de Matemáticas EMALCA. Edgar Martínez-Moro Sept. 2014

Veamos que la operación multiplicación heredada de Z m es interna:

Tema 1: Fundamentos.

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.

Dominios euclídeos. Enteros de Gauss.

UNIVERSIDAD AUTÓNOMA CHAPINGO DIVISIÓN DE CIENCIAS FORESTALES CARRERA DE: Licenciado en Estadística PROGRAMA DE LA ASIGNATURA DE ÁLGEBRA SUPERIOR

Divisibilidad en Z. Apéndice A. A.0 Subgrupos de Z

0. Enteros. 10. Prueba que el cuadrado de todo número impar deja resto 1 al dividirlo por 8. es un número entero.

TEMA 5: NÚMEROS RACIONALES ÍNDICE:

Aritmética Entera MATEMÁTICA DISCRETA I. F. Informática. UPM. MATEMÁTICA DISCRETA I () Aritmética Entera F. Informática.

Dado un conjunto A, llamamos operación binaria interna o ley de composición interna a cualquier función de A A en A. [1] [1] [0]

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2018

Introducción a la Teoría de Códigos

CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS.

Notas sobre polinomios

Ejercicios de Estructuras Algebraicas 1

Álgebra. Curso

Álgebra Básica. Departamento de Álgebra (2n 1) = n 2,

Álgebra y estructuras finitas/discretas (Grupos A)

Estructuras algebraicas

Álgebra Básica. Departamento de Álgebra.

La estructura de un cuerpo finito.

6.1 Teorema de estructura de los módulos finitamente generados

Ejemplo No. 2 Empleando esta notación, los conjuntos del ejemplo anterior se pueden escribir como:

4.1 Anillo de polinomios con coeficientes en un cuerpo

Capítulo 4: Polinomios

Capítulo 4: Polinomios

Conjuntos relaciones y grupos

9 Grupos abelianos libres

Capítulo 4: Polinomios

1. Dominio de integridad: Si a, b son enteros, y a 0, b 0 entonces

Tema 2 Aritmética modular

Conjuntos, Aplicaciones y Relaciones

Aritmética Modular MATEMÁTICA DISCRETA I. F. Informática. UPM. MATEMÁTICA DISCRETA I () Aritmética Modular F. Informática.

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros

EL TEOREMA DE SEIFERT-VAN KAMPEN. 1. Preliminares sobre grupos

Homomorfismos de cuerpos. Extensiones normales. Teorema fundamental de la teoría de Galois.

6.1. Anillos de polinomios.

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

NOTAS DE TRABAJO, 6 ÁLGEBRA CONMUTATIVA:

Álgebra básica Soluciones del examen de segunda convocatoria Curso 2016/ de septiembre de 2017

Algebra Abstracta. 28 de diciembre de 2007

Teoría de Anillos y Campos

Peter Ludwig Mejdell Sylow, matemático noruego ( ).

ÁLGEBRA II (LSI PI) UNIDAD Nº 3 ESTRUCTURAS ALGEBRAICAS: GRUPO - CUERPO - ÁLGEBRA DE BOOLE. SUBESTRUCTURAS ALGEBRAICAS - HOMOMORFISMOS.

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Polinomios

5. Determine todos los elementos de los conjuntos: a. {m Z mn = 30, para algún n Z}

3. Grupos. Manuel Palacios. Departamento de Matemática Aplicada Centro Politécnico Superior Universidad de Zaragoza

LEYES, ESTRUCTURAS BÁSICAS Y COCIENTES ANILLOS Y CUERPOS

Para mensajes:

Teorema de Wedderburn-Artin. Escuela Precimpa Coclé. Panamá. Dolores Martín Barquero

Transcripción:

Tema 1.- Nociones preliminares: grupos, anillos, cuerpos. Divisibilidad 1.1 Grupos Al haber alterado el orden de los temas, este apartado ya se ha visto en el tema 9 1.2 Anillos y cuerpos Definición 1.2.1. Un anillo es una terna (A, +, ) formada por un conjunto A y dos operaciones binarias +, verificando: 1. El par (A, +) es un grupo abeliano, cuyo elemento neutro llamaremos normalmente cero (0). 2. La operación binaria es asociativa y tiene elemento neutro, que llamaremos normalmente uno (1). 3. La operación es distributiva a la derecha y a la izquierda respecto de la operación +, i.e. para todos x, y, z A, se tiene (x + y) z = x z + y z, x (y + z) = x y + x z. Si además la operación es conmutativa, diremos que el anillo es conmutativo. Nota 1.2.2. 1. En general se usará la expresión sea A un anillo, sobreentendiendo las operaciones. La operación se notará normalmente por simple yuxtaposición. 2. En un anillo A se tiene 0 x = x 0 = 0 para todo x A. 3. Si en un anillo A se tiene 1 = 0, entonces A = {0}. 4. Para todo x, y A, ese tiene x( y) = ( x)y = (xy). 5. Si A 1,..., A n son anillos, el producto cartesiano A 1 A n posee una estructura natural de anillo, donde las operaciones están definidas componente a componente. Ejemplo 1.2.3. 1. Z, Q, R, C son anillos conmutativos. La estructura de anillo de Z viene determinada por la de grupo aditivo: el producto de dos enteros xy coincide con el múltiplo de y con coeficiente x. Así pues, la estructura de anillo de Z no añade nada nuevo a la de grupo. Esto es falso para Q, R y C en los que, obviamente, la estructura multiplicativa no viene determinada por la aditiva. 1

2. El conjunto M(n) de las matrices n n sobre Q, R o C es un anillo, con respecto a la adición y la multiplicación ordinaria de matrices. No es conmutativo. 3. En el grupo (Z n, +) (ver ejemplo 9.1.3, 5) podemos definir un producto de la siguiente manera: (a, b) Z n Z n a b := resto de la división de ab entre n. De esta forma Z n es un anillo. Definición 1.2.4. Sea A un anillo. Una unidad es un elemento que posee un simétrico multiplicativo (a la izquierda y a la derecha), que llamaremos inverso. El conjunto de las unidades de A es un grupo para el producto y se notará A. Un cuerpo es un anillo conmutativo tal que todo elemento distinto de cero es una unidad, i.e. A = A {0}. (En algunos textos también se llaman cuerpos aquellos anillos no necesariamente conmutativos tales que todos sus elementos no nulos son unidades. En otros textos a estos anillos se les llama anillos de división). Ejemplo 1.2.5. 1. Las unidades de Z son 1, 1. Los anillos Q, R, C son cuerpos. 2. El grupo de las unidades del anillo M(n, k) con k = Q, R ó C es GL(n, k). Definición 1.2.6. Sea A un anillo. Un subanillo de A es un subconjunto B A que es un subgrupo de (A, +), que es estable para la operación y tal que 1 B. Si A es un cuerpo, diremos que B es un subcuerpo de A si es un subanillo y además x 1 B para todo x B {0}. A partir de ahora sólo trabajaremos con anillos conmutativos. Así pues, la palabra anillo significará siempre anillo conmutativo. Definición 1.2.7. Sea A un anillo. Un elemento x A se llamará un divisor de cero si y sólo si es distinto de cero y existe y A, y 0, tal que xy = 0. Un anillo sin divisores de cero se llama un dominio de integridad. Un elemento x A se llamará nilpotente si es distinto de cero y existe un entero n > 0 tal que x n = 0. En un dominio de integridad se da la propiedad cancelativa por el producto de elementos no nulos: Ejemplo 1.2.8. a 0, ab = ac b = c. 1. Las unidades no son divisores de cero. Así, todo cuerpo es un dominio de integridad. 2. Z es un dominio de integridad. 2

3. El anillo Z 4 no es un dominio de integridad. El anillo Z 3 es un cuerpo. 4. El elemento 2 es nilpotente en Z 4. Definición 1.2.9. Sea A un anillo. Un ideal de A es un subconjunto I de A que verifica: 1. I es un subgrupo del grupo aditivo de A. 2. Para todo a I, x A se tiene xa I. Nota 1.2.10. Sea I A un ideal de A. Se tiene: 1. Si I contiene una unidad, entonces I = A. 2. Si A es un cuerpo, sus únicos ideales son {0} y A. 3. El grupo cociente A/I admite una estructura canónica de anillo. En efecto, basta ver que la fórmula (a + I)(b + I) = ab + I define una operación en A/I. Si a+i = a +I y b+i = b +I es a a I, y b b I. Así ab a b = ab ab + ab a b = a(b b ) + (a a )b I, lo que prueba nuestro aserto. 4. Los ideales de Z y los subgrupos son la misma cosa, pues la estructura multiplicativa viene determinada por la aditiva. Definición 1.2.11. Si A es un anillo y a 1,..., a n A, el conjunto (a 1,..., a n ) := {x 1 a 1 + + x n a n x 1,..., x n A} es un ideal de A, que se llama engendrado por el conjunto de las a i. Si n = 1, el ideal de llama principal. Todo ideal de Z es principal. Definición 1.2.12. Sean A, B anillos, f : A B una aplicación. Se dirá que f es un homomorfismo de anillos si verifica: 1. Para todos x, y A, es f(x + y) = f(x) + f(y). 2. Para todos x, y A, es f(xy) = f(x)f(y). 3. f(1) = 1. Un homomorfismo biyectivo se llama un isomorfismo. Proposición 1.2.13. Sea f : A B un homomorfismo de anillos. Se tienen las siguientes propiedades: 3

1. ker(f) := {a A f(a) = 0} es un ideal de A, y f es inyectivo si y sólo si ker(f) = {0}. 2. Si u A es una unidad, entonces f(u) es una unidad en B. En particular cualquier homomorfismo (de anillos) entre cuerpos es inyectivo. 3. Im(f) = {b B a A, f(a) = b} es un subanillo de B. 1.3 Divisibilidad Definición 1.3.1. Sea A un dominio de integridad. 1. Sean a, b A, con a 0. Se dirá que a divide a b, o que a es un divisor de b si existe c A tal que b = ac. Este elemento c es único por ser A un dominio de integridad, y se le designará por b/a. También se dirá, en este caso, que b es divisible por a. Se escribirá a b para designar esta relación. Es evidente que una unidad divide a cualquier otro elemento de A. 2. Se dirá que a y b, con a, b 0, son asociados si y sólo si a b y b a. En este caso se puede escribir b = ac y a = bc, luego a = acc, de donde a(1 cc ) = 0, y así cc = 1. De aquí se ve ya fácilmente que a, b son asociados si y sólo si uno de ellos es igual al otro multiplicado por una unidad. 3. Sean a, b A distintos de cero. Un máximo común divisor de a y b es un elemento d A que verifica: (a) d a y d b. (b) Si d A es tal que d a y d b, entonces d d. De lo anterior se deduce que, si d, d son dos máximos comunes divisores de a, b, entonces d d y d d, luego son asociados. Así pues, el máximo común divisor de a, b está unívocamente determinado, salvo producto por unidades, y se escribe m.c.d.(a, b). 4. Sean a, b A, distintos de cero. Un mínimo común múltiplo de a y b es un elemento m A que verifica: (a) a m y b m. (b) Si m A es tal que a m y b m, entonces m m. De lo anterior se deduce que, si m, m son dos mínimos comunes múltiplos de a, b, entonces m m y m m, luego son asociados. Así pues, el mínimo común múltiplo de a, b está unívocamente determinado, salvo producto por unidades, y se escribe m.c.m.(a, b). 5. Un elemento p A se llama irreducible si sólo es una no unidad distinta de cero, divisible únicamente por sus asociados y por las unidades. 4

6. Un elemento p A se llama primo si p (ab) p a ó p b. Proposición 1.3.2. irreducible. Todo elemento primo de un dominio de integridad es Ejemplo 1.3.3. El recíproco de la proposición anterior no es cierto. Si consideramos el domino de integridad A = Z[ 3] = {a + b 3 a, b Z} C, se tiene la igualdad 2 2 = (1 + 3) (1 3) y 2 A es irreducible pero no divide a 1 + 3 (los detalles se verán más adelante). Nota 1.3.4. 1. Sea d = m.c.d.(a, b) y escribamos a = a/d, b = b/d; entonces m.c.d.(a, b ) = 1. En efecto, supongamos que existiese una no unidad e A, distinta de cero, tal que e a y e b. Entonces (ed) a y (ed) b, luego (ed) d, lo que implicaría que ed, d son asociados. Esto no es posible, pues e no es una unidad. 2. Nótese que, hasta ahora, no hemos afirmado nada sobre la existencia del máximo común divisor de dos elementos. Nos hemos limitado a dar propiedades de él, caso de que exista. Ejemplo 1.3.5. En Z sabemos que existe el máximo común divisor y el mínimo común múltiplo de cualquier par de enteros no nulos. Definición 1.3.6. Un dominio de factorización única (DFU) es un dominio de integridad A que verifica las siguientes condiciones: (DFU1) Toda no unidad distinta de cero es producto finito de factores irreducibles. (DFU2) La descomposición anterior es única salvo orden y producto por unidades. Se llama la descomposición factorial del elemento en cuestión. Ejemplo 1.3.7. Z es un dominio de factorización única. Proposición 1.3.8. Sea A un dominio de integridad que satisface la condición (DFU1). Entonces A satisface (DFU2) si y sólo si satisface la siguiente: (DFU3) Todo elemento irreducible de A es primo ( esta propiedad se la conoce con el nombre de teorema de Euclides, por analogía con el caso de los números enteros). Prueba: Supongamos que A satisface (DFU2), y sean p, a, b como en el enunciado. Supongamos que p no divide a a, y sea ab = pq. Sean a = p 1 p s, b = q 1 q t, q = r 1 r u 5

las descomposiciones factoriales de a, b, q. Como (p 1 p s )(q 1 q t ) = pr 1 r u, la unicidad indica que p (o un asociado) tiene que figurar entre los elementos irreducibles del miembro de la izquierda de la anterior igualdad. Como no puede figurar entre los p i, porque no divide a a, debe figurar entre los q j. Así p b, lo que prueba (DFU3). Recíprocamente, supongamos que A verifica (DFU3), y sean a = p 1 p s = q 1 q t dos descomposiciones de a en producto de irreducibles. Por (DFU3), p 1 (o un asociado suyo) debe coincidir con un q i, digamos q 1. Cancelando ambos en la igualdad anterior, se tiene la igualdad p 2 p s = q 2 q t, con la que se procede como antes, y así sucesivamente. Esto prueba (DFU2). 2 Corolario 1.3.9. Sea A un dominio de factorización única; cualquier par de elementos a, b A distintos de cero tienen un máximo común divisor d A. Prueba: Considerando las descomposiciones factoriales de a, b basta tomar como d el producto de todos los factores irreducibles comunes a las dos. En efecto, sean a = (p 1 p r )(p 1 p s), b = (p 1 p r )(q 1 q t) las descomposiciones factoriales, donde {p 1,..., p s} {q 1,..., q t} =, y sea d = p 1 p r. Claramente d a y d b. Sea d A tal que d a y d b. Si p es un elemento irreducible que divide a d, entonces p (o un asociado) debe coincidir con un p i, digamos p 1. De aquí se deduce que (d /p 1 ) (a/p 1 ) y (d /p 1 ) (b/p 1 ). Repitiendo el razonamiento cuantas veces sea necesario se deduce que d d. Esto prueba el corolario. 2 Definición 1.3.10. Sean a, b A; entonces m.c.d.(a, b) = 1 si y sólo si ningún elemento irreducible divide a ambos. En este caso se dice que a, b son primos entre sí. Corolario 1.3.11. Sean a, b, c A tales que c (ab) y a, c son primos entre sí. Entonces c divide a b. La demostración se hace al estilo de la del corolario 1.3.9, considerando sucesivamente divisores irreducibles de c y viendo que dividen a b. Corolario 1.3.12. Sea A un dominio de factorización única, a, b A distintos de cero, d = m.c.d.(a, b). Entonces a, b tienen un mínimo común múltiplo, que es m = ab/d. 6