Sie sind auf Seite 1von 9
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .

Algebra Abstracta

A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .

Clase

A l g e b r a Abstracta Clase # 2 ddgpaiquán .
# 2
# 2
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .

ddgpaiquán .

A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
A l g e b r a Abstracta Clase # 2 ddgpaiquán .
tiifemplosdecnupostt Los . Q y infinitos Q y IR 2 . números internos - 7L

tiifemplosdecnupostt

tiifemplosdecnupostt Los . Q y infinitos Q y IR 2 . números internos - 7L I
tiifemplosdecnupostt Los . Q y infinitos Q y IR 2 . números internos - 7L I
tiifemplosdecnupostt Los . Q y infinitos Q y IR 2 . números internos - 7L I
Los . Q y infinitos Q y IR 2 .
Los
.
Q y
infinitos
Q y IR
2
.
números
números
internos -
internos
-
Los . Q y infinitos Q y IR 2 . números internos - 7L I números

7L

I
I
números
números
infinitos Q y IR 2 . números internos - 7L I números racionales reales IR ,

racionales

reales
reales
IR
IR

,

. números internos - 7L I números racionales reales IR , o r d i n

ordinaria .

racionales reales IR , o r d i n a r i a . los bajo
los bajo
los
bajo
son
son
números
números
IR , o r d i n a r i a . los bajo son números
IR , o r d i n a r i a . los bajo son números
IR , o r d i n a r i a . los bajo son números
IR , o r d i n a r i a . los bajo son números

son grupos abelianos

. los bajo son números son g r u p o s abelianos l a a
. los bajo son números son g r u p o s abelianos l a a
. los bajo son números son g r u p o s abelianos l a a

la adición

g r u p o s abelianos l a a d i c i ó n
g r u p o s abelianos l a a d i c i ó n

la

r u p o s abelianos l a a d i c i ó n la
r u p o s abelianos l a a d i c i ó n la

abelianos

o s abelianos l a a d i c i ó n la abelianos multiplicación no
o s abelianos l a a d i c i ó n la abelianos multiplicación no
o s abelianos l a a d i c i ó n la abelianos multiplicación no

multiplicación

no es grupo
no es
grupo
d i c i ó n la abelianos multiplicación no es grupo b a j o

bajo

la
la

bajo

la abelianos multiplicación no es grupo b a j o la bajo multiplicación . grupos 2

multiplicación .

grupos

2 con la multiplicación es un no semi grupo pero es UN ide mono .
2
con la multiplicación
es
un
no
semi grupo
pero
es
UN
ide
mono
.
2.
Considere
un cuadrado
vértices
con
etiquetados
con
números
consecutivos
112,44
Y centrado
en
el orígen
4
3
Sea DÍ el las conjunto de siguientes transformaciones del cuadrado DE =L RRTRSII , Tx
Sea
el
las
conjunto de
siguientes
transformaciones
del cuadrado
DE =L RRTRSII , Tx , Ty , Tia , Tay ?
donde
la rotación
representa
en 900 en sentido
antihorario ,
R2
la rotación
en
1805
R ?
la rotación
en
270 .
I
la rotación
360
en
( o
04 , Tx
en
la reflexión
al
con respecto
efe
Tis
la reflexión
con respecto
al
43
qe
análogamente
con
Y
Ty
Tzy .
y
es
una
biyección
Observe que cada elemento del cuadrado en sí mismo . la bajo composición de DÍ
Observe que
cada
elemento
del
cuadrado
en
mismo
.
la
bajo
composición de
DÍ es un grupo de orden 8
DÍ en DÍ es un funciones .
en
DÍ es
un
funciones .
grupo
grupo
un grupo de orden 8 DÍ en DÍ es un funciones . grupo no abeliano conoce
un grupo de orden 8 DÍ en DÍ es un funciones . grupo no abeliano conoce

no abeliano

orden 8 DÍ en DÍ es un funciones . grupo no abeliano conoce que se c
conoce que se
conoce
que se
DÍ es un funciones . grupo no abeliano conoce que se c o m o grupo
DÍ es un funciones . grupo no abeliano conoce que se c o m o grupo

como grupo

de simetrías del cuadrado . 3. S sea . Als ) - - If :S
de simetrías
del
cuadrado .
3.
S
sea .
Als ) - - If :S
sea
vacío
s
:
un
no
y
conjunto
f- es
biyectiva } .
la
bajo
Als ) es un grupo
composi -
ción de funciones . es biyectivas la , función
ción
de
funciones .
es biyectivas
la
,
función
función
función
de funciones . es biyectivas la , función función La de funciones biyectivas composición ¢ con
de funciones . es biyectivas la , función función La de funciones biyectivas composición ¢ con
La
La
de funciones . es biyectivas la , función función La de funciones biyectivas composición ¢ con
de funciones . es biyectivas la , función función La de funciones biyectivas composición ¢ con

