SlideShare una empresa de Scribd logo
1 de 6
Descargar para leer sin conexión
Tema 1.- Nociones preliminares: grupos, anil-
los, 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´on 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´on binaria · es asociativa y tiene elemento neutro, que llamare-
mos normalmente “uno (1)”.
3. La operaci´on · es distributiva a la derecha y a la izquierda respecto de la
operaci´on +, 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´as la operaci´on · es conmutativa, diremos que el anillo es conmutativo.
Nota 1.2.2.–
1. En general se usar´a la expresi´on “sea A un anillo”, sobreentendiendo las
operaciones. La operaci´on · se notar´a normalmente por simple yuxtaposi-
ci´on.
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 A1, . . . , An son anillos, el producto cartesiano A1 × · · · × An posee
una estructura natural de anillo, donde las operaciones est´an 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 co-
incide con el m´ultiplo de y con coeficiente x. As´ı pues, la estructura de
anillo de Z no a˜nade 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´on y la multiplicaci´on ordinaria de matrices. No es
conmutativo.
3. En el grupo (Zn, +) (ver ejemplo 9.1.3, 5) podemos definir un producto
de la siguiente manera:
(a, b) ∈ Zn × Zn → a · b := resto de la divisi´on de ab entre n.
De esta forma Zn es un anillo.
Definici´on 1.2.4.– Sea A un anillo. Una unidad es un elemento que posee un
sim´etrico 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 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´en 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´on).
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 ´o C es GL(n, k).
Definici´on 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´on · y tal
que 1 ∈ B.
Si A es un cuerpo, diremos que B es un subcuerpo de A si es un subanillo y
adem´as x1
∈ B para todo x ∈ B − {0}.
A partir de ahora s´olo trabajaremos con anillos conmutativos. As´ı pues, la
palabra ‘anillo’ significar´a siempre anillo conmutativo.
Definici´on 1.2.7.– Sea A un anillo. Un elemento x ∈ A se llamar´a un divisor
de cero si y s´olo 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´a nilpotente si es distinto de cero y existe un entero n > 0 tal
que xn
= 0. En un dominio de integridad se da la propiedad cancelativa por el
producto de elementos no nulos:
a = 0, ab = ac ⇒ b = c.
Ejemplo 1.2.8.–
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 Z4 no es un dominio de integridad. El anillo Z3 es un cuerpo.
4. El elemento 2 es nilpotente en Z4.
Definici´on 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 ´unicos ideales son {0} y A.
3. El grupo cociente A/I admite una estructura can´onica de anillo. En efecto,
basta ver que la f´ormula
(a + I)(b + I) = ab + I
define una operaci´on 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´on 1.2.11.– Si A es un anillo y a1, . . . , an ∈ A, el conjunto
(a1, . . . , an) := {x1a1 + · · · + xnan | x1, . . . , xn ∈ A}
es un ideal de A, que se llama engendrado por el conjunto de las ai. Si n = 1,
el ideal de llama principal. Todo ideal de Z es principal.
Definici´on 1.2.12.– Sean A, B anillos, f : A → B una aplicaci´on. Se dir´a 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´on 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´olo 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´on 1.3.1.– Sea A un dominio de integridad.
1. Sean a, b ∈ A, con a = 0. Se dir´a 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 ´unico por ser A un
dominio de integridad, y se le designar´a por b/a. Tambi´en se dir´a, en este
caso, que b es divisible por a. Se escribir´a a|b para designar esta relaci´on.
Es evidente que una unidad divide a cualquier otro elemento de A.
2. Se dir´a que a y b, con a, b = 0, son asociados si y s´olo 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´acilmente que a, b son
asociados si y s´olo si uno de ellos es igual al otro multiplicado por una
unidad.
3. Sean a, b ∈ A distintos de cero. Un m´aximo com´un 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´aximos comunes divisores
de a, b, entonces d|d y d |d, luego son asociados. As´ı pues, el m´aximo
com´un divisor de a, b est´a 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´un m´ultiplo 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´ultiplos
de a, b, entonces m|m y m |m, luego son asociados. As´ı pues, el m´ınimo
com´un m´ultiplo de a, b est´a 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´olo es una no unidad distinta
de cero, divisible ´unicamente por sus asociados y por las unidades.
4
6. Un elemento p ∈ A se llama primo si p|(ab) ⇒ p|a ´o p|b.
Proposici´on 1.3.2.– Todo elemento primo de un dominio de integridad es
irreducible.
Ejemplo 1.3.3.– El rec´ıproco de la proposici´on anterior no es cierto. Si con-
sideramos 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´an m´as 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´otese que, hasta ahora, no hemos afirmado nada sobre la existencia
del m´aximo com´un divisor de dos elementos. Nos hemos limitado a dar
propiedades de ´el, caso de que exista.
Ejemplo 1.3.5.– En Z sabemos que existe el m´aximo com´un divisor y el
m´ınimo com´un m´ultiplo de cualquier par de enteros no nulos.
Definici´on 1.3.6.– Un dominio de factorizaci´on ´unica (DFU) es un dominio
de integridad A que verifica las siguientes condiciones:
(DFU1) Toda no unidad distinta de cero es producto finito de factores irre-
ducibles.
(DFU2) La descomposici´on anterior es ´unica salvo orden y producto por unidades.
Se llama la descomposici´on factorial del elemento en cuesti´on.
Ejemplo 1.3.7.– Z es un dominio de factorizaci´on ´unica.
Proposici´on 1.3.8.– Sea A un dominio de integridad que satisface la condici´on
(DFU1). Entonces A satisface (DFU2) si y s´olo 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´umeros 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 = p1 · · · ps , b = q1 · · · qt , q = r1 · · · ru
5
las descomposiciones factoriales de a, b, q. Como
(p1 · · · ps)(q1 · · · qt) = pr1 · · · ru,
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 pi, porque no divide a a, debe figurar entre los qj. As´ı p|b, lo
que prueba (DFU3).
Rec´ıprocamente, supongamos que A verifica (DFU3), y sean
a = p1 · · · ps = q1 · · · qt
dos descomposiciones de a en producto de irreducibles. Por (DFU3), p1 (o un
asociado suyo) debe coincidir con un qi, digamos q1. Cancelando ambos en la
igualdad anterior, se tiene la igualdad
p2 · · · ps = q2 · · · qt,
con la que se procede como antes, y as´ı sucesivamente. Esto prueba (DFU2). 2
Corolario 1.3.9.– Sea A un dominio de factorizaci´on ´unica; cualquier par de
elementos a, b ∈ A distintos de cero tienen un m´aximo com´un 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 = (p1 · · · pr)(p1 · · · ps) , b = (p1 · · · pr)(q1 · · · qt)
las descomposiciones factoriales, donde
{p1, . . . , ps} ∩ {q1, . . . , qt} = ∅,
y sea d = p1 · · · pr. 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 pi, digamos p1. De aqu´ı se deduce que (d /p1)|(a/p1) y (d /p1)|(b/p1).
Repitiendo el razonamiento cuantas veces sea necesario se deduce que d |d. Esto
prueba el corolario. 2
Definici´on 1.3.10.– Sean a, b ∈ A; entonces m.c.d.(a, b) = 1 si y s´olo si ning´un
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´on 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´on ´unica, a, b ∈ A distin-
tos de cero, d = m.c.d.(a, b). Entonces a, b tienen un m´ınimo com´un m´ultiplo,
que es m = ab/d.
6

