Instituto Universitario Aeronutico

Facultad Ciencias de la Administracin

INGENIERA DE SISTEMAS
Matemtica I programa 2010
Tutora A. Olmos
ATI!IDAD 1". #$i%a% &
Nom're ( apelli%o) Tuare* Da$iel
urso) A1&.
+ec,a) ma(o %e 201&
#$a Estructura Alge'raica es u$ o'-eto matemtico consistente en un conjunto no
vaco ( u$a relaci.$ . le( %e composici.$ i$ter$a %e/i$i%a e$ 0l. E$ algu$os casos ms
complica%os pue%e %e/i$irse ms %e u$a le( %e composici.$ i$ter$a ( tam'i0$ le(es %e
composici.$ e1ter$a.
Ley de composicin interna %e/i$i%a e$ u$ co$-u$to $o 2ac3o A
Es u$a aplicaci.$ o /u$ci.$ %el pro%ucto cartesia$o %e
A x A
e$ A
A

: A x A A

Es %ecir
1 2 1 2
(a , a ) a a
Ejemplo de Operaciones Binarias

4 Suma ( multiplicaci.$ %el co$-u$to %e los $5meros $aturales.
4 6a u$i.$ e i$tersecci.$ %e co$-u$tos
4 6a a%ici.$ ( multiplicaci.$ %e matices cua%ra%os
4 6a %i2isi.$ e$tre $5meros comple-os co$ el %e$omi$a%or %i/ere$te %e
cero
Ley de composicin externa
#$a le( %e composici.$ e1ter$a %e/i$i%a e$ A co$ opera%ores %e 7 es to%a /u$ci.$ .
aplicaci.$ %e
Bx A
e$ A.
Tal 8ue 7

Bx A
A es %ecir9 si b B ( a A la image$ %el par :' ; a< = ' a

A
Seg5$ las propie%a%es 8ue %e'a$ satis/acer estas le(es %e composici.$9 se tie$e$ los
%isti$tos tipos %e estructuras . sistemas a1iomticos. Estos se clasi/ica$ e$ )
Un rupo es u$ co$-u$to G co$ u$a operaci.$ i$ter$a9 8ue 2eri/ica las siguie$tes
propie%a%es)
Un su!rupo %e u$ grupo G es u$ su'co$-u$to > G tal 8ue9 para cuales8uiera
g9, > se tie$e 8ue g, ?1 >; e$ otras pala'ras9 > tie$e estructura %e grupo
co$ la misma operaci.$ 8ue G. @ara i$%icar 8ue u$ su'co$-u$to > G es u$
su'grupo9 escri'iremos $ormalme$te > A G.
"rupo #inito
Grupos /i$itos como a8uellos 8ue se %e/i$e$ e$ u$ co$-u$to /i$ito %e eleme$tos.
$omomor#ismo entre rupos%
DeB$icio$ 1 Sea$ :G9 C< ( :>9 D< %os grupos. #$a /u$ci.$ / %e G a >
/ ) G E >
se %ice ser
a< #$ ,omomorBsmo si /:1 C (< = /:1< D /:(<9 19 ( :G9 C<9 se pue%e
presci$%ir %e las operacio$es ( escri'ir simpleme$te /:1(< = /:1</:(<.
'< #$ mo$omorBsmo si es u$ ,omomorBsmo i$(ecti2o %e G e$ >.
c< #$ epimorBsmo si es u$ ,omomorBsmo so're(ecti2o %e G e$ >.
%< #$ isomorBsmo %e > e$ G si es u$ ,omomorBsmo 'i(ecti2o e$tre estos
%os grupos. G ( > se %ice$ isomor/os9 ( se escri'e G = >.
e< #$ automorBsmo si es u$ isomorBsmo %e G e$ G.