de funciones

. es biyectivas la , función función La de funciones biyectivas composición ¢ con posición identidad
. es biyectivas la , función función La de funciones biyectivas composición ¢ con posición identidad
. es biyectivas la , función función La de funciones biyectivas composición ¢ con posición identidad
. es biyectivas la , función función La de funciones biyectivas composición ¢ con posición identidad
. es biyectivas la , función función La de funciones biyectivas composición ¢ con posición identidad

biyectivas

composición

¢ con posición identidad 1 s es
¢
con
posición
identidad 1 s
es
una
una
de
de
composición ¢ con posición identidad 1 s es una de asociativa inversa . funciones e s

asociativa

inversa .
inversa
.

funciones es

1 s es una de asociativa inversa . funciones e s ¥ a biyectiva y biyectiva
1 s es una de asociativa inversa . funciones e s ¥ a biyectiva y biyectiva
¥ a
¥
a

biyectiva y

biyectiva tiene

los elementos de Als ) se llaman permutaciones y llama A B) se el permutaciones
los
elementos
de Als )
se
llaman
permutaciones
y
llama
A B) se
el
permutaciones de S .
grupo de
Si 5=11,2 ,
n }
Als ) se
llama Grupo simétrico
en
letras
n
usualmente se denota
Sn .
como
y
en letras n usualmente se denota Sn . como y Ejercicio : Demuestre q u e
en letras n usualmente se denota Sn . como y Ejercicio : Demuestre q u e

Ejercicio : Demuestre que lsnl = n !

Ejercicio : Demuestre q u e l s n l = n ! Sn Juega un
Ejercicio : Demuestre q u e l s n l = n ! Sn Juega un
Ejercicio : Demuestre q u e l s n l = n ! Sn Juega un
Sn Juega un Grupos ! ! Definición . respectivamente . ente 6 H y
Sn Juega
un
Grupos ! !
Definición .
respectivamente .
ente
6
H
y
papel
papel
! ! Definición . respectivamente . ente 6 H y papel protagónico en la t e

protagónico

. respectivamente . ente 6 H y papel protagónico en la t e o r í

en la teoría

de
de
6 y H dos grupos
6 y H dos grupos
con identidades
con identidades

e s y E H es y EH

í a de 6 y H dos grupos con identidades e s y E H D
í a de 6 y H dos grupos con identidades e s y E H D
í a de 6 y H dos grupos con identidades e s y E H D
í a de 6 y H dos grupos con identidades e s y E H D

Definimos el producto

E H D e f i n i m o s el p r o d
E H D e f i n i m o s el p r o d
E H D e f i n i m o s el p r o d
E H D e f i n i m o s el p r o d
E H D e f i n i m o s el p r o d

directo GXH

i n i m o s el p r o d u c t o d
el como
el
como
i n i m o s el p r o d u c t o d
i n i m o s el p r o d u c t o d
i n i m o s el p r o d u c t o d

grupo cuyo conjunto

Subyacente es el producto c a r t e s i a n o GXH
Subyacente es el producto c a r t e s i a n o GXH

Subyacente

es el
es
el
Subyacente es el producto c a r t e s i a n o GXH =
Subyacente es el producto c a r t e s i a n o GXH =
Subyacente es el producto c a r t e s i a n o GXH =
Subyacente es el producto c a r t e s i a n o GXH =

producto cartesiano

Subyacente es el producto c a r t e s i a n o GXH =
Subyacente es el producto c a r t e s i a n o GXH =
Subyacente es el producto c a r t e s i a n o GXH =

GXH = { Lais ) : ae 6 , BEH }

