Escolar Documentos
Profissional Documentos
Cultura Documentos
algebraicas y
aplicaciones
Licenciatura en Enseanza de la
Matemtica
Reflexionar, profundizar y actualizar el saber experto
en Matemtica, en general, y en temas de las
Estructuras Algebraicas en particular, adecundolo a la
agenda de buenas prcticas docentes.
GRUPOS
1.1
1.2
1.3
1.4
Operacin binaria
Semigrupo,
monoide
Grupo
Subgrupo
a)
1
+
G=Z y a b= 2 a .b
b)
G= ( X )
A B= A B
c) A ={a, b, c , d
} y + dada por:
[a]p [b] p = [a b] p,
a) (Zp, + ) es un grupo abeliano.
b) (Zp,
) no es un grupo abeliano
c) (Zp {0},
en=0
aa ,n veces , n>0
1
a . a1 ,n veces , n< 0
an =
El orden de a es o(a) = # a
a) Encuentre a para:
a = 0 en (Z, +)
a = 3 en (Z6, +)
a = 5 en (Z6, +)
a = 3 en (Z5, +)
(Z, +)
(Z5, +)
(P(a, b}, )
(S3, o)
f)
g) Pruebe que es suficiente que un grupo sea cclico para que sea abeliano.
h) Verifique que Z4, Z6, Z8 son grupos cclicos. Encuentre, en caso de de ser posible, dos
conjuntos de generadores distintos
i) Utilice a) para formular una conjetura respecto de los generadores del grupo aditivo Zn
(para cada n).
j)
Pruebe lo conjeturado en b)
5. Encuentre, de ser posible:
b) un subgrupo de Z2 y Z3;
c) dos subgrupos de Z4 cuya interseccin sea un subgrupo de Z4 y dos que no lo sea;
d) dos subgrupos de Z4 cuya unin sea un subgrupo y dos que no lo sea.
6. Pruebe o refute la veracidad de cada una de las siguientes proposiciones.
a) Si H y K son subgrupos de G entonces
H K es un subgrupo de G.
H U K es un subgrupo de G.
7. Considere el conjunto:
,
siendo H un subgrupo de un grupo G y g un elemento de G.
a) Verifique que gHg-1 = 2Z si G es el grupo aditivo Z y H = 2Z
b) Encuentre gHg-1 para un subgrupo no trivial de (Z4; +) y g = [2]
c) Diga por qu s o por qu no gHg-1 es un subgrupo de G para cualquier grupo G.
d) Enuncie una condicin suficiente para que gHg-1 = H. Justifique su respuesta.
8. De las siguientes proposiciones diga cules son verdaderas y cules falsas. Justifique su
respuesta.
a) Es suficiente que (G, *) sea un grupo para que (G, *) sea un monoide.
b) Es necesario que (G, *) sea un monoide para que (G, *) sea un grupo.
c) Si (G, *) admite neutro entonces (G, *) es un grupo.
d) Todo grupo finito es abeliano.
e) a es un elemento inversible de (Zn {0}, ) si y slo si mcd (a, n) =1
f)
H ={, {a}} es un subgrupo del grupo P({a, b}) con la diferencia simtrica
g) El conjunto de las biyecciones que dejan fijo un punto x0 es un subgrupo del grupo de
biyecciones de un conjunto con la composicin.
h) Todo grupo admite al menos un subgrupo abeliano.
i)
1.5
1.6
1.7
Propiedades en los
grupos
Clases laterales
Teorema
de
Lagrange
1
x
; f3(x) = - x y f4(x) =
-1
x
Encuentre las clases laterales derechas de cada elemento de M por el subgrupo H = {f1, f2}.
13. En relacin a un grupo G, un subgrupo H de G y un elemento g de G, muestre que es
necesario y suficiente que Hg = H para que g H.
14. Considere el grupo aditivo Z y el subgrupo 60Z
a) Enuncie una condicin necesaria para que un subconjunto de Z sea un subgrupo de 60Z.
b) Encuentre el conjunto cociente Z60 por la equivalencia mdulo 60Z
15. Lea atentamente la siguiente definicin:
Un subgrupo H de un grupo G es normal si y slo si xH = Hx cualquiera sea
a) Encuentre, si existe, un subgrupo normal de 3 elementos en
normal.
x G.
1.8
Homomorfismo
de
grupos.
1.9 Ncleo e imagen
1.10 Grupos isomorfos.
f: (R,+) (R*,x),
f: (P3,+) (R3,+),
f(x) = 2x
f(p) = (a, b, c, d)
si p(x) = a+bx+cx2+dx3 cualquiera sea x real
f(x) = gxg-1,
g G, g fijo
f (x) =h
h H, h fijo
18. Encuentre Ncleo e Imagen de los homomorfismos de 17. Utilice para clasificar en
mono, epi y/ o isomorfismo.
19. Pruebe que:
Si (G, ) es un grupo cclico tal que # G es infinito entonces (G, ) es isomorfo a (z, +).
Si (G, ) es un grupo cclico tal que # G = n (n N) entonces (G, ) es isomorfo a (zn, +).
20. Diga por qu s o por qu no:
f(x)
1
2
3
4
si
si
si
si
xe
x a
x b
x c
necesaria pero no suficiente para que el Ker de un homomorfismo de grupos aditivos sea {0}
f(0)
Ker f = {0}
cKer f {0}
23. Pruebe o refute la veracidad de cada una de las siguientes proposiciones:
a Si G y G son grupos abelianos, el conjunto Hom (G, G) de los homomorfismos de G en G
es un grupo si se define (f h)(x) = f(x).h(x) para cualquier f, h en Hom (G, G).
b
a)
ANILLOS Y CUERPOS
Actividad complementaria
(A, +, ) es un anillo de divisin (A, +,) es un anillo y cada elemento de A admite inverso en
(A,)
a) Utilcelas para determinar si los siguientes conjuntos con las operaciones binarias que se
indican en cada caso son anillos. Para los que lo sean, clasifique en anillo con unidad, dominio
de integridad (o dominio entero) y/o campo
i.
ii.
A = Zn
El neutro es nico
ii.
iii.
a 0 = 0 a= 0
iv.
v.
-(-a) = a
vi.
(-a) (-b) = a b
vii.
viii.
ix.
ESPACIOS VECTORIALES
http://maxwell.fcaglp.unlp.edu.ar/practicas/practica-05/anyp-201005.pdf
generadores.
TO
LINEAL ALGEBRA.
f g: R R
(f g)(x) f(x) g(x)
c) F = {f: R R/ f es funcin} ; R:
d) R2; R;
y gF
k.f : R R
(k.f) k.f(x)
e) Conjunto de las funciones f C[0,1] tales que f(x) 0, cualesquiera sea x [0,1]; R;
operaciones usuales en F.
f)
... x
k 0
x
kx
k veces
0
k 0
()x..( x) k 0
k veces
g) G un grupo abeliano, Z,
h) Conjunto de las funciones polinmicas reales de grado exactamente dos; suma y
producto usuales en F.
2. Diga por qu s o por qu no los siguientes conjuntos son espacios vectoriales para los
escalares y las operaciones que se indican en cada caso:
a) Conjunto de los polinomios de grado menor a igual a n; R; suma y producto usual en F;
b) S = {v R4/ v = k(1, 2, -1, 0) + h(0, 0, 0, 3); k, h R}; R, suma y producto usual en R4;
c) El conjunto de todas las sucesiones de nmeros reales, R,
producto por nmeros reales
suma de sucesiones y
O es el conjunto S =
{( )
x
y
z
R3 / x = y z = 0 }
1
H
0
0
,
1
eij
1 si i j
0 si i j
b)
x Rm / Ax 0
sea un
http://maxwell.fcaglp.unlp.edu.ar/practicas/practica-05/anyp-201005.pdf
Las actividades 13., 14., 16., 18., 19. se trabajarn en clase presencial.
El resto forma parte del trabajo virtual de la Unidad.
12. Entre los siguientes conjuntos, diga cuales son linealmente independientes.
a) {(1+i, 2i), (1,1+i)} en C2(C).
b) el conjunto de columnas de una matriz A tal que el sistema AX = B es un sistema
compatible en Rn.
c) M = {p, q, r} tal que p(x) = x-1, q(x) = x2 +2 y r(x) = 3x2+2x+4 cualquiera sea x real en
P2(R)
13.
x
4
).
e) En P2, el conjunto
)}
)}
f)
f (x)
2
f , (x)
2
f ,,(x)
2
f (x)
3
f , (x)
3
f ,,(x)
3
c) Calcule W({ f1, f2 , f3}) para f1(x) = ex, f2(x) = e-x, f3(x) = e2x cualquiera sea x en [0,1]
d) Verifique que:
i.
ii.
,
,
f1(x0) f2(x0) f3(x0)
f1,,(x0) f2,,(x0) f3,,(x0)
y 4t
c) H recta ecuaciones paramtricas
d) H =
0 0 0
0 0 0
0 0 0
z 2t
, t R.
V3x3(k)
o Necesaria pero no suficiente para que el subconjunto sea una base del
espacio
o Suficiente pero no necesaria para que el subconjunto sea una base del
espacio
o Necesaria y suficiente para que el subconjunto sea una base del espacio
b) Sobre un espacio vectorial
o Suficiente pero no necesaria para que la dimensin del espacio sea mayor a
n.
i.
1 4
Si A =
ii.
A = On, n > 2, n N
iii.
A = In, n >2, n N
v=
1
v=
es un autovector de A asociado al autovalor =
4
cualquier v Rn v 0 es un autovector de On asociado
al autovalor = 0
cualquier v Rn v 0 es un autovector de In asociado al
autovalor = 1
v=
1
0
2
0 3
1
2
iv.
A=
v=
-3
2.
A 0
3 5
3.
1
3
1 0
2
0
3
ma
=
-1
= 2
mg
= 1
ma
=
0
= 1
mg
= 1
Si
4. Pruebe que:
i.
ii.
iii.
iv.
v.
Es suficiente que una matriz A tenga un autovalor nulo para que A sea una matriz no
inversible.
5.
i.
Verifique que A =
1 0
0 5
ii. Diga si B =
1 2
2 4
o A es inversible;
o Si A es inversible, A-1 es definida positiva;
o El sistema AX = 0 tiene solucin nica.
vi. Enuncie una condicin suficiente para que A+B sea una matriz definida positva si A es una
matriz definida positiva y B conformable para la suma con A.
vii. Siendo A una matriz de orden n, pruebe o refute cada una de las siguientes proposiciones:
o
Es suficiente que A sea una matriz simtrica y det A > 0 para que A sea una
matriz definida positiva
Es necesario que A sea definida positiva para que los vectores propios de A
tienen entradas positivas
Es necesario y suficiente que sea A una matriz diagonal y aii > 0 para i = 1,..,n
para que A sea una matriz definida positiva