Más contenido relacionado

La actualidad más candente

Homomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoHomomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoPatricia Herrera
 
Exámenes resueltos de Topología
Exámenes resueltos de TopologíaExámenes resueltos de Topología
Exámenes resueltos de TopologíaAntonio Sanchez
 
Ecuaciones de 1er orden
Ecuaciones de 1er ordenEcuaciones de 1er orden
Ecuaciones de 1er ordenVelmuz Buzz
 
Ayudantia espacios metricos y topologia
Ayudantia espacios metricos y topologiaAyudantia espacios metricos y topologia
Ayudantia espacios metricos y topologiaHugo Cornejo
 
2 limitesdefunciones ejerc
2 limitesdefunciones ejerc2 limitesdefunciones ejerc
2 limitesdefunciones ejercjonathan Nuñez
 
IntroduccióN A La LóGica Difusa
IntroduccióN A La LóGica DifusaIntroduccióN A La LóGica Difusa
IntroduccióN A La LóGica DifusaESCOM
 
integrales multuples
integrales multuplesintegrales multuples
integrales multupleslordperez
 
Divisibilidad de polinomios
Divisibilidad de polinomiosDivisibilidad de polinomios
Divisibilidad de polinomiosgabino111
 
Ecuaciones 2do orden
Ecuaciones 2do ordenEcuaciones 2do orden
Ecuaciones 2do ordenERICK CONDE
 
