Documentos de Académico
Documentos de Profesional
Documentos de Cultura
a, b Ea b E
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.
Si a, b E se cumple a b c a b c
7
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. Si . e a E tal que a e e a a
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.
Si a E b E tal que a b b a e
en cuyo caso se escribe a 1 b
8
Estructuras Algebraicas (cont.)
9
Estructuras Algebraicas (cont.)
C E a E ab ba, b E
Grupos
11
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.
12
Grupos (cont.)
a n
a 1 n
13
Grupos (cont.)
a 1 1
a (2)
(1) (2)
Demostración.
a
1
1 1 1
a b a b e
1 a e
a b b 1
a 1
a b b a
1 1 a a
1 1 1
a
a ea 1
a a
1 1 1
a
a a 1 ea
e a
14
Grupos (cont.)
15
Otras cuestiones importantes
17
Anillos (cont.)
a b c a b a c
a b c a c b c
18
Anillos (cont.)
19
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.
20
Anillos (cont.)
21
Anillos (cont.)
22
Anillos (cont.)
23
Homomorfismos de Grupo
24
Homomorfismos de Grupo (cont.)
25
Imagen y núcleo
Homomorfismos de Grupo (cont.)
f x
f x 1 1
(2)
Demostración.
(1) (2)
f x f x e f x f e
f e e' f x x 1 f x f x 1
f x f x f e f x e'
f x f x 1 son inversos entre sí
f e e'
f x 1 f x
1
27
Homomorfismos de Grupo (cont.)
f a f b f a f b e'
1
f a f b 1 e'
f ab e'
1
ab1 N f e
ab1 e
ab
f es inyectiva
28
Tipología
A recordar:
Un homomorfismo que es también una biyección tal que su inversa es también un
homomorfismo se llama isomorfismo; dos objetos isomorfos son totalmente
indistinguibles por lo que a la estructura en cuestión se refiere.
Un homomorfismo de un conjunto a sí mismo se llama endomorfismo, y si es también un
isomorfismo se llama automorfismo.
Un homomorfismo que es sobreyectivo se llama epimorfismo.
Un homomorfismo que es inyectivo se llama monomorfismo.
Biyección
Isomorfismo
Endomorfismo
Automorfismo
MATEMÁTICAS DISCRETAS