Sesión 02-Cuerpos
Sesión 02-Cuerpos
Sesión 02-Cuerpos
iguales diferentes
Estructuras Algebraicas:
Leyes de Composición Interna:
Sea A , un conjunto, llamaremos operación binaria
interna o ley de composición interna definida en A, a toda
aplicación de A A en A , es decir :
: A A A
(a, b) (a, b) a b
Leyes de Composición Externa:
Sea
A y K dos conjuntos, llamaremos ley de composición
externa definida en A y con operadores en K , a toda apli
cación de K A en A, es decir :
: KA A
(, a ) (, a ) a
: K K K : K K K
( x, y ) ( x, y ) : x y ( x, y ) ( x, y ) : x y
Por comodidad , denotaremos la cerradura de las operaciones de
suma y producto como :
x y x y
x y x y
Axiomas de la Adición:
A1 ) Ley Asociativa : x, y, z K : ( x y ) z x ( y z )
A2 ) Ley Conmutativa : x, y K : x y y x
A3 ) Existencia de un ENA : e K , x K : x e x e x
A4 ) Existencia de un EIA : x K , y K : x y e y x
Axiomas de la Multiplicación:
M 1 ) Ley Asociativa : x, y, z K : ( x y ) z x ( y z )
M 2 ) Ley Conmutativa : x, y K : x y y x
M 3 ) Existencia de un ENM : (0 e) K , x K : x e x
M 4 ) Existencia del EIM : (0 x) K , y K : x y e
1 e 1 e x
donde y x , además xy x.x x. e
x x x
Axiomas Distributivos:
D1 ) Distributiva por la Izquierda : x, y, z K : x ( y z ) x y x z
Notación: ( K , , ) es un cuerpo.
A partir de estos axiomas se puede deducir todas las leyes
usuales del álgebra elemental.
Ejemplos:
1. El conjunto de los números racionales se define como :
x / p, q , q 0
p
q
p r
La relación de igualdad en se define por ps rq
q s
y las operaciones de adición y multiplicación como :
:
p r p r p r ps rq
( , ) ( , ) :
q s q s q s qs
:
p r p r p r pr
( , ) ( , ) :
q s q s q s qs
Pruebe que el conjunto de los números racionales Q con
las operaciones así definidas es un cuerpo.
p r m
Prueba: =
Sean x , y= ,=
z ∈
q s n
A1 ) Asociativa : x, y, z K : ( x y ) z x ( y z )
En efecto:
p r m
( x + y) + z = ( + ) +
q s n
ps + rq m
= +
qs n
( ps + rq ) n + m( qs )
=
( qs ) n
=
[ ( ps )n + (rq ) n ] + m( sq )
q ( sn)
=
[ p ( sn) + r ( qn) ] + m( sq )
q ( sn)
p ( sn) + [ r (nq ) + m(qs ) ]
=
q ( sn)
p ( sn) + [ ( rn) q + m( sq ) ]
=
q ( sn)
p ( sn) + [ ( rn) q + ( ms ) q ) ]
=
q ( sn)
p ( sn) + ( rn + ms ) q
=
q ( sn)
p rn + ms
= +
q sn
p r m
= + + =x + ( y + z )
q s n
( x + y ) + z =x + ( y + z )
A2 ) Ley Conmutativa : x, y K : x y y x
En efecto:
p r
x+ y = +
q s
ps + rq
=
qs
rq + ps
=
sq
r p
= +
s q
x+ y = y+x
A3) Existencia de un elemento neutro aditivo:
m p
Sq ' ∃ e = ∈ , ∀ x = ∈ : x + e = x = e + x
n q
En efecto: Como q ≠ 0 entonces:
x+e = x pn + mq = pn
p m p
+ = pn + mq = pn + 0
q n q mq= 0= 0. q
pn + mq p pero q ≠ 0 entonces: m = 0
=
qn q m 0
Luego: =
e = ,∀q≠0
( pn + mq )q = p (qn) n q
( pn + mq )q = p (nq ) 0
e= , ∀q ≠0
( pn + mq )q = ( pn)q q
x= e+ x 0.q = mq
p m p
= + pero q≠0 entonces: m=0
q n q
p mq + pn
= m 0
q nq Luego: =
e = , ∀q≠0
n q
=
p (nq ) (mq + pn)q
0
( pn=
)q (mq + pn)q e= , ∀q ≠0
q
Como q ≠ 0 entonces:
= mq + pn
pn Por lo tanto
0 + pn = mq + pn 0 p
∃!e = ∈ , ∀ x = ∈ : x + e = x
0 = mq q q
A4) Existencia de un elemento inverso aditivo:
p r
Sq ' ∀ x = ∈ , ∃ y = ∈ : x + y = e = y + x
q s
En efecto: ps + rq = 0, q ≠ 0
x+ y = e ps + rq= ( p + (− p )) s
p r 0 ps + rq= ps + (− p ) s
+ =
q s q rq = (− p ) s
ps + rq 0 r −p
= = , q≠0
qs q s q
( ps + rq )q = 0 (qs ) Luego:
( ps + rq )q = 0( sq ) = (0 s )q −p
y= , q≠0
( ps + rq )q = 0q q
e= y + x =
0 rq + ps , q ≠ 0
0 r p ((− p ) + p ) s = rq + ps
= +
q s q (− p ) s + ps = rq + ps
0 rq + ps (− p) s = rq
=
q sq r −p
= , q≠0
=
0( sq ) (rq + ps )q s q
(0 s )=
q (rq + ps )q −p
y= , q≠0
q
0=
q (rq + ps )q
p −p
Luego: ∀ x = ∈ , ∃! y = ∈: x + y = e
q q
Axiomas de la multiplicación:
p r m
Sean: x = , y = , z = ∈
q s n
M1) Asociativa ( x y) z = x ( y z)
En efecto:
pr m p ( rm)
( x y) z = ( ) =
q s n q ( sn)
pr m p rm
=( ) = ( )
qs n q s n
( pr ) m
= = x ( y z)
(qs ) n
p ( rm) Luego: ( x y) z = x ( y z)
=
q ( sn)
M2) Conmutativa: xy= yx
En efecto:
pr
xy=
q s
pr
=
qs
rp
=
sq
r p
=
s q
= yx Luego: xy= yx
M3) Existencia de un elemento neutro multiplicativo:
m p
Sq ' ∃ (0 ≠ e = ) ∈ , ∀ x = ∈ : x e = x = e x
n q
En efecto: Como p ≠ 0 entonces:
xe = x mq = qn
pm p m q
= = = 1, ∀q ≠ 0
q n q n q
pm p entonces:
=
qn q q ∀q≠0
e= = 1 ,
( pm)q = p (qn) q
( pm)q = p (nq )
p (mq ) = p (nq )
x =ex
Como p≠0 entonces:
p m p
= nq = mq
q n q m q
= = 1, ∀q ≠ 0
p mp n q
=
q nq entonces:
p (nq ) = (mp )q q
e= = 1 , ∀q≠0
p (nq ) = ( pm)q q
p (nq ) = p (mq ) Luego:
n p
∃!(0 ≠ e = = 1) ∈ , ∀ x = ∈ : x e = x
n q
M4) Existencia de un elemento inverso multiplicativo:
p m
∀ x = ∈, ∃ y = ∈ : x y = e = y x
q n
En efecto:
xy=e m q p −1
pm q = = ( )
= = 1 n p q
q n q
pm q Luego:
= , p,m ≠ 0 q
qn q y = , p,q ≠ 0
( pm)q = q (qn) p
( pm)q = (qn)q
pm = qn
e= yx q (nq ) = (mp )q
nq = mp
q m p
= m q p −1
q n q = = ( )
n p q
q mp
= , m, p ≠ 0 Por lo tanto:
q nq p m
∀ x = ∈ , ∃! y = ∈: x y = e
q q n
Luego: y = , p,q ≠ 0
p
D1) Distributiva por la izquierda: x ( y + z ) = x y + x z
{
=z =+
a bi / a, b ∈ , i =−1 }
La relación de igualdad en se define por :
a bi c di a c b d
y las operaciones de adición y multiplicación como :
:
( z , w) ( z , w) : z w
(a bi ) (c di ) (a c) (b d )i
:
( z , w) ( z , w) : z w
(a bi ) (c di ) (ac bd ) (ad bc)i
(a + b 2) + (c + d 2) = (a + c) + (b + d ) 2
(a + b 2) ⋅ (c + d 2) = (ac + 2bd ) + (bc + ad ) 2 es un cuerpo
Prueba: Ejercicio
6. Analice, si el conjunto ( 2) a b 2 / a, b
con las operaciones de adición y multiplicación :
(a + b 2) + (c + d 2) = (a + c) + (b + d ) 2
(a + b 2) ⋅ (c + d 2) = (ac + 2bd ) + (bc + ad ) 2 es un cuerpo
Prueba: Ejercicio