Algebra I, MBI

Prof. Heraldo Gonzlez Serrano

UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMTICA Y C.C.

1

EJERCICIOS PROPUESTOS: GRUPO Y HOMOMORFISMOS

1) Decida si las siguientes operaciones son o no ley de composicin interna en el
conjunto declarado
a) Z Z Z : tal que 2 + = ab b a
b) definida en { } 0 Z tal que 2 + =
y
x
y x
c) o definida en Z tal que
2
) ( b a b a + = o
d) La multiplicacin usual definida en { } 2 , 0 , 1 = A ; { } 1 , 0 = B ; { } ... 6 , 4 , 2 = C
e) ) ( ) ( ) ( : A P A P A P donde A es un conjunto y P(A) es la potencia de A

2) Sea ley de composicin interna definida en el conjunto E , demuestre:
a) c b c a b a = = ) ( E c b a , ,
b) b c a c b a = = ) ( E c b a , ,

3) Decida cuales de las siguientes leyes de composicin internas son asociativas:
a) definida en tal que ab b a b a + + =
b) definida en tal que b a b a 2 + =
c) La unin de conjuntos , ) ( ) ( ) ( : A P A P A P

4) Decida cuales de las siguientes leyes de composicin internas tienen neutro e
para la operacin binaria interna definida
a) ) ( ) ( ) ( : A P A P A P tal que R P R P ) , ( donde A es un conjunto y
P(A) es la potencia de A
b) definida en tal que 1 + + = b a b a
c) definida en tal que x xy y x + =

5) Sea una ley de composicin interna en el conjunto E. Demuestre: Si existe
elemento neutro para , este elemento es nico.

6) Decida cuales de las siguientes leyes de composicin internas son conmutativas
para la operacin binaria interna definida

a) definida en tal que ab b a b a 3 + + =
b) definida en tal que ab b a b a 2 + =

7) Determine la tabla de multiplicar para definida en el conjunto { } 4 , 3 , 2 , 1 = E tal
que { } b a b a , mx =

8) Sea ley de composicin interna definida en el conjunto E tal que la operacin
es asociativa y tiene neutro e. Demuestre que: si E x tiene inverso x entonces
este es nico.

9) En T se define la ley de composicin interna por ab b a b a + =
Estudie la asociatividad, conmutatividad, elemento neutro y elemento inverso.
Algebra I, MBI
Prof. Heraldo Gonzlez Serrano

UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMTICA Y C.C.

2


10) En Z se define la operacin binaria interna tal que
2
b a b a + =
Estudie la asociatividad, conmutatividad, elemento neutro y elemento inverso.

11) En Q Q se define por ) , ( ) , ( ) , ( b ad ac d c b a + =
Estudie la asociatividad, conmutatividad, elemento neutro y elemento inverso.

12) En el conjunto { } c b a S , , = se define por la siguiente tabla:


a b c
a a b c
b b a c
c c c c

Estudie la asociatividad, conmutatividad, elemento neutro y elemento inverso.

13) En Z se define las operaciones binaria interna y

por 1 + + = b a b a y
ab b a b a + + = o
a) Es el par ) , ( Z un grupo?
b) Es el par ) , ( o Z un grupo?

14) Sea { } b a A , = y ) , ( A un grupo. Demuestre que el grupo es conmutativo

15) Sea ) , ( G un grupo, demuestre:
a) G c b a b a c b c a = = , ,
c) la ecuacin b x a = tiene solucin nica en G

16) Demuestre que ) , ( + C es un grupo si { } = y x y x C , / ) , ( es el conjunto de los
nmeros complejos donde ) , ( ) , ( ) , ( d b c a d c b a + + = +

17) Demuestre que ) ), , 2 ( ( + M es un grupo donde
)
`

|
|

\
|
= d c b a
d b
c a
M , , , / ) , 2 ( es el conjunto de las matrices cuadradas de tamao 2
en ,
|
|

\
|
+ +
+ +
=
|
|

\
|
+
|
|

\
|
h d f b
g c e a
h f
g e
d b
c a
y
) ( ) ( ) ( ) ( h d f b g c e a
h f
g e
d b
c a
= = = =
|
|

\
|
=
|
|

\
|


18) Verifique que el conjunto { } 3 , 2 , 1 , 0 , 1 , 2 , 3 = A no es un grupo con respecto de la
adicin en Z

19) Demuestre que el conjunto formado por las races cuartas del 1 es un grupo con
respecto a la multiplicacin en el conjunto de los nmeros complejos
Algebra I, MBI
Prof. Heraldo Gonzlez Serrano

UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMTICA Y C.C.

3


20) Demuestre que el conjunto
)
`

= = + = = 1 , 3
2
1
2
1
, 3
2
1
2
1
3 2 1
w i w i w A de las
races cbicas del 1 es un grupo con respecto a la multiplicacin en el conjunto de los
nmeros complejos

21) Considere el conjunto de las clases residuales
3
Z
a) Forma un grupo con la adicin?
b) Forma un grupo con la multiplicacin?

22) Demuestre que ) , ( +
n
R donde { } N en fijo ; / ) ,... , (
2 1
n R x x x x R
i n
n
= y
) ,..., , ( ) ,..., , ( ) ,..., , (
2 2 1 1 2 1 2 1 n n n n
y x y x y x y y y x x x + + + = + es un grupo

23) Demuestre que el conjunto | | x R
n
formado por los polinomios en la indeterminada x
con coeficientes en R y con grado a lo mas n, n un natural, con la suma usual de
polinomios, es un grupo

24) Demuestre que la funcin | |
3
2
: R x R H definida por ) , , ( ) (
2
c b a cx bx a H = + +
es un homomorfismo

25) Demuestre que la funcin
2 2
: R R H definida por ) , 2 ( ) , ( y x y x y x H + = es un
homomorfismo

26) Verifique que la funcin
2 2
: R R H definida por ) 3 , 2 ( ) , ( + + = y x y x y x H no
es un homomorfismo

27) Considere las siguientes funciones
a)
2 3
1
: R R H tal que ) 2 , 2 ( ) , , (
1
z y x y x z y x H + + =
b)
3 2
2
: R R H tal que ) , 2 , 2 ( ) , (
2
z x y x y x y x H + + + =
c) | |
2
2 3
: R x R H definida por ) , ( ) (
2
3
a c b a cx bc a H + + = + +
d) | | ) , 2 ( :
2 4
R M x R H definida por
|
|

\
|
+ +
= + +
c b a a
cx bc a H
0 0
) (
2
4

e)
2 2
5
: R R H tal que ) 2 3 , ( ) , (
5
y x y x y x H + =
f) | |
3
2 6
: R x R H definida por ) , , ( ) (
2
6
c c b c b a cx bx a H + + + = + +
i) Demuestre que 6 , 5 , 4 , 3 , 2 , 1 , = i H
i
es un homomorfismo
ii) Determine ) (
i
H Ker , 6 , 5 , 4 , 3 , 2 , 1 = i
iii) Es 6 , 5 , 4 , 3 , 2 , 1 , = i H
i
un isomorfismo? Justifique