II.2 Automorsmos y ms sobre extensiones.

2.1 Denicin. Sea un anillo. Un automorsmo de es un isomorsmo de anillos : . Denotaremos con Aut() el conjunto de automorsmos de . 2.2 Denicin. Sea un subanillo de . Un automorsmo de sobre es un isomorsmo de anillos : tal que (a) = a para toda a . Denotaremos con Aut () el conjunto de automormismos de sobre . 2.3 Proposicin. Aut() y Aut () son grupos bajo la composicin de funciones. Demostracin. Como la composicin de automorsmos es automorsmo, el inverso de un automorsmo tambin es un automorsmo y la identidad tambin lo es, el conjunto Aut() es un grupo bajo la composicin. Anlogamente para Aut (). 2.4 Ejemplo. Considere = Z. Entoces todo m Z es de la forma m1 para m Z. Claramente (m1) = m1. Por lo tanto = IZ . Luego, Aut(Z) = {IZ }. 2.5 Proposicin. Sea un dominio entero, (K, f) su campo de cocientes y : un automorsmo. Entonces el homomorsmo inducido : K K es un automorsmo. Demostracin. Por I.3.4, existe : K K. Veamos que posee inverso. Como : induce 1 : K K y 1 = 1 = I. Por el Problema 2.3 (i), 1 = 1 = IK . Luego, posee a 1 como inverso. 2.6 Denicin. Sea K K una extensin y f K [t]. Diremos que f se descompone K K o sobre K si se factoriza en factores lineales en K[t]. Observe que si se tiene un campo K tal que f K [t] se descompone sobre K ,entonces las distintas races a1 , ..., aj de f (t) en K generan el subcampo K (a1 , ..., aj ) de K que es el campo mnimo de K en el cual f se factoriza en factores lineales en K [t].

2.7 Denicin. La extensin mnima de K que cumple lo anterior se llama campo de descomposicin de f sobre K y lo denotaremos Kf . Nos preguntamos si existe una extensin K K tal que un polinomio f se factorice en factores lineales. Para contestar esta pregunta, supongamos que a1 es una raz en K K 1 y omitimos el factor (t a1 ) considerando el polinomio f1 (t) = f (t)/t a1 K 1 [t]. Luego hacemos lo mismo encontrando una extensin K K 2 que contenga una raz de f1 (t), etc. As tenemos el siguiente