Y la operación Merino : 1. Verifique que .
Y
la operación
Merino :
1. Verifique
que
.
, BEH } Y la operación Merino : 1. Verifique que . b i n a
, BEH } Y la operación Merino : 1. Verifique que . b i n a
, BEH } Y la operación Merino : 1. Verifique que . b i n a

binaria está dada

por :
por :
,
,
( aiblplá , b) = operación en GXH en ( la estamos defi . que
(
aiblplá , b) =
operación en GXH
en
( la
estamos defi .
que
hiendo )

laá , bb ' )

ta , áe 6

) l a á , b b ' ) t a , á e 6 b
b , btett y .
b , btett
y
.

topeaa.TT

G Operación en H es un
G
Operación en
H
es
un
grupo
grupo
b , btett y . topeaa.TT G Operación en H es un grupo GXH con esta

GXH

btett y . topeaa.TT G Operación en H es un grupo GXH con esta operación 2.
con esta
con
esta
. topeaa.TT G Operación en H es un grupo GXH con esta operación 2. Si 6

operación

2. Si 6 y H
2. Si 6 y H
en H es un grupo GXH con esta operación 2. Si 6 y H . son
en H es un grupo GXH con esta operación 2. Si 6 y H . son
.
.

son abelianos entonces GXH también lo es

c e s G X H t a m b i é n l o e

Observaciones - importantes

G X H t a m b i é n l o e s Observaciones -
G X H t a m b i é n l o e s Observaciones -
1. / GXHI = 161 IHI
1.
/ GXHI = 161 IHI
2 - S i 6 y H son grupos 6 ⑦ H e n t
2 - S i 6 y H son grupos 6 ⑦ H e n t

2- Si

6 y H son grupos 6 ⑦ H
6 y H
son grupos
6 ⑦ H
2 - S i 6 y H son grupos 6 ⑦ H e n t o

entonces escribiremos

la con respecto a de GXH en vez .
la
con respecto
a
de
GXH
en
vez
.
s escribiremos la con respecto a de GXH en vez . a d i c i
s escribiremos la con respecto a de GXH en vez . a d i c i

adición

con respecto a de GXH en vez . a d i c i ó n t
con respecto a de GXH en vez . a d i c i ó n t
con respecto a de GXH en vez . a d i c i ó n t

teorema Sea 6 un

a d i c i ó n t e o r e m a S e
a d i c i ó n t e o r e m a S e
a d i c i ó n t e o r e m a S e
sobre 6
sobre
6

b e ~ b a be ~ ba

o r e m a S e a 6 un sobre 6 b e ~ b
ide . mono Si ~ es tal que entonces abr n daba ,
ide .
mono
Si
~
es
tal
que
entonces
abr n daba ,
a ide . mono Si ~ es tal que entonces abr n daba , Rfu es
Rfu es
Rfu
es
. mono Si ~ es tal que entonces abr n daba , Rfu es una relación
. mono Si ~ es tal que entonces abr n daba , Rfu es una relación
una relación de
una relación de
tal que entonces abr n daba , Rfu es una relación de equivalencia Si Entonces el

equivalencia

Si Entonces el las clases
Si
Entonces el
las
clases
una relación de equivalencia Si Entonces el las clases amar y t a i , b
amar y
amar
y
de equivalencia Si Entonces el las clases amar y t a i , b i z

tai , bizco .

el las clases amar y t a i , b i z c o . conjunto
el las clases amar y t a i , b i z c o . conjunto
el las clases amar y t a i , b i z c o . conjunto
el las clases amar y t a i , b i z c o . conjunto

conjunto cociente

de
de
y t a i , b i z c o . conjunto cociente de f o
y t a i , b i z c o . conjunto cociente de f o
y t a i , b i z c o . conjunto cociente de f o
y t a i , b i z c o . conjunto cociente de f o
y t a i , b i z c o . conjunto cociente de f o
y t a i , b i z c o . conjunto cociente de f o

formado por todas

mono i de donde 5
mono i de
donde
5
.
.

b a j o bajo

p o r t o d a s mono i de donde 5 . b a

equivalencia

un
un

la siguiente operación binaria

