Universidad de Santiago de Chile

Facultad de Ciencias
Departamento de Física

ALGEBRA MODERNA
Tarea N°1

Nombre: Daniela Gaete Pino

Fecha: 17 de abril del 2012

Página 1
 Algebra Moderna: Tarea 1

1. Sea * + Para sea la parte fraccional de .

Pruebe que , es una operación bien definida y que ( ) es un grupo Abeliano.

Lo definimos como la operación suma ( ) en los menos la parte entera.

Por lo que toma las propiedades de ( ) en los .

Se prueba si la operación es bien definida para ( ) si ( ) es un grupo.

1. Elemento Neutro:
Sea
, con propiedades de suma tenemos que con

2. Elemento Inverso:
Sea

Para debe ocurrir que:

( ) ( )
( ) =1 con
( ) ( )

3. Asociatividad:
Sea
( ) ( )
. (( ) ( ))/ ( )
.(( ) ( )) / ( )

(+) Tiene propiedad distributiva en los Reales

4. Por demostrar que ( ) es Abeliano:

Sea entonces para ser Grupo Abeliano debe ocurrir que:

( ) ( )

Definición de con
( ) ( )
Es conmutativa porque (+) en los es Conmutativa

( ) es un Grupo Abeliano

2. Determine si los siguientes conjuntos son grupos con la operación suma:

 El conjunto de los racionales de módulo menor que 1
* +
( )
a) Elemento Neutro:
en la suma y

Página 2
 Algebra Moderna: Tarea 1

b) Elemento Inverso:
Sea , entonces

como , entonces cada elemento tiene su inverso aditivo.

c) Asociatividad:
Sea , entonces
( ) ( )
La asociatividad es una propiedad en la adición de los

( )

 El conjunto de los racionales de módulo mayor igual que 1 además de cero.

* - - * +, ,+
( )
a) Elemento Neutro
en la suma y

b) Elemento Inverso:

entonces cada elemento de tiene su inverso aditivo en

c) Asociatividad
propiedad asociatividad de la adición de los

( )

 El conjunto de los racionales con denominador 1,2,ó 3

2 3
( )
a) Elemento Neutro

Todo número entero tiene denominador 1

b) Elemento Inverso:

Todo elemento de tiene su inverso aditivo en , debido a que sus

inversos aditivos deben tener un denominador 1, 2 ó 3

Página 3
 Algebra Moderna: Tarea 1

c) Asociatividad
Propiedad asociativa de la adición de los y

( )

 El conjunto de los racionales con denominador 1 ó 2

2 3
( )
a) Elemento Neutro

Todo número entero tiene denominador 1

b) Elemento Inverso:

Todo elemento de tiene su inverso aditivo que también pertenece

a porque tiene un denominador 1, 2 ó 3

c) Asociatividad
propiedad asociativa de la adición de los y

( )

3. Considere el conjunto { √ }

 Pruebe que es un grupo con la suma

a) Elemento Neutro
( √ ) ( √ ) √ √

b) Elemento Inverso:
( √ ) ( √ )
√

c) Asociatividad
propiedad asociativa de la adición

( )

Página 4
 Algebra Moderna: Tarea 1

 Pruebe que * + es un grupo con la multiplicación

a) Elemento Neutro
( √ ) ( √ ) √
Para que sea una se debe tomar √ en ó en pero √

( )

4. Sea un grupo finito y es un elemento de orden . Probar que si es impar

entonces ( ) para algún

5. Si son tales que , probar que ( ) para todo

Con , entonces es conmutativo (Es Abeliano)

( ) ( )( )( ) ( ) =
por propiedad conmutativa

Por inducción:

( )
Para
( )

Se cumple con

Para
( )

Se cumple con

Hipotesis :
Para
( )

Tesis:
Para
( )

Página 5
 Algebra Moderna: Tarea 1

Demostración
( )
( ) asociatividad de la multiplicación
( )
Luego
( ) /

( ) ( ) ( )
( )

6. Probar que si , para todo elemento entonces es un grupo abeliano.

Sean ( )( )
Puesto que esto es de la forma:

( )( )
( )

pero como y
entonces
y

7.- Sea el grupo de los movimientos rígidos de un cubo, pruebe que | |

. / ( )

. / ( )

Página 6
 Algebra Moderna: Tarea 1

. / ( )( )

. / ( )

. / ( )

. / ( )( )

. / ( )( )( )

. / ( )( )

. / ( )( )

Página 7
 Algebra Moderna: Tarea 1

. / ( )( )( )

. / ( )( )

. / ( )

. / ( )( )( )

. / ( )( )

. / ( )

. / ( )( )

Página 8
 Algebra Moderna: Tarea 1

. / ( )( )

. / ( )

. / ( )( )

. / ( )( )( )

. / ( )( )

. / ( )( )( )

. / ( )( )

Página 9
 Algebra Moderna: Tarea 1

. / ( )( )( )

( )( )( )( )( )( )( ) (( )( ))
(( )( )) (( )( )) (( )( )) (( )( )) (( )( ))
(( )( )) (( )( )) (( )( )) (( )( ))
(( )( )) (( )( )( )) (( )( )( )) (( )( )( ))
{ (( )( )( )) (( )( )( )) (( )( )( )) }

| |

8.- Exhiba todos los elementos de y determine sus respectivos ordenes.

. / ( )

. / ( )

. / ( )

. / ( )

. / ( )

. / ( )

Página
10
 Algebra Moderna: Tarea 1

. / ( )

. / ( )( )

. / ( )

. / ( )

. / ( )

. / ( )

. / ( )

. / ( )

. / ( )

. / ( )

Página
11
 Algebra Moderna: Tarea 1

. / ( )( )

. / ( )

. / ( )

. / ( )
2

. / ( )

. / ( )

. / ( )

. / ( )( )

e=1
| |

Página
12
 Algebra Moderna: Tarea 1

( )( )( )( )( )( )( )( )( )( )( )
{ ( )( )( )( )( ) (( )( )) ( ) }
( ) (( )( )) ( )( ) (( )( )) ( )

Primer Orden: ( )
Segundo Orden: ( ) ( ) ( ) ( ) ( )( )
Tercer Orden: ( )( )( )( )( )( )( )( )
Cuarto Orden: ( ) (( )( )) ( )( ) (( )( ))
( )( ) (( )( )) ( )

9. Considere el conjunto { - - - } con el producto dado por

Será un grupo abeliano? Será cíclico? Determine el orden de sus elementos y

determine si posee un subgrupo de orden 4.

Orden de los elementos de| |

Subgrupos de orden | |
Y existen 3 subgrupos de que tienen 4 elementos

| | , - , - , -

Vemos si es grupo:
a) Elemento Neutro:

b) Elemento Inverso:

Página
13
 Algebra Moderna: Tarea 1

=-1=e
=-1=e

c) Asociatividad:
Es asociativa ya que se cumple para la suma

10. Sean H, K subgrupos de un grupo Pruebe que es un subgrupo de G si y sólo si

K o bien H

Sea H, K un subgrupos de G

Demostrar que es subgrupo de G, si K ó H

0[,( ) - ( )] [( ) ,( ) -]1
Por lo que obtenemos.
( ) (( ) )

( )
( )

(( ) ) ( )

Como H, K son subgrupo de G. por lo que poseen la misma operación del grupo G, el
mismo elemento neutro. La unión de estos subgrupos da un grupo de mayor orden,
mayores que cero.

Podemos concluir que:

, - ,( ) - ,( ) - , -

, - , -

Página
14