. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Morales Rodrguez Jorge Alberto

1. Escribir 5 ejemplos de Anillo y 5 ejemplos de Grupo (diferentes a los que se vieron en
clase).
Anillo
El conjunto de los enteros gaussianos H = m + ni m, n Z, con la adicin y multiplicacin
usuales es un anillo unitario.
El conjunto M de las matrices reales de orden 2 con la adicin y multiplicacin de matrices
es un anillo no conmutativo.

El conjunto Q( 3) de los nmeros reales: m + n 3 donde m, n Q (son racionales, con

la adicin y multiplicacin, es un anillo unitario conmutativo.
El conjunto Z[6] de los enteros mdulo 6; con la adicin y multiplicacin modular, es un
anillo.
El conjunto F [x] de los polinomios con coeficientes en Z (conjunto de los enteros), con la
adicin y multiplicacin, es un anillo.
Grupo
El producto define estructura de grupo conmutativo en los nmeros racionales no nulos,
los nmeros reales positivos, los nmeros complejos de mdulo 1, etc.
Las matrices cuadradas con coeficientes reales y determinante distinto de cero forman un
grupo con el producto de matrices, grupo que no es conmutativo cuando n > 1.
El grupo de los movimientos del espacio o grupo de isometra del espacio eucldeo, el grupo
de las semejanzas del plano o el grupo de las afinidades de una recta (las aplicaciones de
la forma x ax + b con a distinto de cero).
El grupo de Galileo, formado por las transformaciones del espacio y el tiempo que conservan
los sistemas de referencia inerciales).
El grupo de Lorentz de la teora de la relatividad.
2. Mostrar 5 ejemplos de Campo y Dominio Integral.
Campo
Los nmeros reales (R), Los nmeros complejos (C), los nmeros p dicos, los enteros
primos (Zp ).
Dominio Integral
(Z, +, ),
(Q, +,
), (R, +, ), (Z[i], +, ) Siendo Z[i] = {a + bi|a, b Z}, y (K, +, ) con x =
m + n 3 5 + p 3 25 con m, n, p Z
3. Definimos una relacin en R por a b si, y solo si |a| = |b|.Probar que es una relacin
de equivalencia

a a |a| = |a|
a b = b a |a| = |b| y |b| = |a|
a b y b c |a| = |b|y|b| = |c| |a| = |c|

por lo tanto es una relacin de equivalencia.

4. Probar que Z[ 2] es un anillo.

sea = a + b( 2) y = c + d( 2) entonces:

+ = (a + b( 2)) + (c + d( 2)) = (a + b) + (c + d)( 2) Q( 2)

( + ) + = [(a + b) + (c + d)( 2)] + (e + f ( 2))

= a + b( 2)[(c + e) + (d + f )( 2)] = + ( + )

+ =

(a + b) + (c + d)( 3) = a + b( 2)
de donde tenemos el siguiente sistema de ecuaciones.

a+c=ac=aa=0
b+d=cd=bb=0
entonces:

c + d( 3) = 0 + 0( 2)

+ = 0 (a + c) + (b + d)( 2) = 0
a + c = 0 c = a
b + d = 0 d = b

= (a + b( 2)) (c + d( 3)) = ac + 2bd + (ad + bc)( 2) Q( 2)

( ) = (ac + 3bd + (ad + bc)( 2)) (e + f ( 3))

