SlideShare una empresa de Scribd logo
1 de 34
Descargar para leer sin conexión
Universidad De Occidente
Estructuras Lógicas
Inga. Dulce Fabiola Díaz Lemus
Estructuras Algebraicas
Estructuras Algebraicas
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas 3
Estructuras Algebraicas
 Sea E un conjunto no vacío, una función f
se llama ley de composición interna (operación) sobre E.
Además, la imagen f(a,b) se llama el operado de a y b.
 Es usual representar las operaciones internas con algunos
símbolos especiales, en vez de letras, como *, , , entre
otros.
 Por definición, si * es una ley de composición interna sobre E,
entonces es cerrada sobre E, es decir, se cumple que
E
E
E
f 

:
 
E
b
a
E
b
a 


 ,
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas 4
Estructuras Algebraicas (cont.)
 Si * es una ley de composición interna sobre E, se dice que
(E,*) posee una estructura algebraica.
 Una estructura algebraica es una n-tupla (a1,a2,...,an), donde
a1 es un conjunto dado no vacío, y {a2,...,an} un conjunto de
operaciones aplicables a los elementos de dicho conjunto.
 Si * es una ley de composición interna sobre E, se dice que *:
 Es asociativa: para cualesquiera elementos del grupo no
importa el orden en que se operen las parejas de elementos,
mientras no se cambie el orden de los elementos, siempre dará
el mismo resultado.    
c
b
a
c
b
a
E
b
a 





 cumple
se
,
Si
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas 5
Estructuras Algebraicas (cont.)
 Si * es una ley de composición interna sobre E, se dice que *:
 Posee elemento neutro o elemento identidad (comúnmente
denotado como e, letra inicial de la palabra alemana einheit,
que significa "unidad"): existe un elemento que al ser operado
con cualquier otro, no lo modifica (como el cero en la suma o
el 1 en la multiplicación). La unicidad del elemento neutro es
fácilmente demostrable. .
 Tiene elementos opuestos o inversos: todos los elementos del
grupo tienen un elemento opuesto (o inverso), con el que al
operarse dan por resultado el elemento neutro e. El elemento
inverso de uno dado es único.
a
a
e
e
a
E
a
e 






 que
tal
Si
b
a
e
a
b
b
a
E
b
E
a










1
escribe
se
caso
cuyo
en
que
tal
Si
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas 6
Estructuras Algebraicas (cont.)
 Si * es una ley de composición interna sobre E, se dice que *:
 Es conmutativa: para cualesquiera elementos del grupo no
importa el orden de los elementos siempre dará el mismo
resultado.
 Un elemento h es absorbente por la izquierda si h * a = h y lo
es por la derecha si a * h = h para todo a. Se dice que es el
elemento absorbente si lo es por la derecha y por la izquierda.
a
b
b
a
E
b
a 



 cumple
se
,
Si
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas 7
Estructuras Algebraicas (cont.)
 En el caso que E sea un conjunto finito, es decir, E = {a1, a2,
…, an}, la operación * se puede representar en una tabla, en la
cual la entrada i,j denota el elemento ai * aj:
* a1 a2 … aj … an
a1 a1 * a1 … …
a2 a2 * a1 a2 * a2 … a2 * aj … a2 * an
… … … … … … …
ai ai * a1 ai * a2 … ai * aj … ai * an
… … … … … …
an an * a1 an * a2 … an * aj … an * an
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Estructuras Algebraicas (cont.)
 Un elemento a es idempotente si a * a = a para todo a.
 Un elemento a es involutivo si a * a = e para todo a.
 Un elemento a es central si conmuta con todos los elementos
de E, el conjunto formado por todos los elementos centrales se
llama el centro de E y se denota por C(E).
 (C(E),*) es un subgrupo de (E,*).
   
E
b
ba
ab
E
a
E
C 



 ,
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Grupos
 Si G es un conjunto no vacío y * es una operación interna
definida sobre G. Se dice que (G,*) es:
 Un semigrupo si * es asociativa.
 Un monoide si es un semigrupo con elemento neutro.
 Un grupo si es un monoide que cumple la propiedad de los
inversos, es decir, (G,*) es un grupo si * es cerrada, asociativa,
posee elemento neutro y cada elemento tiene inverso.
 Un grupo abeliano o grupo conmutativo si es un grupo y se
cumple la conmutatividad. En el caso de que no sea un grupo,
se dice que la estructura algebraica es conmutativa.
9
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Grupos (cont.)
 Notaciones:
 La notación multiplicativa .
 Operación: , , , llamada producto.
 Elemento neutro: 1.
 Elemento inverso: x − 1.
 La notación aditiva .
 Operación: +, llamada suma.
 Elemento neutro: 0.
 Elemento opuesto de un elemento x del grupo: -x.