s i g u i e n t e operación b i n a r i
s i g u i e n t e operación b i n a r i
s i g u i e n t e operación b i n a r i
s i g u i e n t e operación b i n a r i
s i g u i e n t e operación b i n a r i
ñb = 95 ,
ñb
= 95
,
ttaibe
ttaibe
6 ,
6
,

representa

b i n a r i a ñb = 95 , ttaibe 6 , representa equivalencia
b i n a r i a ñb = 95 , ttaibe 6 , representa equivalencia
b i n a r i a ñb = 95 , ttaibe 6 , representa equivalencia

equivalencia

de
de
r i a ñb = 95 , ttaibe 6 , representa equivalencia de abeliano se llama
abeliano se llama
abeliano
se
llama
la clase de Si 6 un grupo La relación ~
la
clase
de
Si
6
un
grupo
La relación
~

XEG

también lo , 6) v es . relación de G en congruencia
también
lo
,
6) v
es .
relación de
G
en
congruencia
grupo La relación ~ XEG también lo , 6) v es . relación de G en
grupo La relación ~ XEG también lo , 6) v es . relación de G en

Demostración : Ejercicio !

grupo La relación ~ XEG también lo , 6) v es . relación de G en
grupo La relación ~ XEG también lo , 6) v es . relación de G en
grupo La relación ~ XEG también lo , 6) v es . relación de G en
itemphi m es una
itemphi
m
es
una
Sea MEK fijo . La congruencia relación de en 7L congruencia
Sea
MEK
fijo .
La congruencia
relación
de
en 7L
congruencia
fijo . La congruencia relación de en 7L congruencia de c l a s e s
de
de

c l a s e s clases

relación de en 7L congruencia de c l a s e s modulo c o n
relación de en 7L congruencia de c l a s e s modulo c o n
modulo
modulo

conjunto 2m

de c l a s e s modulo c o n j u n t o
grupo
grupo
c l a s e s modulo c o n j u n t o 2
c l a s e s modulo c o n j u n t o 2

de congruencia modulo

n t o 2 m grupo d e congruencia m o d u l o siguiente
n t o 2 m grupo d e congruencia m o d u l o siguiente

siguiente

2 m grupo d e congruencia m o d u l o siguiente m es un
m es un :
m
es
un
:
abeliano con la operación
abeliano
con
la
operación
atb , aibek
atb ,
aibek

a - +5 = a- +5 =

Sabemos que
Sabemos que
con la operación atb , aibek a - +5 = Sabemos que 2 m = LOTTE

2m = LOTTE ,

-
-
orden
orden
MT ) 2m luego , el cual se
MT )
2m
luego ,
el
cual
se
m = LOTTE , - orden MT ) 2m luego , el cual se u n
m = LOTTE , - orden MT ) 2m luego , el cual se u n
m = LOTTE , - orden MT ) 2m luego , el cual se u n
m = LOTTE , - orden MT ) 2m luego , el cual se u n

un grupo finito de

" " m ,
"
"
m
,

conoce

como
como
g r u p o finito de " " m , conoce como grupookenterosmodwhom.rs 2 es
grupookenterosmodwhom.rs
grupookenterosmodwhom.rs

grupookenterosmodwhom.rs

de " " m , conoce como grupookenterosmodwhom.rs 2 es un m o n o i
2 es un
2
es
un
" m , conoce como grupookenterosmodwhom.rs 2 es un m o n o i d e

monoide

como grupookenterosmodwhom.rs 2 es un m o n o i d e o t r o

otro lado

conmutativo bajo
conmutativo bajo
o n o i d e o t r o l a d o conmutativo bajo
o n o i d e o t r o l a d o conmutativo bajo
o n o i d e o t r o l a d o conmutativo bajo
o n o i d e o t r o l a d o conmutativo bajo

la multiplicación estándar de enteros . Análogamente

a r de enteros . A n á l o g a m e n t
a r de enteros . A n á l o g a m e n t
a r de enteros . A n á l o g a m e n t
a r de enteros . A n á l o g a m e n t
a r de enteros . A n á l o g a m e n t
a r de enteros . A n á l o g a m e n t
a r de enteros . A n á l o g a m e n t
a r de enteros . A n á l o g a m e n t

si definimos

