Está en la página 1de 1

ALGEBRA (Ciencias) a no 2011 Raices primitivas de la unidad.

. Dado n N, denotamos Gn al conjunto de las raices n- esimas de la unidad, es decir al conjunto de cardinal n cuyos elementos son todos los n umeros complejos tales que elevados a la n dan 1. Gn = {wk , 0 k n 1} donde wk = cos 2k + i sen 2k n n Observar que la operaci on producto es cerrada en Gn . Adem as, si z Gn entonces z 1 Gn y z Gn . Un n umero complejo w se dice una ra z primitiva de orden n de la unidad si n = menor{m N/wm = 1} Observar que si w es ra z primitiva de orden n de la unidad entonces wk = 1 n/k . Es claro que si w es una ra z primitiva de orden n de la unidad entonces w Gn . La rec proca en general no es verdadera, por ejemplo 1 G4 pero 1 no es ra z primitiva de orden 4 sino que es ra z primitiva de orden 2. Pregunto entonces, Cuales de los wk pertenecientes a Gn , son ra ces primitivas de orden n? 2k Respuesta: wk = cos 2k + i sen es ra z primitiva de orden n si y solo si (k, n) = 1. n n Resulta que:
+ i sen 2n es ra z primitiva de la unidad de orden n. w = cos 2n

Si n es primo entonces todos los elementos de Gn distintos de 1 son raices primitivas de orden n. Cu al es la ventaja de conocer una ra z primitiva de orden n? Respuesta: conociendo una primitiva de orden n puedo conocer facilmente todos los elementos de Gn , pues: Si w es ra z primitiva de orden n de la unidad entonces Gn = {w, w2 , w3 , ..., wn1 , wn = 1}. Ahora, pensando que Gn = {w, w2 , w3 , ..., wn1 , wn = 1}, me pregunto: existe entre estos elementos alg un otro que sea ra z primitiva de orden n? Respuesta: Si, si n > 2, pues: Si w es ra z primitiva de orden n, wk es ra z primitiva de orden n (n, k ) = 1 La suma de las ra ces n- esimas de un n umero complejo da 0, es decir si z0 , z1 , ..., zn1 son los n n umeros complejos que elevados a la n me dan z , entonces z0 + z1 + ... + zn1 = 0 Si Gn = {wk , 0 k n 1} son las raices n- esimas de la unidad y zk es una cualquiera de las raices n- esimas de z , entonces las todas las ra ces n- esimas de z son: zk .w0 , zk .w1 , ..., zk .wn1