Funciones de varias variables
Funciones de varias variablesFunciones de varias variables
Funciones de varias variablesPedro González
 
Teoria aditiva de numeros
Teoria aditiva de numerosTeoria aditiva de numeros
Teoria aditiva de numeroslgbarrerav
 

La actualidad más candente (20)

Tecnicas de calculo integral
Tecnicas de calculo integralTecnicas de calculo integral
Tecnicas de calculo integral
 
TALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOSTALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOS
 
Homomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoHomomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpo
 
Apuntes cap5
Apuntes cap5Apuntes cap5
Apuntes cap5
 
Exámenes resueltos de Topología
Exámenes resueltos de TopologíaExámenes resueltos de Topología
Exámenes resueltos de Topología
 
Ecuaciones de 1er orden
Ecuaciones de 1er ordenEcuaciones de 1er orden
Ecuaciones de 1er orden
 
Laplace
LaplaceLaplace
Laplace
 
Apuntes transformada de_laplace
Apuntes transformada de_laplaceApuntes transformada de_laplace
Apuntes transformada de_laplace
 
Anillos
AnillosAnillos
Anillos
 
Ayudantia espacios metricos y topologia
Ayudantia espacios metricos y topologiaAyudantia espacios metricos y topologia
Ayudantia espacios metricos y topologia
 
2 limitesdefunciones ejerc
2 limitesdefunciones ejerc2 limitesdefunciones ejerc
2 limitesdefunciones ejerc
 
IntroduccióN A La LóGica Difusa
IntroduccióN A La LóGica DifusaIntroduccióN A La LóGica Difusa
IntroduccióN A La LóGica Difusa
 
Estructuras
EstructurasEstructuras
Estructuras
 
integrales multuples
integrales multuplesintegrales multuples
integrales multuples
 
Divisibilidad de polinomios
Divisibilidad de polinomiosDivisibilidad de polinomios
Divisibilidad de polinomios
 
Ecuaciones 2do orden
Ecuaciones 2do ordenEcuaciones 2do orden
Ecuaciones 2do orden
 
Ecuaciones saia para enviar
Ecuaciones saia para enviarEcuaciones saia para enviar
Ecuaciones saia para enviar
 
Funciones de varias variables
Funciones de varias variablesFunciones de varias variables
Funciones de varias variables
 
Teoria aditiva de numeros
Teoria aditiva de numerosTeoria aditiva de numeros
Teoria aditiva de numeros
 
Integrales pdfs
Integrales pdfsIntegrales pdfs
Integrales pdfs
 

Destacado

How drupal cloned star wars?
How drupal cloned star wars?How drupal cloned star wars?
How drupal cloned star wars?DrupalGeeks
 
Marcelo Ermini - Abras - For Traders
Marcelo Ermini - Abras - For TradersMarcelo Ermini - Abras - For Traders
Marcelo Ermini - Abras - For Tradersfortraders
 
Tools to Upgrade to Drupal 8
Tools to Upgrade to Drupal 8Tools to Upgrade to Drupal 8
Tools to Upgrade to Drupal 8DrupalGeeks
 
Los rankings institucionales. Cristina Azorín
Los rankings institucionales. Cristina AzorínLos rankings institucionales. Cristina Azorín
Los rankings institucionales. Cristina AzorínFESABID
 