10
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Grupos (cont.)
 Si (G,*) es un monoide, se tiene que a0 = e, y para n natural,
con n  1:
 Si además cumple con la propiedad de los inversos, los
exponentes negativos se definen como:
11
a
a
a
a
a
a
a
a
n
n
n






 
...
1
n veces a
 n
n
a
a 1



UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Grupos (cont.)
 Teorema 1. Si (G,*) es un grupo, en general se tiene que
 Demostración.
12
 
  a
a
a
b
b
a









1
1
1
1
1
(1)
(2)
   
     
   
   
 
 
a
a
e
a
a
a
a
a
a
e
a
a
e
a
a
a
e
a
a
b
b
a
a
b
b
a
e
b
a
b
a













































1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
)
2
(
)
1
(
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Grupos (cont.)
 Notar que si el grupo es abeliano se puede escribir
 En caso contrario se debe respetar (1) del teorema 1.
 Si el grupo es finito, su orden se denota por o(G) y
corresponde a la cardinalidad como conjunto.
 Para n  N con n  2, y la relación  definida sobre Z por
se define al conjunto Zn =
Z/, es decir, Zn es el conjunto de clases residuales módulo n.
 Sobre estos conjuntos Zn, se definen las operaciones usuales
de suma  y multiplicación  de clases.
13
  1
1
1 




 b
a
b
a
 
nk
b
a
Z
k
b
a 




 que
tal
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Grupos (cont.)
 Para todo n  2, (Zn,) es grupo abeliano y o(Zn) = n.
 (Zn
*,) es grupo abeliano si y sólo si n es un número primo.
Además, o(Zn
*) = n – 1.
 Sea G un grupo, y un elemento x  G. se dice que G es un
grupo cíclico generado por x si para cada elemento y  G
existe un n  Z tal que y = xn.
14
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Grupos (cont.)
 Teorema 2. Si G es cíclico entonces es grupo abeliano, y si G
es generado por x entonces también es generado por su inverso
x-1.
 Demostración.
15
 
1
1
por
generado
es
decir,
Es
que
tal
abeliano
grupo
Es
que
tal
,
,
)
2
(
)
1
(


























x
G
Z
n
x
y
x
y
Z
n
G
y
zy
x
x
x
x
x
x
yz
x
z
x
y
Z
m
n
G
z
y
n
n
n
m
n
m
m
n
m
n
m
n
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Grupos (cont.)
 Para el conjunto X = {1, …, n}, se define el grupo simétrico
Sn como el conjunto de todas las funciones biyectivas de X en
X, dotado con la composición de funciones como operación
interna.
 El orden de Sn es n!, o(Sn) = n!.
 Al asignar la imagen al primer elemento se tienen n posibilidades
al fijar una de éstas, para asignar la imagen del segundo elemento
se tienen n – 1 posibilidades; así, al fijar las imágenes para hacer
la función biyectiva, el número de funciones que se obtiene es n!.
 Si p es un número primo y G un grupo, se dice que G es un p-
grupo si su orden es una potencia de p.
16
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Subgrupos
 Algunos conjuntos que poseen estructura de grupo, poseen
subconjuntos que también tienen esta misma estructura de
grupo.
 Si (G,*) es un grupo, H  G con H  , H se llamará
subgrupo de G, y se denota por H < G, si y sólo si (H,*) es un
grupo.
 Un subgrupo es un subconjunto no vacío del grupo que sea
grupo con la operación restringida a sus elementos.
17
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Subgrupos (cont.)
 Teorema 3 (De Lagrange). El orden del subgrupo es un
divisor del orden del grupo. (Buscar demostración)
 Teorema 4. Sea (G,*) un grupo, con H  G con H  ,
entonces
 Demostración. Ver libro en la página 322.
 Teorema 5. Sea (G,*) un grupo finito, con H  G con H  ,
entonces
 Demostración. Ver libro en la página 323,
18
 
H
b
a
H
b
a
G
H 




 1
,
 
H
b
a
H
b
a
G
H 




 ,
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Subgrupos (cont.)
 El teorema 3 determina la cantidad de elementos que debe
tener un subgrupo, en caso de que el grupo tenga orden finito.
 Los teoremas 4 y 5 dan la condición necesaria y suficiente
para el caso que se quiera demostrar, o verificar, que un
subconjunto de un grupo es o no un subgrupo de él.
 Además, al ser de equivalencia en ambos teoremas, en el caso
de que no se cumpla la condición de cerradura planteada, se
concluye que el subconjunto no es subgrupo.
19
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Subgrupos (cont.)
 Teorema 6. Un subgrupo de un p-grupo es un p-grupo.
 Demostración.
20
 
     
grupo
-
es
'
,
divide
:
Lagrange
de
Teorema
grupo
-
un
es
'
p
H
p
H
o
p
G
o
H
o
p
G
o
p
G
G
H













UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Subgrupos (cont.)
 Una condición necesaria para que (Zn
*,) sea grupo es que p
sea primo. Así, en el caso que p no es primo no se obtiene la
deseada estructura de grupo.
 Al considerar el subconjunto de Zn
* formado por las clases
residuales que son relativamente primos con n, se obtiene un
grupo abeliano.
 El conjunto Un, definido por es un
grupo abeliano.
21
 
 
1
,
.
.
. 

 
n
a
d
c
m
Z
a
U n
n

UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Homomorfismos de Grupo
 Si (G,*) y (F,) son dos grupos. Se dice que una aplicación f :
G  F es un homomorfismo de grupos si para todo a y b en
G se satisface que f(a * b) = f(a)  f(b). Si, además de ser
homomorfismo,
 f es sobreyectiva, entonces f es un epimorfismo.
 f es inyectiva, entonces f es un monomorfismo.
 f es biyectiva, entonces f es un isomorfismo.
 G = F, entonces f es un endomorfismo.
 G = F y biyectiva, entonces f es un automorfismo.
22
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Homomorfismos de Grupo (cont.)
 Para un homomorfismo de grupos f : G  F se define el
núcleo de f como el conjunto Nf = f -1({e’}), donde e’ es el
elemento neutro de F.
 El núcleo de un homomorfismo está formado por los
elementos cuya imagen es el neutro.
 kerf = Nf = {x  G | f(x) = e’}
23
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Homomorfismos de Grupo (cont.)
 Teorema 7. Si f : G  F es un homomorfismo de grupos, si e
es el elemento neutro de G y además e’ es el elemento neutro
de F, entonces se cumple que
 Demostración.
24
 
   
  1
1
'




x
f
x
f
e
e
f (1)
(2)
       
       
 
       
   
   
  1
1
1
1
1
sí
entre
inversos
son
'
'
'
)
2
(
)
1
(





















x
f
x
f
x
f
x
f
x
f
x
f
x
x
f
e
e
f
e
e
f
e
x
f
e
f
x
f
x
f
e
f
x
f
e
x
f
x
f
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Homomorfismos de Grupo (cont.)
 Teorema 8. Sea f : G  F es un homomorfismo de grupos,
con e el elemento neutro de G y e’ el elemento neutro de F, si
Nf = {e} entonces f es inyectiva.
 Demostración.
25
       
 
   
 
 
 
inyectiva
es
'
'
'
1
1
1
1
1
f
b
a
e
ab
e
N
ab
e
ab
f
e
b
f
a
f
e
b
f
a
f
b
f
a
f
f



















UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Anillos
 Un anillo es una estructura algebraica formada por un
conjunto y dos operaciones que están relacionadas entre sí,
mediante la propiedad distributiva, de manera que generalizan
las nociones de número, especialmente en el sentido de su
“operabilidad”.
 En un anillo se tienen un conjunto no vacío A, y dos
operaciones binarias + y •.
26
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Anillos (cont.)
 Un anillo es un triple (A,*,), lo cual es una estructura
algebraica en la cual A es un conjunto no vacío y *,: A  A 
A son dos operaciones binarias definidas sobre A que
satisfacen las condiciones siguientes:
 (A,*) es un grupo abeliano.
 (A,) es un semigrupo.
 La operación  es distributiva respecto a la operación *. Esto
es, para todo a,b  A
27
     
     









c
b
c
a
c
b
a
c
a
b
a
c
b
a






UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Anillos (cont.)
 Cuando (A,) es un monoide se dice que A es un anillo
unitario o anillo con unidad que representaremos por 1
(elemento neutro del producto).
 Cuando (A,) es un semigrupo conmutativo, se dice que A es
anillo conmutativo o anillo abeliano.
28
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Anillos (cont.)
 Para trabajar con una notación más familiar, el anillo (A,+,•),
en el cual:
 El neutro de (A,+) se denota 0, y para todo x ∈ A, a su inverso
(para la operación +) se denotará −x.
 Si la operación • posee neutro en A, éste se denotará por 1 y se
dice que (A,+,•) es un anillo con unidad.
 Si x ∈ A posee inverso para la operación •, éste se denotará por
x−1. Si • es conmutativa, (A,+,•) se llamará anillo conmutativo.
29
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Anillos (cont.)
 El ejemplo más sencillo y representativo de estructura de
anillo se encuentra en (Z,+,•), el anillo de los enteros. Este
anillo tiene unidad y es conmutativo.
 Por similitud con (Z,+,•), cuando tratemos con un anillo
unitario cualquiera, en general se refiere a la suma y al
producto como primera y segunda operación, respectivamente,
y se utiliza el 0 y el 1 como neutros respectivos.
 Para abreviar la notación, se escribe ab en lugar de a • b.
30
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Anillos (cont.)
 Los axiomas de anillo son una abstracción del
comportamiento de los números enteros respecto de las
operaciones aritméticas elementales: la suma y el producto.
 Otra clase importante de anillos abelianos unitarios finitos es
(Zn,+,•) el anillo de los enteros módulo n.
31
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Anillos (cont.)
 Sea (A,+,•) un anillo, entonces:
 (∀x ∈ A) 0 • x = x • 0 = 0.
 (∀x,y ∈ A) −(x • y) = (−x) • y = x • (−y).
 (∀x,y ∈ A) (−x) • (−y) = x • y.
 Si el anillo posee unidad, entonces (∀x ∈ A) −x = (−1) • x = x •
(−1).
 La ley de simplificación es otra propiedad importante que
cumplen los números enteros, es decir, para todo a,b,c  Z* =
Z – {0} se verifica ab = ac  b = c.
32
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas
Anillos (cont.)
 La propiedad de ley de cancelación está relacionada con la
definición:
 El anillo (A,+, •) admite divisores de cero si existen a,b  A* =
A – {0} tales que ab = 0.
 Los elementos [2] y [3] de Z6 son dos divisores de cero.
 Los divisores de cero de un anillo Zn son aquellas clases cuyos
elementos no son primos relativos de n (mcd(n,a)  1).
 Teorema. Sea el anillo (A,+, •), entonces es válida la ley de
cancelación si y sólo si no tiene divisores de cero.
 Se llama dominio de integridad, a un anillo conmutativo
unitario que no contiene divisores de cero.
33
UCR-ECCI CI-1204 Matemática Discretas
Estructuras Algebraicas 34
Referencias Bibliográficas
 Murillo, Manuel. “Introducción a la Matemática Discreta”. 2da
edición, Editorial Tecnológica de Costa Rica. Cartago, 2007.
 Wikipedia. “Estructura algebraica”. URL:
http://es.wikipedia.org/wiki/Estructura_algebraica.
Modificado 22 de febrero del 2009.
 “Anillos y cuerpos”. URL:
http://www.edicionsupc.es/ftppublic/pdfmostra/ME02405M.p
df.
 Wikipedia. “Anillos”. URL:
http://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica).
Modificado 18 de septiembre del 2008.

Más contenido relacionado

Similar a Clase 8.pdf

Conjunto, Relaciones, Funciones y Notacion Z
Conjunto, Relaciones, Funciones y Notacion ZConjunto, Relaciones, Funciones y Notacion Z
Conjunto, Relaciones, Funciones y Notacion Zjunito86
 
Algebra tema1teoria(10 11)
Algebra tema1teoria(10 11)Algebra tema1teoria(10 11)
Algebra tema1teoria(10 11)Manu Medi
 
Estructuras algebraicas 1
Estructuras algebraicas 1Estructuras algebraicas 1
Estructuras algebraicas 1rosibel_mejia
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasÄlëx Vïllëğäš
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasCarlos Iza
 
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
 
IntroduccióN A La TeoríA De Conjuntos. Pdf
IntroduccióN A La TeoríA De Conjuntos. PdfIntroduccióN A La TeoríA De Conjuntos. Pdf
IntroduccióN A La TeoríA De Conjuntos. PdfLISHAVELY
 
Tema_1.3_REALES.pdf
Tema_1.3_REALES.pdfTema_1.3_REALES.pdf
Tema_1.3_REALES.pdfManuel Ortiz
 
Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funcionesJACMIR AREYAN
 
La Transformación Unitaria U(1)
La Transformación Unitaria U(1)La Transformación Unitaria U(1)
La Transformación Unitaria U(1)Alfredo J Saavedra
 
Diapositivas de Estructuras algebraicas
Diapositivas de Estructuras algebraicasDiapositivas de Estructuras algebraicas
Diapositivas de Estructuras algebraicasCarol Bucheli
 

Similar a Clase 8.pdf (20)

Estructuras conceptos
Estructuras conceptosEstructuras conceptos
Estructuras conceptos
 
1 3 teoriadegrupos
1 3 teoriadegrupos1 3 teoriadegrupos
1 3 teoriadegrupos
 
Conjunto, Relaciones, Funciones y Notacion Z
Conjunto, Relaciones, Funciones y Notacion ZConjunto, Relaciones, Funciones y Notacion Z
Conjunto, Relaciones, Funciones y Notacion Z
 
Algebra tema1teoria(10 11)
Algebra tema1teoria(10 11)Algebra tema1teoria(10 11)
Algebra tema1teoria(10 11)
 
Trat agua cap1
Trat agua cap1Trat agua cap1
Trat agua cap1
 
Estructuras algebraicas 1
Estructuras algebraicas 1Estructuras algebraicas 1
Estructuras algebraicas 1
 
Grupos, anillos y cuerpos
Grupos, anillos y cuerposGrupos, anillos y cuerpos
Grupos, anillos y cuerpos
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
 
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
 
IntroduccióN A La TeoríA De Conjuntos. Pdf
IntroduccióN A La TeoríA De Conjuntos. PdfIntroduccióN A La TeoríA De Conjuntos. Pdf
IntroduccióN A La TeoríA De Conjuntos. Pdf
 
Tema_1.3_REALES.pdf
Tema_1.3_REALES.pdfTema_1.3_REALES.pdf
Tema_1.3_REALES.pdf
 
Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funciones
 
funciones
funcionesfunciones
funciones
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
La Transformación Unitaria U(1)
La Transformación Unitaria U(1)La Transformación Unitaria U(1)
La Transformación Unitaria U(1)
 
Diapositivas de Estructuras algebraicas
Diapositivas de Estructuras algebraicasDiapositivas de Estructuras algebraicas
Diapositivas de Estructuras algebraicas
 

Más de DulcixDazLemus

Más de DulcixDazLemus (8)

Clase 12.pdf
Clase 12.pdfClase 12.pdf
Clase 12.pdf
 
Clase 14.pdf
Clase 14.pdfClase 14.pdf
Clase 14.pdf
 
Clase 12.pdf
Clase 12.pdfClase 12.pdf
Clase 12.pdf
 
Fase Mínima y Fase no Mínima Diagrama de Bode.docx
Fase Mínima y Fase no Mínima Diagrama de Bode.docxFase Mínima y Fase no Mínima Diagrama de Bode.docx
Fase Mínima y Fase no Mínima Diagrama de Bode.docx
 
Clase 9.pdf
Clase 9.pdfClase 9.pdf
Clase 9.pdf
 
Clase 5.pdf
Clase 5.pdfClase 5.pdf
Clase 5.pdf
 
Clase 2.pdf
Clase 2.pdfClase 2.pdf
Clase 2.pdf
 
Clase 13.pptx
Clase 13.pptxClase 13.pptx
Clase 13.pptx
 

Último

Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfMaryRotonda1
 
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
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADauxsoporte
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
celula, tipos, teoria celular, energia y dinamica
celula, tipos, teoria celular, energia y dinamicacelula, tipos, teoria celular, energia y dinamica
celula, tipos, teoria celular, energia y dinamicaFlor Idalia Espinoza Ortega
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxlclcarmen
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónLourdes Feria
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptELENA GALLARDO PAÚLS
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptxEXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptxPryhaSalam
 
La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...JonathanCovena1
 
Planificacion Anual 4to Grado Educacion Primaria 2024 Ccesa007.pdf
Planificacion Anual 4to Grado Educacion Primaria   2024   Ccesa007.pdfPlanificacion Anual 4to Grado Educacion Primaria   2024   Ccesa007.pdf
Planificacion Anual 4to Grado Educacion Primaria 2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfAngélica Soledad Vega Ramírez
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxzulyvero07
 
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
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAEl Fortí
 

Último (20)

Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdf
 
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
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
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
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
celula, tipos, teoria celular, energia y dinamica
celula, tipos, teoria celular, energia y dinamicacelula, tipos, teoria celular, energia y dinamica
celula, tipos, teoria celular, energia y dinamica
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptxEXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
EXPANSIÓN ECONÓMICA DE OCCIDENTE LEÓN.pptx
 
La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...
 
Planificacion Anual 4to Grado Educacion Primaria 2024 Ccesa007.pdf
Planificacion Anual 4to Grado Educacion Primaria   2024   Ccesa007.pdfPlanificacion Anual 4to Grado Educacion Primaria   2024   Ccesa007.pdf
Planificacion Anual 4to Grado Educacion Primaria 2024 Ccesa007.pdf
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
 
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
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
Presentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza MultigradoPresentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza Multigrado
 

Clase 8.pdf

  • 1. Universidad De Occidente Estructuras Lógicas Inga. Dulce Fabiola Díaz Lemus Estructuras Algebraicas
  • 3. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas 3 Estructuras Algebraicas  Sea E un conjunto no vacío, una función f se llama ley de composición interna (operación) sobre E. Además, la imagen f(a,b) se llama el operado de a y b.  Es usual representar las operaciones internas con algunos símbolos especiales, en vez de letras, como *, , , entre otros.  Por definición, si * es una ley de composición interna sobre E, entonces es cerrada sobre E, es decir, se cumple que E E E f   :   E b a E b a     ,
  • 4. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas 4 Estructuras Algebraicas (cont.)  Si * es una ley de composición interna sobre E, se dice que (E,*) posee una estructura algebraica.  Una estructura algebraica es una n-tupla (a1,a2,...,an), donde a1 es un conjunto dado no vacío, y {a2,...,an} un conjunto de operaciones aplicables a los elementos de dicho conjunto.  Si * es una ley de composición interna sobre E, se dice que *:  Es asociativa: para cualesquiera elementos del grupo no importa el orden en que se operen las parejas de elementos, mientras no se cambie el orden de los elementos, siempre dará el mismo resultado.     c b a c b a E b a        cumple se , Si
  • 5. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas 5 Estructuras Algebraicas (cont.)  Si * es una ley de composición interna sobre E, se dice que *:  Posee elemento neutro o elemento identidad (comúnmente denotado como e, letra inicial de la palabra alemana einheit, que significa "unidad"): existe un elemento que al ser operado con cualquier otro, no lo modifica (como el cero en la suma o el 1 en la multiplicación). La unicidad del elemento neutro es fácilmente demostrable. .  Tiene elementos opuestos o inversos: todos los elementos del grupo tienen un elemento opuesto (o inverso), con el que al operarse dan por resultado el elemento neutro e. El elemento inverso de uno dado es único. a a e e a E a e         que tal Si b a e a b b a E b E a           1 escribe se caso cuyo en que tal Si
  • 6. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas 6 Estructuras Algebraicas (cont.)  Si * es una ley de composición interna sobre E, se dice que *:  Es conmutativa: para cualesquiera elementos del grupo no importa el orden de los elementos siempre dará el mismo resultado.  Un elemento h es absorbente por la izquierda si h * a = h y lo es por la derecha si a * h = h para todo a. Se dice que es el elemento absorbente si lo es por la derecha y por la izquierda. a b b a E b a      cumple se , Si
  • 7. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas 7 Estructuras Algebraicas (cont.)  En el caso que E sea un conjunto finito, es decir, E = {a1, a2, …, an}, la operación * se puede representar en una tabla, en la cual la entrada i,j denota el elemento ai * aj: * a1 a2 … aj … an a1 a1 * a1 … … a2 a2 * a1 a2 * a2 … a2 * aj … a2 * an … … … … … … … ai ai * a1 ai * a2 … ai * aj … ai * an … … … … … … an an * a1 an * a2 … an * aj … an * an
  • 8. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Estructuras Algebraicas (cont.)  Un elemento a es idempotente si a * a = a para todo a.  Un elemento a es involutivo si a * a = e para todo a.  Un elemento a es central si conmuta con todos los elementos de E, el conjunto formado por todos los elementos centrales se llama el centro de E y se denota por C(E).  (C(E),*) es un subgrupo de (E,*).     E b ba ab E a E C      ,
  • 9. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Grupos  Si G es un conjunto no vacío y * es una operación interna definida sobre G. Se dice que (G,*) es:  Un semigrupo si * es asociativa.  Un monoide si es un semigrupo con elemento neutro.  Un grupo si es un monoide que cumple la propiedad de los inversos, es decir, (G,*) es un grupo si * es cerrada, asociativa, posee elemento neutro y cada elemento tiene inverso.  Un grupo abeliano o grupo conmutativo si es un grupo y se cumple la conmutatividad. En el caso de que no sea un grupo, se dice que la estructura algebraica es conmutativa. 9
  • 10. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Grupos (cont.)  Notaciones:  La notación multiplicativa .  Operación: , , , llamada producto.  Elemento neutro: 1.  Elemento inverso: x − 1.  La notación aditiva .  Operación: +, llamada suma.  Elemento neutro: 0.  Elemento opuesto de un elemento x del grupo: -x. 10
  • 11. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Grupos (cont.)  Si (G,*) es un monoide, se tiene que a0 = e, y para n natural, con n  1:  Si además cumple con la propiedad de los inversos, los exponentes negativos se definen como: 11 a a a a a a a a n n n         ... 1 n veces a  n n a a 1   
  • 12. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Grupos (cont.)  Teorema 1. Si (G,*) es un grupo, en general se tiene que  Demostración. 12     a a a b b a          1 1 1 1 1 (1) (2)                       a a e a a a a a a e a a e a a a e a a b b a a b b a e b a b a                                              1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ) 2 ( ) 1 (
  • 13. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Grupos (cont.)  Notar que si el grupo es abeliano se puede escribir  En caso contrario se debe respetar (1) del teorema 1.  Si el grupo es finito, su orden se denota por o(G) y corresponde a la cardinalidad como conjunto.  Para n  N con n  2, y la relación  definida sobre Z por se define al conjunto Zn = Z/, es decir, Zn es el conjunto de clases residuales módulo n.  Sobre estos conjuntos Zn, se definen las operaciones usuales de suma  y multiplicación  de clases. 13   1 1 1       b a b a   nk b a Z k b a       que tal
  • 14. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Grupos (cont.)  Para todo n  2, (Zn,) es grupo abeliano y o(Zn) = n.  (Zn *,) es grupo abeliano si y sólo si n es un número primo. Además, o(Zn *) = n – 1.  Sea G un grupo, y un elemento x  G. se dice que G es un grupo cíclico generado por x si para cada elemento y  G existe un n  Z tal que y = xn. 14
  • 15. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Grupos (cont.)  Teorema 2. Si G es cíclico entonces es grupo abeliano, y si G es generado por x entonces también es generado por su inverso x-1.  Demostración. 15   1 1 por generado es decir, Es que tal abeliano grupo Es que tal , , ) 2 ( ) 1 (                           x G Z n x y x y Z n G y zy x x x x x x yz x z x y Z m n G z y n n n m n m m n m n m n
  • 16. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Grupos (cont.)  Para el conjunto X = {1, …, n}, se define el grupo simétrico Sn como el conjunto de todas las funciones biyectivas de X en X, dotado con la composición de funciones como operación interna.  El orden de Sn es n!, o(Sn) = n!.  Al asignar la imagen al primer elemento se tienen n posibilidades al fijar una de éstas, para asignar la imagen del segundo elemento se tienen n – 1 posibilidades; así, al fijar las imágenes para hacer la función biyectiva, el número de funciones que se obtiene es n!.  Si p es un número primo y G un grupo, se dice que G es un p- grupo si su orden es una potencia de p. 16
  • 17. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Subgrupos  Algunos conjuntos que poseen estructura de grupo, poseen subconjuntos que también tienen esta misma estructura de grupo.  Si (G,*) es un grupo, H  G con H  , H se llamará subgrupo de G, y se denota por H < G, si y sólo si (H,*) es un grupo.  Un subgrupo es un subconjunto no vacío del grupo que sea grupo con la operación restringida a sus elementos. 17
  • 18. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Subgrupos (cont.)  Teorema 3 (De Lagrange). El orden del subgrupo es un divisor del orden del grupo. (Buscar demostración)  Teorema 4. Sea (G,*) un grupo, con H  G con H  , entonces  Demostración. Ver libro en la página 322.  Teorema 5. Sea (G,*) un grupo finito, con H  G con H  , entonces  Demostración. Ver libro en la página 323, 18   H b a H b a G H       1 ,   H b a H b a G H       ,
  • 19. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Subgrupos (cont.)  El teorema 3 determina la cantidad de elementos que debe tener un subgrupo, en caso de que el grupo tenga orden finito.  Los teoremas 4 y 5 dan la condición necesaria y suficiente para el caso que se quiera demostrar, o verificar, que un subconjunto de un grupo es o no un subgrupo de él.  Además, al ser de equivalencia en ambos teoremas, en el caso de que no se cumpla la condición de cerradura planteada, se concluye que el subconjunto no es subgrupo. 19
  • 20. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Subgrupos (cont.)  Teorema 6. Un subgrupo de un p-grupo es un p-grupo.  Demostración. 20         grupo - es ' , divide : Lagrange de Teorema grupo - un es ' p H p H o p G o H o p G o p G G H             
  • 21. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Subgrupos (cont.)  Una condición necesaria para que (Zn *,) sea grupo es que p sea primo. Así, en el caso que p no es primo no se obtiene la deseada estructura de grupo.  Al considerar el subconjunto de Zn * formado por las clases residuales que son relativamente primos con n, se obtiene un grupo abeliano.  El conjunto Un, definido por es un grupo abeliano. 21     1 , . . .     n a d c m Z a U n n 
  • 22. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Homomorfismos de Grupo  Si (G,*) y (F,) son dos grupos. Se dice que una aplicación f : G  F es un homomorfismo de grupos si para todo a y b en G se satisface que f(a * b) = f(a)  f(b). Si, además de ser homomorfismo,  f es sobreyectiva, entonces f es un epimorfismo.  f es inyectiva, entonces f es un monomorfismo.  f es biyectiva, entonces f es un isomorfismo.  G = F, entonces f es un endomorfismo.  G = F y biyectiva, entonces f es un automorfismo. 22
  • 23. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Homomorfismos de Grupo (cont.)  Para un homomorfismo de grupos f : G  F se define el núcleo de f como el conjunto Nf = f -1({e’}), donde e’ es el elemento neutro de F.  El núcleo de un homomorfismo está formado por los elementos cuya imagen es el neutro.  kerf = Nf = {x  G | f(x) = e’} 23
  • 24. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Homomorfismos de Grupo (cont.)  Teorema 7. Si f : G  F es un homomorfismo de grupos, si e es el elemento neutro de G y además e’ es el elemento neutro de F, entonces se cumple que  Demostración. 24         1 1 '     x f x f e e f (1) (2)                                     1 1 1 1 1 sí entre inversos son ' ' ' ) 2 ( ) 1 (                      x f x f x f x f x f x f x x f e e f e e f e x f e f x f x f e f x f e x f x f
  • 25. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Homomorfismos de Grupo (cont.)  Teorema 8. Sea f : G  F es un homomorfismo de grupos, con e el elemento neutro de G y e’ el elemento neutro de F, si Nf = {e} entonces f es inyectiva.  Demostración. 25                     inyectiva es ' ' ' 1 1 1 1 1 f b a e ab e N ab e ab f e b f a f e b f a f b f a f f                   
  • 26. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Anillos  Un anillo es una estructura algebraica formada por un conjunto y dos operaciones que están relacionadas entre sí, mediante la propiedad distributiva, de manera que generalizan las nociones de número, especialmente en el sentido de su “operabilidad”.  En un anillo se tienen un conjunto no vacío A, y dos operaciones binarias + y •. 26
  • 27. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Anillos (cont.)  Un anillo es un triple (A,*,), lo cual es una estructura algebraica en la cual A es un conjunto no vacío y *,: A  A  A son dos operaciones binarias definidas sobre A que satisfacen las condiciones siguientes:  (A,*) es un grupo abeliano.  (A,) es un semigrupo.  La operación  es distributiva respecto a la operación *. Esto es, para todo a,b  A 27                      c b c a c b a c a b a c b a      
  • 28. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Anillos (cont.)  Cuando (A,) es un monoide se dice que A es un anillo unitario o anillo con unidad que representaremos por 1 (elemento neutro del producto).  Cuando (A,) es un semigrupo conmutativo, se dice que A es anillo conmutativo o anillo abeliano. 28
  • 29. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Anillos (cont.)  Para trabajar con una notación más familiar, el anillo (A,+,•), en el cual:  El neutro de (A,+) se denota 0, y para todo x ∈ A, a su inverso (para la operación +) se denotará −x.  Si la operación • posee neutro en A, éste se denotará por 1 y se dice que (A,+,•) es un anillo con unidad.  Si x ∈ A posee inverso para la operación •, éste se denotará por x−1. Si • es conmutativa, (A,+,•) se llamará anillo conmutativo. 29
  • 30. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Anillos (cont.)  El ejemplo más sencillo y representativo de estructura de anillo se encuentra en (Z,+,•), el anillo de los enteros. Este anillo tiene unidad y es conmutativo.  Por similitud con (Z,+,•), cuando tratemos con un anillo unitario cualquiera, en general se refiere a la suma y al producto como primera y segunda operación, respectivamente, y se utiliza el 0 y el 1 como neutros respectivos.  Para abreviar la notación, se escribe ab en lugar de a • b. 30
  • 31. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Anillos (cont.)  Los axiomas de anillo son una abstracción del comportamiento de los números enteros respecto de las operaciones aritméticas elementales: la suma y el producto.  Otra clase importante de anillos abelianos unitarios finitos es (Zn,+,•) el anillo de los enteros módulo n. 31
  • 32. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Anillos (cont.)  Sea (A,+,•) un anillo, entonces:  (∀x ∈ A) 0 • x = x • 0 = 0.  (∀x,y ∈ A) −(x • y) = (−x) • y = x • (−y).  (∀x,y ∈ A) (−x) • (−y) = x • y.  Si el anillo posee unidad, entonces (∀x ∈ A) −x = (−1) • x = x • (−1).  La ley de simplificación es otra propiedad importante que cumplen los números enteros, es decir, para todo a,b,c  Z* = Z – {0} se verifica ab = ac  b = c. 32
  • 33. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas Anillos (cont.)  La propiedad de ley de cancelación está relacionada con la definición:  El anillo (A,+, •) admite divisores de cero si existen a,b  A* = A – {0} tales que ab = 0.  Los elementos [2] y [3] de Z6 son dos divisores de cero.  Los divisores de cero de un anillo Zn son aquellas clases cuyos elementos no son primos relativos de n (mcd(n,a)  1).  Teorema. Sea el anillo (A,+, •), entonces es válida la ley de cancelación si y sólo si no tiene divisores de cero.  Se llama dominio de integridad, a un anillo conmutativo unitario que no contiene divisores de cero. 33
  • 34. UCR-ECCI CI-1204 Matemática Discretas Estructuras Algebraicas 34 Referencias Bibliográficas  Murillo, Manuel. “Introducción a la Matemática Discreta”. 2da edición, Editorial Tecnológica de Costa Rica. Cartago, 2007.  Wikipedia. “Estructura algebraica”. URL: http://es.wikipedia.org/wiki/Estructura_algebraica. Modificado 22 de febrero del 2009.  “Anillos y cuerpos”. URL: http://www.edicionsupc.es/ftppublic/pdfmostra/ME02405M.p df.  Wikipedia. “Anillos”. URL: http://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica). Modificado 18 de septiembre del 2008.