2.8 Teorema. Sea f K [t] un polinomio. Entonces existe una extensin nita K K que es un campo de descomposicin de f sobre K . 2.9 Ejemplo. Considere el polinomio f(t) = t4 4 en Q[t]. Como f (t) = 2)(t2 +2) podemos adjuntar las races 2 y 2 obteniendo Q( 2, 2) = (t Q( 2) el cual es una extensin Q Q( 2) de grado 2. Nos jamos en (t2 + 2) Q( 2)[t]. Las races 2i y 2i son complejas, no en R, luego (t2 + 2)es irreducible en Q( 2)[t]. Ahora consideramos Q( 2, 2i) = Q( 2, i) y la extensin Q( 2) Q( 2, i) la cual es de grado 2. Considere la torre acostada de 2 2 campos Q Q( 2) Q( 2, i) C. Luego el campo de descomposicinb de f sobre Q en C es Q( 2, i) y por lo tanto [Q Q( 2, i)] = 4.
2

Suponga que a1 , ..., aj K son las distintas races de f K. K (a1 , ..., aj ) es el mnimo subcampo que contiene a K y a las ai . Pero K (a1 , ..., aj ) est contenido en cualquiera o todo subcampo de descomposicin. Por lo tanto tenemos la siguiente 2.10 Proposicin. Sea K K una extensin y f K [t]. Si K 1 y K 2 son subcampos de descomposicin para f sobre K entonces K 1 = K 2 . Notacin. (i) Para las extensiones K K y K K denotaremos con homK (K, K ) el conjunto de homomorsmos (inyectivos) de K en K que dejan jo a K . Considere la extensin nita K K , entonces homK (K , K ) = AutK (K , K ) es un grupo. (ii) Sea K K una extensin y f K [t]. Denotaremos con R(f, K ) el conjunto de las races de f en K . 2.11 Proposicin. Sea K K una extensin y f K [t] un polinomio irreducible. Sea ai K una raz de f . Entonces los conjuntos homK (K (ai ), K ) y R(f, K ) poseen la misma cardinalidad. Demostracin. Considere el diagrama K K [t] K [t]/ < f > Ea a = ai K K (ai )

donde Ea : K [t] K es el homomorsmo de evaluacin, el cual se factoriza mediante a : K [t]/ < f > K . Para cada raz ai existe un ai . Entonces, cada raz ai da lugar a un homomorsmo a = a (ai )1 para el cual a (ai ) = ai .

 2.12 Ejemplo. Como Q( 2) = Q[t]/ < t2 2 > donde t2 2 es irreducible sobre Q, hay dos homomorsmos que dejan jo a Q que envan 2 en 2, que son races complejas de t2 2. Estas dos races nos dan los homomorsmos C 1, : Q( 2) a + b2 1(a + b2) = a + b2 a + b 2 (a + b 2) = a b 2 Si ponemos Q( 2) en lugar de C obtenemos homQ (Q( 2), C) = homQ (Q( 2), Q( 2)) = AutQ (Q( 2). Luego |homQ (Q( 2), C)| = 2.

La siguiente proposicin es clave para comprender el grupo de automorsmos para el caso de extensiones algebraicas. 2.13 Proposicin. Considere las extensiones K K y K K .Entonces (i) para f K[t], cada homK (K, K ) se restringe a una funcin inyectiva f : R(f, K ) R(f, K ). (ii) si homK (K, K) entonces f : R(f, K) R(f, K) es biyectiva. Demostracin. (i) Para a R(f, K) se tiene que f((a)) = (f (a)) = (0) = 0, por lo tanto enva R(f, K) en R(f, K ). Como es inyectiva, su restriccin a R(f, K) K es una inyeccin tambin. (ii) De (i), f : R(f, K) R(f, K) es inyectiva y como es de un conjunto nito en s mismo es suprayectiva. Observe que (ii) dice que cualquier automorsmo de K permuta el conjunto de races de K de un polinomio f K[t]. 2.14 Denicin. Considere la extensin K K . Diremos que los elementos a, b K son conjugados sobre K si son races del mismo polinomio mnimo sobre K , es decir, ma,K = mb,K . 2.15 Ejemplos. Considere la extensin Q C, i y i son conjugados sobre Q pues son races del mismo polinomio mnimo sobre Q, mi,Q (t) = t2 +1 = mi,Q (t). Si se considera la extensin Q C, 2 y 2 son conjugados sobre Q pues son races del mismo polinomio mnimo sobre Q, m2,Q (t) = t2 2 = m2,Q (t). Tambin, para Q C, 3 2, 3 2e2i/3 , 3 2e4i/3 son conjugados sobre Q pues son races del mismo polinomio mnimo sobre Q, m_,Q (t) = t3 2. 2.16 Teorema. Sea K un campo, a, b algebraicos sobre K , n = gr(ma,K ). a y b son conjugados sobre K si, y slo si, la funcin a,b : K (a) K (b) 3

dada por n1 an1 + + 1 a1 + 0 n1 bn1 + + 1 b1 + 0 es un isomorsmo de campos. Demostracin. Supongamos que a y b son conjugados, es decir, ma,K = mb,K . Consideremos el siguiente diagrama < ma,K > K [t] Ea K [t]/ < ma,K > a = K (a) = a,b K [t]/ < mb,K > b = K (b)

Denimos a,b = b 1 el cual es un isomorsmo tal que a a,b (n1 an1 + + 1 a1 + 0 ) = b 1 (n1 an1 + + 1 a1 + 0 ) = a b (n1 an1 + + 1 a1 + 0 )+ < ma,K > = n1 bn1 + + 1 b1 + 0 . Ahora veamos que a,b es isomorsmo y entonces a y b sern conjugados. Considere ma,K (t) = n tn + + 2 t2 + 1 t1 + 0 . Entonces n an + + 2 a2 + 1 a1 + a0 = 0.Por lo tanto a,b (n an + + 2 a2 + 1 a1 + 0 ) = n bn + +2 b2 +1 b1 +0 = 0.Luego mb,K |ma,K . Anlogamente ma,K |mb,K y as, a y b son conjugados. 2.17 Ejemplo. Considere la extensin Q Q( 2) y el polinomio m2,Q (t) = t2 2. Sus races son 2 y 2 y por denicin, son conjugadas sobre Q. Por el teorema anterior, 2,2 : Q( 2) Q( 2) dada por a + b 2 2,2 (a + b 2) = a b 2 es un automorsmo de Q( 2). 2.18 Deniciones. Sea f K[t] un polinomio irreducible. Diremos que el polinomio f es separable sobre K si toda raz de f es simple en la extensin K K . Un elemento algebraico a K en una extensin K K es separable si su polinomio mnimo ma,K K [t] es separable. Si K K es una extensin nita, el grado de separabilidad, denotado {K K }, de la extensin K K , es el orden de homK (K , K ). Si K K es una extensin nita, se dice que es separable si {K K } = [K K ]. Observe que si K K (a) es una extensin nita simple, por 2.11 aplicado a K = K se tiene que {K K (a)} = |R(ma,K ), K |. 2.19 Proposicin. Si K K y K K son extensiones nitas, entonces {K K}{K K } = {K K }. Demostracin. Problema 2.6.

2.20 Denicin. Considere K K una extensin nita. Diremos que es una extensin normal si K es el campo de descomposicin sobre K de algn polinomio f K [t]. 4

Recurdese que homK (K, K ) denota el conjunto de homomorsmos de K en K que dejan jo a K . As, homK (K, K ) = AutK (K ) pues todo homomorsmo inyectivo es suprayectivo y por lo tanto invertible.Por el Problema 2.8, una extensin K K es normal si para toda homK (K , K ) se tiene que (K ) = K . Obsrvese que si K K es una extensin normal, entonces, siempre que se tenga un polinomio irreducible f K [t] el cual posea una raz en K , se separa en K puesto que cada par de races de f son conjugadas sobre K y una va a dar a la otra mediante un homomorsmo K K que enva a K en s mismo. 2.21 Teorema. Sea K K una extensin algebraica y K K K una torre de campos. Si 0 : K K es un homorsmo que ja los elementos de K , entonces existe un homomorsmo : K K que "extiende" a 0 . K | K | K 0 = K | | | K

Demostracin. Sea A el conjunto de las parejas (C, ) donde (K C) (K K ) y : C K extiende a 0 . Ordenemos A mediante la relacin (C2 , 2 ) siempre que C1 C2 y 2 extiende a 1 . para la cual (C1 , 1 ) Luego (A, )es un conjunto parcialmente ordenado. Supngase que B A es un subconjunto totalmente ordenado. Sea C = (C,)Y C. Entonces (K C) (K K ). Tambin existe una funcin : C K dada por (a) = (a) cuando a C para (C, ) B. Es claro que si a C para (C , ) B entonces (a) = (a) y por lo tanto est bien denida. Entonces para toda pareja (C, ) B tenemos que (C, ) (C, ) y as (C, ) es una cota superior de B. Por el Lema de Zorn, debe de haber un elemento mximo de A,a saber, (K0 , 0 ). Supongamos que K0 = K , entonces existe un elemento a K para el cual a K0 . Como K es algebraico sobre K , tambin es algebraico sobre K0 pues / n 2 1 a es algebraico sobre K0 . Si ma,K0 (t) = t + + 2 t + 1 t + 0 , entonces el polinomio f(t) = tn + + 0 (2 )t2 + 0 (1 )t1 + 0 (0 ) (0 (K0 ))[t] es el cual es tambin tambin irreducible y por lo tanto tiene una raz b en K la cerradura algebraica de 0 (K0 ). Por la propiedad universal del anillo de polinomios K0 [t], 0 da lugar a como en el siguiente diagrama 0
K0 K0 [t] K0 [t]/ < ma,K0 (t) > K0 (a) = 0 0 K

Pero (K0 , 0 ) (K0 (a), ) y (K0 , 0 ) = (K0 (a), ) contradiciendo la max0 0 imalidad de (K0 , 0 ). Por lo tanto, K0 = K y podemos tomar = 0 .

2.22 Denicin. Considere K K una extensin nita simple. Diremos que a K es un elemento primitivo de la extensin si K = K (a). 5

El siguiente teorema se conoce como el teorema del elemento primitivo. 2.23 Teorema. Sea K K una extensin separable. Entonces K posee un elemento primitivo. Demostracin. Supongamos que K es un campo innito. Como K se construye a partir de una sucesin de extensiones simples, basta considerar el caso K = K (a, b). Sean f, g K [t] los polinomios mnimos de a y b sobre K respectivamente. Considere a = a1 , ..., ar y b = b1 , ..., bs las distintas races de f y g respectivamente en K . Como K K es separable, r = gr f y s = gr g. Para j = 1 se tiene que b = b1 = bj y por lo tanto la ecuacin a + xb = ai + xbj tiene solamente una solucin, a saber, a ai = xbj xb = x(bj b) y x = aai . bj b Si escogemos una x K diferente de stas soluciones (pues K es innito), entonces a + xb = ai + xbj , excepto cuando i = j = 1. Sea c = a + xb. Entonces los polinomios g(t) y f (c xt) tienen coecientes en K (c)[t] y poseen a b como raz, es decir, g(b) = 0 y f(c xb) = f(a) = 0. De hecho, b es su nica raz comn pues escogimos x tal que c = ai + xbj , es decir, ai = c xbj a menos que 1 = i = j. Por lo tanto, el m.c.d.(g(t), f (c xt)) = t b. Se sabe que el mximo comn divisor de dos polinomios tiene coecientes en el mismo campo que los coecientes de los polinomios. Luego b K (c) y esto implica que a = c xb tambin est en K (c). Por lo tanto, K (a, b) = K (c).Para el caso en que K sea un campo nito, ver el problema__ en la siguiente seccin. Problemas. 2.1 Pruebe que Aut(Zn ) = {IZn }. 2.2 Suponga que un anillo contiene a = Z o Zn y Aut(). Pruebe que se restringe a la identidad en y por lo tanto Aut() = Aut (). 2.3 Sean y dominios enteros, K y K sus campos de cocientes respectivamente y : un monomorsmo. (i) Pruebe que existe un nico homomorsmo inducido : K K tal que (a) = (a) para a K . (ii) Pruebe que I : induce I = I : K K y que si son monomorsmos de dominios enteros, entonces = () : K K . 2.4 (i) Pruebe que ( ) : Aut( ) Aut(K ) es un monomorsmo. (ii) Pruebe que ( ) : Aut(Z) Aut(Q) es un isomorsmo y por lo tanto Aut(Q) = {IQ }. 2.5 Pruebe que las races de polinomios con coecientes en R son conjugadas. Sugerencia: considere C = R(i) = R(i). 2.6 Pruebe la Proposicin 2.19: si K K y K K son extensiones nitas, entonces {K K}{K K } = {K K }. 6

2.7 Pruebe que si K K y K K son extensiones nitas, entonces K K y K K son separables si, y slo si K K es separable.

2.8 Pruebe que K es el campo de descomposicin sobre K de algn polinomio f K [t] (es decir K K es una extensin normal) si, y slo si, (K ) = K para todo homK (K , K ). 2.9 Considere las extensiones nitas K K y K K . Pruebe que si la extensin K K es normal, entonces la extensin K K es normal. 2.10 Sea f un polinomio en K [t]. Un elemento a K tal que f (a) = 0 es una raz de multiplicidad n si n es el mayor entero tal que (t a)n es un factor de f en K [t]. Pruebe que si f es irreducible en K [t] entonces todas las races de f en K tienen la misma multiplicidad. Sugerencia: Use los Teoremas 2.16 y 2.21.