Professional Documents
Culture Documents
Prctica N - 5C
Paralelo: C1
Matemtica Discreta
(1-5)
ESTRUCTURAS ALGEBRAICAS
1. Indique por qu los siguientes conjuntos con la operacin definida no son grupos:
a) = en = {0,1,2,3,4}
b) = + en = { : 1 1}
c) = en = {1,2,3,4}
Sol.
a) = en = {0,1,2,3,4}
Si = 1 = = 1 + = .
Nota: Esta Ley cumple las dems propiedades, pero el hecho de no ser una LCI, hace que no se trate
de un grupo.
c) = en = {1,2,3,4}. Primeramente probamos si es una LCI:
Si , = . Entonces probamos si cumple las dems propiedades:
Asociatividad: , , , ( ) = ( )
Sean , , , tales que:
( ) =
( ) =
( ) =
( ) =
==
= =
Como podemos observar no cumple la propiedad de unicidad por lo tanto A no tiene elemento
neutro y por consiguiente no es un grupo.
2. Determinar si (G,*) es un grupo: a) = { : = 2 + 1, }, * es la multiplicacin
b) = { + 2: , }, * es la multiplicacin
Pgina 1
Sol.
a) Hallamos el conjunto:
Si
Si
Si
Si
= 1 = 2 (1) + 1 = 1
=0 =20+1= 1
=1 =21+1= 3
=2 =22+1= 5
= { + 2: , }, * es la multiplicacin
( ) = [( + 2)( + 2)]
( ) = [( + 2) + ( + )2]( + 2
( ) = [( + 2) + 2( + )] + [( + 2) + ( + )]2
( ) = [ + 2 + 2 + 2] + [ + 2 + + ]2
Pgina 2
= + 2; = + 2
= ( + 2) = ( + 2)
( + 2) ( + 2) = ( + 2)
[( + 2) + ( + )2 = ( + 2)
Podemos observar que esta igualdad se cumple:
Para = 1; = 0, entonces = 1 + 02 , ya que 1, 0
Verificamos: = ( + 2)(1 + 02)
( + 2) =
= (1 + 02)( + 2)
( + 2) =
Existencia de inverso en una ley con neutro: En (,) se define como neutro, si se verifica que
, = = . Sea: , y , , , , tales que: = + 2 ; = + 2
= ( + 2)( + 2) = (1 + 02)
= ( + 2) + ( + )2 = (1 + 02)
+ = 0 =
Entonces:
) + 2 = 1
+ 2 = 1 (
2 + 2 2 = =
=
Hallamos el valor de :
)
22 2
2 2
= 222
Verificamos:
22
= ( + 2)( + 2) = (1 + 02)
= ( + 2) + ( + )2 = (1 + 02)
Pgina 3
( ) = 2(2)
( ) = 4
( ) = (2)
Adems:
( ) = 2(2)
( ) = 4
Por transitividad: ( ) = ( ). Por tanto es asociativa
Nota: Se utiliz adems de la asociatividad de la multiplicacin de + .
Existencia del elemento neutro:
Si * tiene elemento neutro en + este debe verificar que + , = =
Construccin del neutro e:
1
i)
= 2 = =
ii)
= 2 = = 2
2
1
1
= 2 =
1
2
1
4
1
= 2 = 2
Entonces:
1
4
1
, + , =
= 2
= 2
Pgina 4
[(, ) (, )] (, ) = ( + , + ) (, )
[(, ) (, )] (, ) = ( + + , + + )
(, ) [(, ) (, )] = (, ) ( + , + )
Adems:
(, ) [(, ) (, )] = ( + + , + + )
Por transitividad: [(, ) (, )] (, ) = (, ) [(, ) (, )]. Por tanto es asociativa
Existencia del elemento neutro:
Si * tiene elemento neutro en 2 este debe verificar que:
(, ) 2 , (, ) (, ) = (. ) (, ) = (, )
Construccin del neutro (. ):
i)
(, ) (, ) = (, ) ( + , + ) = (, )
= = 0 (, ) = (0,0)
ii)
(, ) (, ) = (, ) ( + , + ) = (, )
= = 0 (, ) = (0,0)
(, ) (, ) = (, ) ( + , + ) = (0,0)
= = (, ) = (, )
(, ) (, ) = (, ) ( + , + ) = (0,0)
Entonces:
= = (, ) = (, )
(, ), (, ) 2 , (, ) (, ) = (, ) (, )
(, ) (, ) = ( + , + )
(, ) (, ) = ( + , + )
Pgina 5
= ( + , + )
Por transitividad: [(, )(, )](, ) = (, )[(, )(, )]. Por tanto es asociativa
Existencia del elemento neutro:
Si tiene elemento neutro en 2 este debe verificar que:
(, ) 2 , (, )(, ) = (. )(, ) = (, )
Construccin del neutro (. ):
i)
(, )(, ) = (, ) (, + ) = (, )
= 1, = 0 (, ) = (1,0)
ii)
(, ) (, ) = (, ) (, + ) = (, )
= 1, = 0 (, ) = (1,0)
(, )(, ) = (, ) ( , + ) = (1,0)
1
(,
Entonces:
= = (, ) = ( , )
)(,
) = (, )
, + ) = (1,0)
= = (, ) = ( , )
Pgina 6
Pgina 7