Algebra I, MBI 1

Prof. Heraldo González Serrano

GUÍA N°10: GRUPO Y HOMOMORFISMOS

1) Decida cuales de las siguientes “leyes de composición internas” son asociativas:

a) ∗ definida en ℜ tal que a ∗ b = a + b + ab
b) ∗ definida en ℜ tal que a ∗ b = a + 2b
c) La unión de conjuntos , ∪ : P ( A) × P ( A) → P ( A)

2) Decida cuales de las siguientes “leyes de composición internas” tienen neutro e

para la operación binaria interna definida
a) ∗ definida en ℜ tal que a ∗ b = a + b + 1
b) ∗ definida en ℜ tal que x ∗ y = xy + x

3) Decida cuales de las siguientes “leyes de composición internas” son conmutativas

para la operación binaria interna definida

a) ∗ definida en ℜ tal que a ∗ b = a + b + 3ab

b) ∗ definida en ℜ tal que a ∗ b = a − b + 2ab

4) Determine la tabla de multiplicar para ∗ definida en el conjunto E = {1,2,3,4} tal

que a ∗ b = máx{a, b}

5) Sea ∗ ley de composición interna definida en el conjunto E tal que la operación

es asociativa y tiene neutro e. Demuestre que: si x ∈ E tiene inverso x entonces
este es único.

6) En T se define la ley de composición interna ∗ por a ∗ b = a + b − ab

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

7) En Z se define la operación binaria interna ∗ tal que a ∗ b = a + b 2

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

8) En Q × Q se define ⊕ por (a, b) ⊕ (c, d ) = (ac, ad + b)

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

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

∗ a b c
a a b c
b b a c
c c c c

UNIVERSIDAD DE SANTIAGO DE CHILE

FACULTAD DE CIENCIA – DEPTO. DE MATEMÁTICA Y C.C.
Algebra I, MBI 2
Prof. Heraldo González Serrano

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

10) En Z se define las operaciones binaria interna ∗ y ° por a ∗ b = a + b + 1 y

a o b = a + b + ab
a) ¿Es el par ( Z ,∗) un grupo?
b) ¿Es el par ( Z ,o) un grupo?

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

12) Sea (G ,∗) un grupo, demuestre:

a) a ∗ c = b ∗ c ⇔ a = b ∀a, b, c ∈ G
c) la ecuación a ∗ x = b tiene solución única en G

13) Verifique que el conjunto A = {− 3,−2,−1,0,1,2,3} no es un grupo con respecto de la

adición en Z

14) Demuestre que (C ,+ ) es un grupo si C = {( x, y ) / x, y ∈ ℜ} es el conjunto de los

números complejos donde (a, b) + (c, d ) = (a + c, b + d )

15) Demuestre que ( M (2, ℜ),+ ) es un grupo donde

 a c  
M (2, ℜ) =   / a, b, c, d ∈ ℜ es el conjunto de las matrices cuadradas de tamaño 2
 b d  
 a c   e g   a + e c+ g
en ℜ ,   +   =   y
b d   f h  b + f d + h
a c   e g 
  =   ⇔ (a = e) ∧ (c = g ) ∧ (b = f ) ∧ (d = h)
b d   f h 

16) Demuestre que ( R n ,+ ) donde R n = {( x1 , x 2 ,...x n ) / xi ∈ R; n fijo en N} y

( x1 , x 2 ,..., x n ) + ( y1 , y 2 ,..., y n ) = ( x1 + y1 , x 2 + y 2 ,..., x n + y n ) es un grupo

17) Demuestre que el conjunto Rn [x ] formado por los polinomios en la indeterminada x

con coeficientes en R y con grado a lo más n, n un natural, con la suma usual de
polinomios, es un grupo

18) Considere el conjunto de las clases residuales Z 3

a) ¿Forma un grupo con la adición?

UNIVERSIDAD DE SANTIAGO DE CHILE

FACULTAD DE CIENCIA – DEPTO. DE MATEMÁTICA Y C.C.
Algebra I, MBI 3
Prof. Heraldo González Serrano

b) ¿Forma un grupo con la multiplicación?

19) Demuestre que la función H : R2 [x ] → R 3 definida por H (a + bx + cx 2 ) = (a, b, c)

es un homomorfismo

20) Demuestre que la función H : R 2 → R 2 definida por H ( x, y ) = ( x − 2 y, x + y ) es un

homomorfismo

21) Verifique que la función H : R 2 → R 2 definida por H ( x, y ) = ( x − 2 y, x + y + 3) no

es un homomorfismo

22) Considere las siguientes funciones

a) H 1 : R 3 → R 2 tal que H 1 ( x, y, z ) = ( x − 2 y, x + 2 y + z )
b) H 2 : R 2 → R 3 tal que H 2 ( x, y ) = ( x + 2 y, x + 2 y, x + z )
c) H 3 : R2 [x ] → R 2 definida por H 3 (a + bc + cx 2 ) = (a + b, c + a )
0 0 
d) H 4 : R2 [x ] → M (2, R) definida por H 4 (a + bc + cx 2 ) =  
a a + b + c
e) H 5 : R 2 → R 2 tal que H 5 ( x, y ) = ( x − y,3 x + 2 y )
f) H 6 : R2 [x ] → R 3 definida por H 6 (a + bx + cx 2 ) = (a + b + c, b + c, c)

i) Demuestre que H i , i = 1,2,3,4,5,6 es un homomorfismo

ii) Determine Ker ( H i ) , i = 1,2,3,4,5,6
iii) ¿Es H i , i = 1,2,3,4,5,6 un isomorfismo? Justifique

a c   e g   ae + cf ag + ch 
23) Demuestre que el trio ( M ( 2, ℜ),+,⋅) donde   ⋅  = 
 b d  f h   be + df bg + dh 
es un anillo no conmutativo

24) Demuestre que el trio ( Z 4 ,+,⋅) es un anillo ¿es conmutativo con respecto de la
multiplicación? justifique

25) Demuestre que el trio (C ,+,⋅) donde ( a , b) ⋅ ( c, d ) = (ac − bd , ad + bc ) es un anillo,

¿es conmutativo? ¿tiene neutro para la multiplicación? justifique

UNIVERSIDAD DE SANTIAGO DE CHILE

FACULTAD DE CIENCIA – DEPTO. DE MATEMÁTICA Y C.C.