Ranking universidades y escuelas de negocio españolas
Ranking universidades y escuelas de negocio españolasRanking universidades y escuelas de negocio españolas
Ranking universidades y escuelas de negocio españolasAlianzo Networks
 
How to Migrate Drupal 6 to Drupal 8?
How to Migrate Drupal 6 to Drupal 8?How to Migrate Drupal 6 to Drupal 8?
How to Migrate Drupal 6 to Drupal 8?DrupalGeeks
 
Ranking web: situación actual
Ranking web: situación actualRanking web: situación actual
Ranking web: situación actualJA Merlo Vega USAL
 
Steps to port your module in drupal.org when you have the d8 code ready
Steps to port your module in drupal.org when you have the d8 code readySteps to port your module in drupal.org when you have the d8 code ready
Steps to port your module in drupal.org when you have the d8 code readyDrupalGeeks
 
Antibiotico rpm bueno
Antibiotico rpm buenoAntibiotico rpm bueno
Antibiotico rpm buenoEly Garcés
 
matrial safety data sheet and method of analysis
matrial safety data sheet and method of analysismatrial safety data sheet and method of analysis
matrial safety data sheet and method of analysisRohit K.
 
Correo Institucional Uniatlántico
Correo Institucional UniatlánticoCorreo Institucional Uniatlántico
Correo Institucional Uniatlánticoeliasdu07
 
Case MKT Promocional - Time dos Campeões LG
Case MKT Promocional - Time dos Campeões LGCase MKT Promocional - Time dos Campeões LG
Case MKT Promocional - Time dos Campeões LGÁtomo Comunicação
 

Destacado (20)

Bayes ejercicios
Bayes ejerciciosBayes ejercicios
Bayes ejercicios
 
How drupal cloned star wars?
How drupal cloned star wars?How drupal cloned star wars?
How drupal cloned star wars?
 
11550
1155011550
11550
 
Marcelo Ermini - Abras - For Traders
Marcelo Ermini - Abras - For TradersMarcelo Ermini - Abras - For Traders
Marcelo Ermini - Abras - For Traders
 
Belas Mensagem
Belas MensagemBelas Mensagem
Belas Mensagem
 
Tools to Upgrade to Drupal 8
Tools to Upgrade to Drupal 8Tools to Upgrade to Drupal 8
Tools to Upgrade to Drupal 8
 
30379
3037930379
30379
 
Los rankings institucionales. Cristina Azorín
Los rankings institucionales. Cristina AzorínLos rankings institucionales. Cristina Azorín
Los rankings institucionales. Cristina Azorín
 
30649
3064930649
30649
 
11574
1157411574
11574
 
Ranking universidades y escuelas de negocio españolas
Ranking universidades y escuelas de negocio españolasRanking universidades y escuelas de negocio españolas
Ranking universidades y escuelas de negocio españolas
 
How to Migrate Drupal 6 to Drupal 8?
How to Migrate Drupal 6 to Drupal 8?How to Migrate Drupal 6 to Drupal 8?
How to Migrate Drupal 6 to Drupal 8?
 
Promotor Virtual
Promotor VirtualPromotor Virtual
Promotor Virtual
 
Ranking web: situación actual
Ranking web: situación actualRanking web: situación actual
Ranking web: situación actual
 
Steps to port your module in drupal.org when you have the d8 code ready
Steps to port your module in drupal.org when you have the d8 code readySteps to port your module in drupal.org when you have the d8 code ready
Steps to port your module in drupal.org when you have the d8 code ready
 
Antibiotico rpm bueno
Antibiotico rpm buenoAntibiotico rpm bueno
Antibiotico rpm bueno
 
matrial safety data sheet and method of analysis
matrial safety data sheet and method of analysismatrial safety data sheet and method of analysis
matrial safety data sheet and method of analysis
 
Correo Institucional Uniatlántico
Correo Institucional UniatlánticoCorreo Institucional Uniatlántico
Correo Institucional Uniatlántico
 
Case MKT Promocional - Time dos Campeões LG
Case MKT Promocional - Time dos Campeões LGCase MKT Promocional - Time dos Campeões LG
Case MKT Promocional - Time dos Campeões LG
 
