Teora de Cuerpos.

Taller 1

2
Teorema 1. La interseccion de subcuerpos de un cuerpo es un subcuerpo-.
Proof. Sea K un cuerpo
T y {Ki }iI una familia de subcuerpos arbitraria de
K. Entonces H :=
Ki es no vaco ya que 0K Ki para todo i I.
iI

Ahora, si x, y H Ki , entonces x y Ki para todo i I, ya que los

Ki son subgrupos abelianos aditivos de K. En consecuencia x y H y
por tanto
 H esun subgrupo abeliano aditivo de K. Solo resta mostrar que
T
H :=
Ki {0K } es un subgrupo multiplicativo de K . En efecto,
iI

1K Ki {0K } para todo i I, por lo que H 6= . Finalmente, si

x, y H Ki , entonces xy 1 Ki para todo i I, por lo que xy 1 H ,
i.e. H es un subgrupo multiplicativo de K y H es por tanto un subcuerpo
de K.

Teorema 2. Q( 2, 3) = Q( 2 + 3)

2,
3)

Q(
2
+
3), para lo que es
Proof. Primero mostraremos
que
Q(

suficiente verificar que 2, 3 Q( 2 + 3).

2 2

2 3
( 2 + 3) ( 2 3) =
= 2 3 = 1

Entonces
2 3 = ( 2 + 3)1
Q( 2 + 3), por lo que 2 =

1
(( 2 + 3) + ( 2 3)) Q( 2 + 3), y similarmente se muestra que
2

3 Q( 2 + 3). En consecuencia Q( 2, 3) Q(
2
+

3). La otra
contenencia
es
clara
ya
que
cualquier
elemento
en
Q(
2
+
de la forma

3)

a +b 2+ c 3 con a, b, c Q puede escribirse como a + b 2 + c 3 + 0 6

Q( 2, 3), ergo los conjuntos son iguales.
Lema 2.1. Todo ideal primo de Z es de la forma pZ para p primo
Proof. Es claro que todo ideal de Z debe ser de la forma mZ pues todo
subgrupo es de esa forma. Mostraremos que si mZ es ideal primo, m debe
ser primo. Suponga que no lo es, digamos m = pq con p, q 6= 1, 0. Entonces
pq = m mZ, pero p, q 6 mZ pues m no divide a p ni a q, y eso es
contradictorio, luego m es primo.
Teorema 3. Todo cuerpo finito tiene orden primo o potencia de primo
Proof. Primero se resaltara un resultado clasico, i.e. si R es un anillo e I
es un ideal, R/I es dominio entero si y solo si I es primo. Ahora, sea K
un cuerpo finito y f : Z K definido por n 7 n 1K . f es claramente

3
un homomorfismo, por lo que el primer teorema de isomorfa de anillos nos
asegura que
Z/ ker f
= Imf
Pero Imf es un subanillo de K, por tanto un dominio entero, y por la nota
realizada al principio, ker f es un ideal primo de Z. Por el lema anterior,
ker f es de la forma pZ para alg
un primo p, y por tanto R := Imf
= Zp es
un subcuerpo de K de orden p. Entonces K puede verse como un espacio
vectorial sobre R de dimension finita pues K es finito, digamos dimR K = n.
En consecuencia, todo elemento de v K es combinacion lineal de n vectores
con escalares de R, y de hecho, se encuentra unvocamente determinado por
estos escalares, por lo que habran tantos elementos en K como ntuplas de
elementos en R, es decir pn . Por tanto |K| = pn , n 1.
Teorema 4. Si K es un cuerpo finito, y f K[x], el cuerpo L = K[x]/(f )
tiene orden |L| = char(K)grad(f )
Proof. Por una parte, si K es un cuerpo finito de orden pn para p primo,
entonces char(K) = p. En efecto, la caracterstica de K debe ser un n
umero
primo, pues si char(K) = q = sr, entonces 0 = sr 1K = (s 1K )(r 1K ) y
seran divisores de cero, lo que es contradictorio, luego q es primo. Ahora,
en la prueba del teorema 3, se mostro que todo cuepo finito de orden pn
tiene un subcuerpo R isomorfo a Zp , por lo que, si se toma 0 6= a R, dado
que q a = 0, entonces o(a)|p por el teorema de Lagrange (donde o(a) es el
orden aditivo de a). Pero como q es primo y a 6= 0, entonces o(a) = q, y
usando nuevamente el teorema de Lagrange, q|pn , luego q = p. Ahora, por
el teorema de Kronecker, L es una extension de K, por lo que L puede verse
como un espacio vectorial sobre K. Si L es finito, por un argumento similar
al usado en la prueba del teorema 3, L tiene tantos elementos como ntuplas
de elementos de K, donde n es la dimension de L sobre K, i.e. n = [L : K].
En consecuencia |L| = pn . El teorema de Kronecker (afirm. (iv)) nos asegura
tambien que n = grad(f ), por lo que |L| = pgrad(f ) = char(K)grad(f ) .
Proposici
on 1 (Afirmacion (iv) del Teorema de Kronecker). Sea K un
cuerpo, L = K[x]/(f ) con f K[x] irreducible de grado n. Entonces
[L : K] = n
Proof. Mostraremos que B = {xi + (f )|i = 0, , n 1} es una base para
L sobre K. Sea g + (f ) L con g K[x]. Entonces existen q, r K[x] tal

4
que g = f q + r con grad(r) n 1. Por tanto r =

n1
P

bi x i y

i=0

g + (f ) = f q + r + (f ) = r + (f )
n1
X
=
bi xi + (f )
=

i=0
n1
X

bi (xi + (f ))

i=0

Luego g es combinacion lineal de elementos de B y en consecuencia B genera

a L. Resta mostrar que estos elementos son l.i.
n1
P
Sean i K para i = 0, , n 1 y suponga que
i (xi + (f )) = (f ),
i=0
n1

n1
P
P
i
i
entonces
i x + (f ) = (f ) y por tanto
i x (f ). Pero todos los
i=0

i=0

elementos no nulos de (f ) son de la forma h 

= f t y por
 tanto tienen grado
n1
P
grad(h) grad(f ) = n. Sin embargo grad
i xi = n 1, entonces
i=0
n1
P

i xi = 0 y por igualdad de polinomios, i = 0 para i = 0, , n 1.

i=0

Entonces B es una base y [L : K] = |B| = n.