Instituto Universitario Aeronutico

Facultad Ciencias de la Administracin

INGENIERA DE SISTEMAS
Matemtica I programa 2010
Tutora A. Olmos

Actividad 7
Estructuras algebraicas
Integrantes: Montiel Juan Pablo
Curso: Z40
Fecha: 21-11-2014

PARTE A
En lgebra abstracta, un grupo es una estructura algebraica que consta de un conjunto con
una operacin que combina cualquier pareja de sus elementos para formar un tercer elemento.
Para que se pueda calificar como un grupo, el conjunto y la operacin deben satisfacer algunas
condiciones llamadas axiomas de grupo, estas condiciones son:

tener la propiedad asociativa

tener elemento identidad
elemento inverso.

A modo de ejemplo, notemos que (R,.) no es un grupo pues 0 no posee inverso. Sin
embargo, (R\{0},.) s es un grupo.

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.
Las races de la unidad, por ejemplo, en el plano complejo forman un subgrupo del grupo circular
U(1).

Un grupo finito, es un conjunto de nmeros que tiene un principio y un fin, osea que ese conjunto
no contiene el valor infinito.
Un ejemplo de conjunto finito o grupo finito, podran ser:
(0;100); [-100;500]; etc...esos son intervalos de un conjunto de nmeros finito.
En cambio ejemplos de grupos no finito podran ser:
El conjunto de nmeros naturales; el de los reales; etc...
tambin por lo general se suele decir que el resultado de una ecuacin es un numero finito, esto
significa que el valor es distinto de infinito, osea un numero hasta el cual se puede llegar contando

Sean (A,) y (B,) dos estructuras algebraicas, y sea f: AB una funcin. Sabemos que si x,y A
entonces f(x), f(y) B. Como sobre A tenemos definida una operacin , podemos hacernos la
pregunta: cunto vale f(xy)?
Los morfismos sern las funciones de A en B tales que f(x y) se construye operando f(x) y f(y), es
decir tales que f(xy) = f(x) f(y) (recordemos que como f(x), f(y) B, entonces la operacin que
podemos aplicarles no es , sino ).
Una funcin f: A B es un homomorfismo, o simplemente un morfismo, si
( x,y A) f(xy) = f(x)f(y)

Como bibliografa para extraer estas definiciones y ejemplos, utilice paginas web como Wikipedia,
Yahoo y Google.

PARTE B

5. Si tomamos como conjunto G a todas las matrices cuadradas, y como * la operacin suma entre
matrices, resulta que (G,*) es un grupo porque:
Para toda A, B matrices cuadradas, su suma A+B es otra matriz cuadrada.
Para toda A, B, C matrices cuadradas la suma no depende de su asociacin. Efectivamente
A+(B+C)=(A+B)+C Existe la matriz cuadrada con todos los coeficientes nulo, llammosla 0, que
cumple para toda matriz cuadrada A, 0+A=A+0=A.
Para cualquier matriz cuadrada A, existe la matriz (-1)A que denotaremos por A, que al sumarse
con A da la identidad. A+(-1)A=(-1)A+A=I
Verdadero
Falso
Falso: porque
se cumple la propiedad de clausura.
se cumple la propiedad asociativa en la suma.
se cumple la propiedad de neutro en la suma.
No se cumple la propiedad de inverso en la suma. (A+(-1)A=(-1)A+A=0) seria Elemento opuesto

14. Grupo y grupo abeliano es lo mismo

Verdadero
Falso
Falso, no es lo mismo, es un grupo si cumple las propiedades Asociativa, existe elemento neutro y
todo elemento tiene inverso. Y se llama grupo abeliado si cumple las propiedades anteriores ms
la propiedad conmutativa.