Erros de português
Erros de portuguêsErros de português
Erros de português
 

Similar a Grupos, anillos y divisibilidad

LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdfLIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdfValentinMamaniArroyo3
 
UNIDAD III ESTRUCTURAS DISCRETAS
UNIDAD III ESTRUCTURAS DISCRETASUNIDAD III ESTRUCTURAS DISCRETAS
UNIDAD III ESTRUCTURAS DISCRETASclaudia rodriguez
 
Slidehare estructura discreta iii
Slidehare estructura discreta iiiSlidehare estructura discreta iii
Slidehare estructura discreta iiiYurena122
 
Anillos
AnillosAnillos
Anillosceok
 
Espacio vectorial Y COMBINACION LINEAL
Espacio vectorial Y COMBINACION LINEALEspacio vectorial Y COMBINACION LINEAL
Espacio vectorial Y COMBINACION LINEALMiguel Vasquez
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdfAlbertoRO3
 
Topologia general
Topologia generalTopologia general
Topologia generalmaagob
 
Estructura discreta unidad III
Estructura discreta unidad IIIEstructura discreta unidad III
Estructura discreta unidad IIIYurena122
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones2964HaPg
 

Similar a Grupos, anillos y divisibilidad (20)

LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdfLIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
FMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdfFMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdf
 
Alg boole
Alg booleAlg boole
Alg boole
 
Polinomios
PolinomiosPolinomios
Polinomios
 
UNIDAD III ESTRUCTURAS DISCRETAS
UNIDAD III ESTRUCTURAS DISCRETASUNIDAD III ESTRUCTURAS DISCRETAS
UNIDAD III ESTRUCTURAS DISCRETAS
 
1 3 teoriadegrupos
1 3 teoriadegrupos1 3 teoriadegrupos
1 3 teoriadegrupos
 
Slidehare estructura discreta iii
Slidehare estructura discreta iiiSlidehare estructura discreta iii
Slidehare estructura discreta iii
 
Anillos
AnillosAnillos
Anillos
 
Espacio vectorial Y COMBINACION LINEAL
Espacio vectorial Y COMBINACION LINEALEspacio vectorial Y COMBINACION LINEAL
Espacio vectorial Y COMBINACION LINEAL
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdf
 
Topologia general
Topologia generalTopologia general
Topologia general
 
Topologia general
Topologia generalTopologia general
Topologia general
 
Estructura discreta unidad III
Estructura discreta unidad IIIEstructura discreta unidad III
Estructura discreta unidad III
 
Estructuras conceptos
Estructuras conceptosEstructuras conceptos
Estructuras conceptos
 
5 estructuras-algebraicas
5 estructuras-algebraicas5 estructuras-algebraicas
5 estructuras-algebraicas
 
Avcapitulo ii
Avcapitulo iiAvcapitulo ii
Avcapitulo ii
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
 
Alco030
Alco030Alco030
Alco030
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 

Más de luis eduardo hernandez romero (6)

Família de palavras pagina 204 falar ler escrever
Família de palavras pagina 204 falar ler escreverFamília de palavras pagina 204 falar ler escrever
Família de palavras pagina 204 falar ler escrever
 
Conicas.doc
Conicas.docConicas.doc
Conicas.doc
 
Ecuacion
Ecuacion Ecuacion
Ecuacion
 
Computer hoy nº 424 enero 2015
Computer hoy nº 424   enero 2015Computer hoy nº 424   enero 2015
Computer hoy nº 424 enero 2015
 
Algebra de baldor nueva versión
Algebra de baldor nueva versiónAlgebra de baldor nueva versión
Algebra de baldor nueva versión
 
21614981 lentes-fisica
21614981 lentes-fisica21614981 lentes-fisica
21614981 lentes-fisica
 

Último

Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteJuan Hernandez
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscaeliseo91
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADauxsoporte
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arteRaquel Martín Contreras
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadAlejandrino Halire Ccahuana
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinavergarakarina022
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para eventoDiegoMtsS
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxLINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxdanalikcruz2000
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxlclcarmen
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxOscarEduardoSanchezC
 
Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleJonathanCovena1
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticosisabeltrejoros
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfMARIAPAULAMAHECHAMOR
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 

