Instituto Universitario Aeronutico

Facultad de Ciencias de la Administracin

INGENIERA DE SISTEMAS
MATEMTICA I

Actividad obligatoria N 6

Autor:
Casanova, Gabriel Juan Jos

Parte A. Individual.
Busque y seleccione en Internet (plataformas como Wikipedia, Youtube, Scribd, o
bsqueda libre usando palabras clases en buscadores como Google, Google
acadmica entre otros), informacin sobre grupo, subgrupo, grupo finito,
homomorfismo entre grupos y ejemplos. Trate de no excederse de este temario. De
ser necesario presente una sntesis propia.
Luego, comparta en el foro Pizarrn de la Actividad 6 citando la fuente de consulta.
Cuando el tutor lo crea conveniente por considerar suficientes los aportes, deber
publicar aqu debajo, en la ventana de Realizar actividad.
Puntaje mximo:

10 puntos.

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.
Puntaje mximo:

10 puntos.

Parte A
Teora de Grupos

Fuente: wikibooks
Grupo
Definicin de grupo y ejemplos
Fuente: youtube

Axiomas de Grupo
Un grupo es un par ordenado compuesto por un conjunto, G y operacin binaria cerrada en
''G'' que compone dos elementos cualesquiera a y b de G para formar otro elemento
notado como a b o ab. Para poder calificar como un grupo a (G, ), deben satisfacer
cuatro axiomas:

Cerradura o Clausura
Para todo a, b de G, el resultado de la operacin

a b tambin pertenece a G.

Asociatividad
Para todos a, b y c de G, se cumple la ecuacin

(a b) c = a (b c).

Elemento neutro
Existe un elemento e de G, tal que para todos los elementos a de G, se cumpla la ecuacin
a = a e = a. El elemento de identidad de un grupo G se escribe a menudo como 1.

Elemento inverso
Para todo a de G, existe un elemento b de G tal que a b = b a = e.
El orden en el que se hace la operacin de grupo puede ser significativo. En otras palabras, el
resultado de operar el elemento a con el elemento b no debe dar necesariamente el mismo que
operando b con a; la ecuacin a b = b a puede no ser siempre cierta. Esta ecuacin
siempre se cumple en el grupo de enteros con la adicin: a + b = b + a para dos enteros
cualesquiera (propiedad conmutativa de la adicin). Sin embargo, este grupo de simetra no
siempre se cumple como se especificar ms abajo. Los grupos para los cuales la ecuacin a

b = b a se cumple siempre se denominan abelianos (en honor a Niels Abel). As, el grupo de
los enteros con la adicin es abeliano.

Fuente: Wikipedia
Subgrupo
En lgebra, dado un grupo G con una operacin binaria *, se dice que un subconjunto no
vaco H de G es un subgrupo de G si H tambin forma un grupo bajo la operacin *. O de
otro modo, H es un subgrupo de G si la restriccin de * a H satisface los axiomas de
grupo.1
Un subgrupo propio de un grupo G es un subgrupo H que es un subconjunto
propio de G (es decir H G). El subgrupo trivial de cualquier grupo es el subgrupo {e}
que consiste solamente en el elemento identidad.
El grupo G a veces se denota por el par ordenado (G, *), generalmente para acentuar la
operacin * cuando G lleva varias estructuras algebraicas o de otro tipo. En lo siguiente, se
sigue la convencin usual y se escribe el producto a*b como simplemente ab.

Fuente: Wikipedia

Parte B

a) Los Naturales con la suma es un grupo?

No, no lo son dado que no cumple con la propiedad de elemento inverso.
b) Los Naturales con el producto es un grupo?
Como se coment arriba los naturales no cumple con las propiedades.
Ej. a b = b a e.
c) Los Reales con la suma es un grupo?
Cumplen con todos las propiedades indicadas en la parte A.
c) Los Reales con el producto es un grupo?
Cumplen con todos las propiedades indicadas en la parte A.
d) Las matrices diagonales y el producto matricial es un grupo?
Las matrices diagonales cumplen con todos las propiedades indicadas en la
parte A. Vale recordar que una condicin para que se pueda diagonalizar
una matriz es que esta posea inversa y para que exista inversa el
determinante debe ser distinto de 0.
En cambio el producto matricial no cumple con todas las propiedades, un
ejemplo de ello es la inexistencia de asociatividad. Sean 3 matrices A1x3,
B3x2 y C2x5. No se cumple (A.B).C A(B.C)
Anexo
(Armando rafael Garcia 17/06/2016 17:36)
515. En todo grupo abeliano el resultado de operar con dos elementos no depende del orden
en que se toman.
Verdadero

En efecto, tal como se indica en los axiomas de grupo Los grupos para los cuales la
ecuacin a b = b a se cumple siempre se denominan abelianos (en honor a Niels
Abel)
(LEYSA SOL ACOSTA DIAZ 18/06/2016 13:29)
510. Si tomamos como conjunto G a todas las matrices diagonales pxp, y como * la
operacin suma entre matrices, resulta que (G,*) es un grupo.
Verdadero

Efectivamente, al indicar que todas son matrices diagonales aseguramos que tengan
inversa y con ello, sumado al cumplimiento de los dems axiomas se deja comprobado
que es un grupo.