en 2m
en 2m
g a m e n t e s i d e f i n i m
g a m e n t e s i d e f i n i m
g a m e n t e s i d e f i n i m

la multiplicación

fa , BEK
fa , BEK
dada por
dada
por
a- J aI - _
a- J
aI
-
_
entonces
entonces
i m o s en 2m la multiplicación fa , BEK dada por a- J aI
i m o s en 2m la multiplicación fa , BEK dada por a- J aI

Lm también

es un mono ide
es
un
mono ide
i m o s en 2m la multiplicación fa , BEK dada por a- J aI

conmutativo

i m o s en 2m la multiplicación fa , BEK dada por a- J aI
que ábtác álbt E) = y ( Ix E) á = b- área , b.
que
ábtác
álbt E) =
y
( Ix
E) á = b-
área ,
b. CEZ
para todo
.
número áib - - AT ,
número
áib - - AT
,
Zp es
Zp es

primo

Kaiser
Kaiser
- - Si es p un multiplicación Notación Si
-
-
Si
es
p
un
multiplicación
Notación
Si
la con un grupo
la
con
un grupo
6 es un grupo cuya operación entonces
6 es un grupo
cuya operación
entonces
binaria está
binaria está

forma aditiva

ha atat ta = . - ne N , . - n veces -
ha
atat
ta
=
.
-
ne
N
,
.
-
n
veces
-
na ( n - =
na
( n
-
=

Data

ta = . - ne N , . - n veces - na ( n -
Oa = 0 y
Oa =
0
y
etc ,
etc
,
6 es un
6
es
un
n veces - na ( n - = Data Oa = 0 y etc , 6

grupo " multiplicativo " entonces

g r u p o " multiplicativo " entonces µ = Aa veces n - Teorenain
g r u p o " multiplicativo " entonces µ = Aa veces n - Teorenain
µ = Aa veces n - Teorenain Si 6 es un grupo
µ
=
Aa
veces
n
-
Teorenain
Si
6 es un grupo
entonces µ = Aa veces n - Teorenain Si 6 es un grupo ( s e
entonces µ = Aa veces n - Teorenain Si 6 es un grupo ( s e

( semi grupo , Monoide )

entonces µ = Aa veces n - Teorenain Si 6 es un grupo ( s e
' ae entonces G , para todo mi NEK Y [ IN N ) ,
'
ae
entonces
G ,
para todo
mi NEK
Y
[ IN
N )
,
1.
Aman = amtn
notación aditiva :
marina
= lmtn ) a)
2.
( amln = Ann .
( notación aditiva :
nlma ) =
mna ) .
2. ( amln = Ann . ( notación aditiva : nlma ) = mna ) .
2. ( amln = Ann . ( notación aditiva : nlma ) = mna ) .

Ejercicios :

1. Revisar la
1. Revisar
la
de 2.
de
2.
: nlma ) = mna ) . Ejercicios : 1. Revisar la de 2. Definición 1

Definición 18

) . Ejercicios : 1. Revisar la de 2. Definición 1 8 T e o r
) . Ejercicios : 1. Revisar la de 2. Definición 1 8 T e o r
) . Ejercicios : 1. Revisar la de 2. Definición 1 8 T e o r
) . Ejercicios : 1. Revisar la de 2. Definición 1 8 T e o r

Teorema 1,6 , Corolario

8 T e o r e m a 1,6 , C o r o l a
17
17
y
y
del pag 28
del
pag 28
m a 1,6 , C o r o l a r i o 17 y del
m a 1,6 , C o r o l a r i o 17 y del

Hungerford .

C o r o l a r i o 17 y del pag 28 Hungerford .
C o r o l a r i o 17 y del pag 28 Hungerford .
C o r o l a r i o 17 y del pag 28 Hungerford .
C o r o l a r i o 17 y del pag 28 Hungerford .
C o r o l a r i o 17 y del pag 28 Hungerford .
C o r o l a r i o 17 y del pag 28 Hungerford .

Pag 29 : Ex : 2. s ? 45,6 , 7,8

. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,
. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,
. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,
. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,
. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,
. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,
. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,
Pag 30 :
Pag 30 :
. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,
. Pag 2 9 : E x : 2 . s ? 45,6 , 7 ,

Ex 11 , 12,13 , 14 .