Último (20)

Unidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parteUnidad II Doctrina de la Iglesia 1 parte
Unidad II Doctrina de la Iglesia 1 parte
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fisca
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arte
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdad
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karina
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para evento
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptxLINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
 
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptxPPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
PPT GESTIÓN ESCOLAR 2024 Comités y Compromisos.pptx
 
Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo Sostenible
 
Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDIUnidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
 
Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticos
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdf
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 

Grupos, anillos y divisibilidad

  • 1. Tema 1.- Nociones preliminares: grupos, anil- los, 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´on 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´on binaria · es asociativa y tiene elemento neutro, que llamare- mos normalmente “uno (1)”. 3. La operaci´on · es distributiva a la derecha y a la izquierda respecto de la operaci´on +, 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´as la operaci´on · es conmutativa, diremos que el anillo es conmutativo. Nota 1.2.2.– 1. En general se usar´a la expresi´on “sea A un anillo”, sobreentendiendo las operaciones. La operaci´on · se notar´a normalmente por simple yuxtaposi- ci´on. 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 A1, . . . , An son anillos, el producto cartesiano A1 × · · · × An posee una estructura natural de anillo, donde las operaciones est´an 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 co- incide con el m´ultiplo de y con coeficiente x. As´ı pues, la estructura de anillo de Z no a˜nade 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. 2. El conjunto M(n) de las matrices n × n sobre Q, R o C es un anillo, con respecto a la adici´on y la multiplicaci´on ordinaria de matrices. No es conmutativo. 3. En el grupo (Zn, +) (ver ejemplo 9.1.3, 5) podemos definir un producto de la siguiente manera: (a, b) ∈ Zn × Zn → a · b := resto de la divisi´on de ab entre n. De esta forma Zn es un anillo. Definici´on 1.2.4.– Sea A un anillo. Una unidad es un elemento que posee un sim´etrico 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 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´en 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´on). 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 ´o C es GL(n, k). Definici´on 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´on · y tal que 1 ∈ B. Si A es un cuerpo, diremos que B es un subcuerpo de A si es un subanillo y adem´as x1 ∈ B para todo x ∈ B − {0}. A partir de ahora s´olo trabajaremos con anillos conmutativos. As´ı pues, la palabra ‘anillo’ significar´a siempre anillo conmutativo. Definici´on 1.2.7.– Sea A un anillo. Un elemento x ∈ A se llamar´a un divisor de cero si y s´olo 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´a nilpotente si es distinto de cero y existe un entero n > 0 tal que xn = 0. En un dominio de integridad se da la propiedad cancelativa por el producto de elementos no nulos: a = 0, ab = ac ⇒ b = c. Ejemplo 1.2.8.– 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. 3. El anillo Z4 no es un dominio de integridad. El anillo Z3 es un cuerpo. 4. El elemento 2 es nilpotente en Z4. Definici´on 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 ´unicos ideales son {0} y A. 3. El grupo cociente A/I admite una estructura can´onica de anillo. En efecto, basta ver que la f´ormula (a + I)(b + I) = ab + I define una operaci´on 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´on 1.2.11.– Si A es un anillo y a1, . . . , an ∈ A, el conjunto (a1, . . . , an) := {x1a1 + · · · + xnan | x1, . . . , xn ∈ A} es un ideal de A, que se llama engendrado por el conjunto de las ai. Si n = 1, el ideal de llama principal. Todo ideal de Z es principal. Definici´on 1.2.12.– Sean A, B anillos, f : A → B una aplicaci´on. Se dir´a 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´on 1.2.13.– Sea f : A → B un homomorfismo de anillos. Se tienen las siguientes propiedades: 3
  • 4. 1. ker(f) := {a ∈ A | f(a) = 0} es un ideal de A, y f es inyectivo si y s´olo 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´on 1.3.1.– Sea A un dominio de integridad. 1. Sean a, b ∈ A, con a = 0. Se dir´a 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 ´unico por ser A un dominio de integridad, y se le designar´a por b/a. Tambi´en se dir´a, en este caso, que b es divisible por a. Se escribir´a a|b para designar esta relaci´on. Es evidente que una unidad divide a cualquier otro elemento de A. 2. Se dir´a que a y b, con a, b = 0, son asociados si y s´olo 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´acilmente que a, b son asociados si y s´olo si uno de ellos es igual al otro multiplicado por una unidad. 3. Sean a, b ∈ A distintos de cero. Un m´aximo com´un 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´aximos comunes divisores de a, b, entonces d|d y d |d, luego son asociados. As´ı pues, el m´aximo com´un divisor de a, b est´a 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´un m´ultiplo 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´ultiplos de a, b, entonces m|m y m |m, luego son asociados. As´ı pues, el m´ınimo com´un m´ultiplo de a, b est´a 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´olo es una no unidad distinta de cero, divisible ´unicamente por sus asociados y por las unidades. 4
  • 5. 6. Un elemento p ∈ A se llama primo si p|(ab) ⇒ p|a ´o p|b. Proposici´on 1.3.2.– Todo elemento primo de un dominio de integridad es irreducible. Ejemplo 1.3.3.– El rec´ıproco de la proposici´on anterior no es cierto. Si con- sideramos 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´an m´as 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´otese que, hasta ahora, no hemos afirmado nada sobre la existencia del m´aximo com´un divisor de dos elementos. Nos hemos limitado a dar propiedades de ´el, caso de que exista. Ejemplo 1.3.5.– En Z sabemos que existe el m´aximo com´un divisor y el m´ınimo com´un m´ultiplo de cualquier par de enteros no nulos. Definici´on 1.3.6.– Un dominio de factorizaci´on ´unica (DFU) es un dominio de integridad A que verifica las siguientes condiciones: (DFU1) Toda no unidad distinta de cero es producto finito de factores irre- ducibles. (DFU2) La descomposici´on anterior es ´unica salvo orden y producto por unidades. Se llama la descomposici´on factorial del elemento en cuesti´on. Ejemplo 1.3.7.– Z es un dominio de factorizaci´on ´unica. Proposici´on 1.3.8.– Sea A un dominio de integridad que satisface la condici´on (DFU1). Entonces A satisface (DFU2) si y s´olo 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´umeros 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 = p1 · · · ps , b = q1 · · · qt , q = r1 · · · ru 5
  • 6. las descomposiciones factoriales de a, b, q. Como (p1 · · · ps)(q1 · · · qt) = pr1 · · · ru, 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 pi, porque no divide a a, debe figurar entre los qj. As´ı p|b, lo que prueba (DFU3). Rec´ıprocamente, supongamos que A verifica (DFU3), y sean a = p1 · · · ps = q1 · · · qt dos descomposiciones de a en producto de irreducibles. Por (DFU3), p1 (o un asociado suyo) debe coincidir con un qi, digamos q1. Cancelando ambos en la igualdad anterior, se tiene la igualdad p2 · · · ps = q2 · · · qt, con la que se procede como antes, y as´ı sucesivamente. Esto prueba (DFU2). 2 Corolario 1.3.9.– Sea A un dominio de factorizaci´on ´unica; cualquier par de elementos a, b ∈ A distintos de cero tienen un m´aximo com´un 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 = (p1 · · · pr)(p1 · · · ps) , b = (p1 · · · pr)(q1 · · · qt) las descomposiciones factoriales, donde {p1, . . . , ps} ∩ {q1, . . . , qt} = ∅, y sea d = p1 · · · pr. 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 pi, digamos p1. De aqu´ı se deduce que (d /p1)|(a/p1) y (d /p1)|(b/p1). Repitiendo el razonamiento cuantas veces sea necesario se deduce que d |d. Esto prueba el corolario. 2 Definici´on 1.3.10.– Sean a, b ∈ A; entonces m.c.d.(a, b) = 1 si y s´olo si ning´un 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´on 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´on ´unica, a, b ∈ A distin- tos de cero, d = m.c.d.(a, b). Entonces a, b tienen un m´ınimo com´un m´ultiplo, que es m = ab/d. 6