Ing.

Sistemas
2016
Matemtica 1

Clase 7

Ojeda, jorge

Grupos

Pgina 1 de 6

1) Estructuras algebraicas. Qu es un grupo? Qu es un subgrupo? Qu se entiende con

homomorfismo entre grupos finitos?

a) Los Naturales con la suma es un grupo?

b) Los Naturales con el producto es un grupo?
c) Los Reales con la suma es un grupo?
c) Los Reales con el producto es un grupo?
d) Las matrices diagonales y el producto matricial es un grupo?
Adems les propongo: hagan la autoevaluacin y seleccionen de all
enunciados y fundamenten aqu la respuesta para aprender ms y
mejor les parece?

1) grupo:
Un grupo es un conjunto de elementos sobre los cuales se define una
operacin binaria, para la cual se verifican las siguientes propiedades.

a , b , c G , ( a . b ) . c=a .(b . c)

I.

Asociativa: Para cualquier

II.

Identidad o Existencia de Elemento Neutro: Existe un elemento

tal que para todo

III.

Inversa: Para todo

eg

g , e . x=x .e=x .

x G , existe un

x G tal que x . x =x . x Con a,b

y c elementos del grupo G.

Es fcil probar que el elemento neutro e es nico y que el elemento
inverso para cualquier elemento del grupo tambin lo es.
IV.

Conmutativa: Para cualquier

a , b G , a . b=b .a

Si un grupo verifica la propiedad conmutativa, entonces el grupo es

conmutativo o abeliano.

Subgrupo

Ing. Sistemas
2016
Matemtica 1

Clase 7

Ojeda, jorge

Grupos

Pgina 2 de 6

Un subconjunto de H de un grupo G es un subgrupo si satisface todos los

axiomas de grupo. Los siguiente dos axiomas son suficientes:
1) para todo

a,bH ,a.bH .

2) para todo

a H , a1 H .

La asociativa en H es heredada de G. Y se (S1) y (S2), podemos mostrar que la

identidad existe en H.

homomorfismo:

Definicion Sean (G 1, ), (G 2, ) grupos, y sea f : G 1 G 2 una aplicacin

entre ellos. Se dice que f es un homomorfismo de grupos si
f(x y) = f(x) f(y)
Un homomorfismo inyectivo recibe el nombre de monomorfismo; un
homomorfismo suprayectivo, epimorfismo; un homomorfismo biyectivo,
isomorfismo; y un isomorfismo de G en s mismo, automorfismo.
Si existe un isomorfismo entre (G 1, ) y (G 2, ), se dice que ambos grupos
son isomorfos, y se denota (G 1, ) = (G 2, ).
Proposicin Sean (G, ), (H, ) grupos, y sea f : G H un homomorfismo
entre ellos. Entonces, para todos x, y G,
f(x y 1) = f(x) f(y) 1
f(y 1 x) = f(y) 1 f(x)
a) Los Naturales con la suma es un grupo?
Los enteros con la suma no son un grupo, no existe neutro (no tiene 0) y su no
existe inverso que sera x un numero negativo que no pertenece a los
naturales.

Ing. Sistemas
2016
Matemtica 1

Clase 7

Ojeda, jorge

Grupos

Pgina 3 de 6

b) Los Naturales con el producto es un grupo?

Los naturales con el producto no son un grupo, existe el neutro que es el 1,
pero no existe el inverso que en este caso seria 1/x (que es fraccionario).
c) Los Reales con la suma es un grupo?
Los reales si son un grupo con la suma, existe el elemento neutro que es el 0,

x R x , es asociativa

existe el inverso de
conmutativa

a , b R , a+b=b+ a

a , b , c R , ( a+b ) +c =a+(b+c )

, como cumple el axioma de ser conmutativa

es un grupo abeliano.
c) Los Reales con el producto es un grupo?
Si son un grupo con el producto, existe el elemento neutro que es el 1, existe el

1
x , x1 G , x . x1=1 tal que =x1
x

elemento inverso

a , b R , a . b=b . a

, es conmutativa

a , b , c R , ( a .b ) . c=a. (b . c) , como cumple

, es asociativa

con todos los axiomas es un grupo abeliano.

d) Las matrices diagonales y el producto matricial es un grupo?
Las matrices diagonales con el producto

[ ] [ ][ ] [ ]

1 0 0
a 0 0 1 0 0
a 0 0
el neutro es 0 1 0 tal que 0 b 0 0 1 0 = 0 b 0
0 0 1
0 0 c 0 0 1
0 0 c

Si existe el det 0, entonces la matriz tiene inversa.

[ ] [ ][ ]
1
a

el inverso 0

1
b

[ ]

1
a

a 0 0
0 tal que 0 b 0 0
0 0 c
1
0
c

1
a

a.

1
b

0 = 0

1
c

1
b.
b
0

[ ]

1 0 0
0 =0 1 0
0 0 1
1
c.
c

Ing. Sistemas
2016
Matemtica 1

Clase 7

Ojeda, jorge

Grupos

Pgina 4 de 6

[ ][ ] [
]
[ ][ ] [
][
]
a 0 0 d 0 0
a.d 0
0
conmutaiva 0 b 0 . 0 e 0 = 0 b . e 0
0 0 c 0 0 f
0
0 c .f
d 0 0 a 0 0
d .a 0
0 e 0 . 0 b 0 = 0 e .b
0 0 f 0 0 c
0
0

0
a.d 0
0
0 = 0 b.e 0
f .c
0
0 c.f

, a.d= d.a, e.d=d.e,

f.c=c.f

[ ][ ][ ] [

][ ]

a 0 0 d 0 0 g 0 0
a.d 0
0
g 0 0
asociativa 0 b 0 . 0 e 0 . 0 h 0 = 0 b . e 0 . 0 h 0 =
0 0 c 0 0 f 0 0 i
0
0 c. f 0 0 i

(a . d ). g
0
0
0
(b . e) .h
0
0
0
( c . f ).i

[ ][

][

a .(d . g)
0
0
a 0 0 d.g 0
0
0 b 0 . 0 e .h 0 =
0
b .(e . h)
0
0 0 c
0
0 f .i
0
0
c .( f . i)

Como es producto de nmeros reales dentro de los componentes de la diagonal

principal estos son asociativos.
Cumple con todos los axiomas es un grupo.

Parte B. Individual.
Responda en el foro Pizarrn de la Actividad 6 dos (2) preguntas all
formuladas. Se realizar una vez concluida la bsqueda en Internet.

Ing. Sistemas
2016
Matemtica 1

Clase 7

Ojeda, jorge

Grupos

Pgina 5 de 6

Lei mal y asi la conteste mal, es verdadera porque en la propiedades de

conjunto dice que si A, B pertenecen al conjunto G y se asocia la operacin
suma +, entonces tengo que si hago A+B=X, me da un valor X el resultado de
dicha operacin tienen que pertenecer al conjunto G, seria X G.

506- en efecto no cumple con que exista un inverso para todas las matrices
PxP, porque tendra que decir que todas tienen determinante distinto de cero
asi existe su inversa, y no se puede asegurar que no exista una matriz cuyo
determinante sea cero y pertenezca al grupo PxP.

Ing. Sistemas
2016
Matemtica 1

Clase 7

Ojeda, jorge

Grupos

Pgina 6 de 6

507- Asociativa: Para cualquier a,b,c G,(a.b).c=a.(b.c), aca se ve que se

asocia en un lado solo a y b y en el otro b y c, y el resultado va a ser el mismo.