= (a + b( 2)(ce + 2df + (cf + de)( 2))

= ( )
la multiplicacin se distribuye sobre la suma:

( + ) = (a + b 3) [(c + e) + (d + f )( 2)]

= ac + 3bd + (ad + bc)( 2) + ae + 2bf + (af + be)( 2) = +

Por lo tanto Q( 2) es anillo.

5. Construye las tablas de Cayley para los grupos Z3 y Z4

Para Z3 las tablas de Cayley
+
0
1
2

0
0
1
2

1
1
2
0

2
2
0
1

0
1
2

0
0
0
0

1
0
1
2

2
0
2
1

Para Z4 las tablas de Cayley

+
0
1
2
3

0
0
1
2
3

1
1
2
3
0

2
2
3
0
1

3
3
0
1
2

0
1
2
3

0
0
0
0
0

1
0
1
2
3

2
0
2
0
2

3
0
3
2
1

6. Simplifica cada una de las siguientes expresiones en Z5 y escribe cada forma si es: [0], [1], [2], [3]
[4].
a) [3] [4]
[3] [4] = [2] porque 7/5 es 1 con residuo 2.
b) [2] [7]
[2] [7] = [0] porque 5/5 es 1 con residuo 0.
c) [17] [76]
[17] [76] = [3] porque 93/5 es 18 con residuo 3.
d) [3]  [4]
[3]  [4] = [2] porque 12/5 es 2 con residuo 2.
e) [2]  [7]
[2]  [7] = [1] porque 14/5 es 3 con residuo 1.
f) [17]  [76]
[17]  [76] = [2] porque 1292/5 es 258 con residuo 2.
g) [3]  ([2] [4])
[3]  ([2] [4]) = [3] porque 18/5 es 3 con residuo 3.

h) ([3]  [2]) ([3]  [4])

([3]  [2]) ([3]  [4]) = [3] porque 18/5 es 3 con residuo 3.
7. Demostrar que si la ecuacin con coeficientes enteros:
xn +

n1
X

ai xi = 0

i=0

tiene raices racionales entonces dichas races son enteras.

8. Demostrar que la ecuacin: 3x3 x = 1 carece de races en Q.
Sea
ax3 + bx2 + cx + d = 0
el discriminante de la ecuacin tiene la siguiente forma:
= 18abcd 4b3 d + b2 c2 4ac3 27a2 d2
si < 0,entonces la ecuacin tiene una raz real y dos races complejas conjugadas.
si = 0,entonces la ecuacin tiene races mltiples y todas sus races son reales.
si > 0,entonces la ecuacin tiene tres distintas races reales.
como no existe el miembro bx2 entonces todo lo que tenga b es cero.

= 4(3)(1)3 27(3)2 (1)2 = 12 243 = 231 < 0

Por el mtodo de Ruffini, la ecuacin no se hace 0 con ninguno de los divisores del trmino
independiente {1, 1} Q y cmo una de sus races es real, tiene que estar en los nmeros
irracionales y por lo tanto sus races no estn en Q.

9. Demostrar que 2 + 5 es irracional

Se demostrar por separado que ambos nmeros son irracionales, y por lo tanto su suma
es irracional.
Demostracin por contradiccin:

Supongamos que 2 es racional, es decir, 2 = pq con p y q primos relativos, dicho de otra

forma, (p, q) = 1 elevando al cuadrado tenemos que:

2=

p2
2q 2 = p2
q2

Por lo tanto 2|p2 pero como 2 es primo, 3|p por lo tanto p = 2r para algn r.

2q 2 = p2 = (2r)2 = 4r2
q 2 = 4r2

Por lo que 2|q 2 pero 3 es primo entonces 2|q

Porque (p, q) = 1

Supongamos que 5 es racional, es decir, 5 = pq con p y q primos relativos, dicho de otra

forma, (p, q) = 1 elevando al cuadrado tenemos que:

5=

p2
5q 2 = p2
q2

Por lo tanto 5|p2 pero como 5 es primo, 3|p por lo tanto p = 5r para algn r.

5q 2 = p2 = (5r)2 = 25r2
q 2 = 25r2
Por lo que 5|q 2 pero 3 es primo entonces 5|q

Porque (p, q) = 1

Por lo tanto 2 + 5 es un nmero irracional.

10. Comparar los nmeros 2 + 3 y 5 y si son distintos determinar el menor

entonces

2+

5 es el menor.

3 3,1462643699 y

5 2,2360679775