Exercícios 22.7 Ejercicios en Sage
1.
Cree un cuerpo finito de orden \(5^2\) y factorice \(p(x)=x^{25}-x\) sobre este cuerpo. Comente sobre qué es lo interesante de este resultado y por qué no es una sorpresa.
2.
El Corolario 22.1.11 dice que los elementos distintos de cero de un cuerpo finito forman un grupo cíclico con la multiplicación. El generador usado en Sage es también un generador de este grupo multiplicativo. Para ver esto, cree un cuerpo finito de orden \(2^7\text{.}\) Cree dos listas de los elementos del cuerpo: primero, use el método .list(), luego use una lista por comprensión para generar las potencias del generador especificado en la creación del cuerpo.
A la segunda lista le faltará el cero para ser el cuerpo completo. Cree el elemento 0 del cuerpo (quizás coercionando \(0\) para que pertenezca al cuerpo) y agréguelo a la lista de potencias usando .append(). Use el comando sorted() con cada una de las listas y verifique la igualdad.
3.
Los subcuerpos de un cuerpo finito están completamente clasificados por el Teorema 22.1.7. Es posible crear dos cuerpos finitos de los órdenes apropiados para que se cumpla la relación de extensión/subcuerpo, y traducir de uno a otro. Pero en este ejericicio construiremos un subcuerpo de un cuerpo finito desde cero. Como el grupo de elementos distintos de cero en un cuerpo finito es cíclico, los elementos distintos de cero de un subcuerpo formarán un subgrupo del grupo cíclico, que necesariamente será cíclico.
Cree un cuerpo finito de orden \(3^6\text{.}\) La teoría dice que existe un subcuerpo de orden \(3^2\text{,}\) pues \(2|6\text{.}\) Determine un generador de orden multiplicactivo \(8\) para los elementos distintos de cero de este subcuerpo, y construya estos \(8\) elementos. Agregue el elemento cero del cuerpo a esta lista. Debiera ser claro que este conjunto de \(9\) elementos es cerrado bajo multiplicación. En ausencia de nuestros teoremas sobre cuerpos finitos y grupos cíclicos, la clausura bajo la suma no es obvia. Escriba una línea que verifique si este conjunto es cerrado bajo sumas, considerando todas la posibles sumas de elementos del conjunto.
4.
Este problema investiga la “separabilidad” de \({\mathbb Q}(\sqrt{3},\sqrt{7})\text{.}\) Usted puede crear este cuerpo de números rápidamente con el constructor NumberFieldTower, junto con los polinomios \(x^2-3\) y \(x^2-7\text{.}\) Aplane la torre con el método .absolute_field() y use el método .structure() para recuperar los isomorfismos entre la torre y la versión plana del cuerpo. Nombre a la torre como N y use a y b como generadores. Nombre la versión plana como L con c como generador.
Cree un elemento no trivial (“aleatorio”) de L usando tantas potencias de c como sea posible (verifique el grado de L para ver cuántas potencias linealmente independientes existen). Solicite a Sage el polinomio minimal de su elemento aleatorio, asegurando así que el elemento es una raíz. Construya ese polinomio minimal como polinomio sobre N, la torre de cuerpos, y encuentre su factorización. Esta factorización debiese tener solo factores lineales. Cada raíz debiese ser una expresión en a y b. Convierta cada raíz en una expresión con notación matemática que involucre \(\sqrt{3}\) y \(\sqrt{7}\text{.}\) Use una de las funciones para verificar que una de las raíces corresponde al elemento aleatorio original.
Cree unos pocos elementos aleatorios más, y encuentre una factorización (en N o en L). Para que un cuerpo sea separable, todo elemento del cuerpo debe ser una raíz de algún polinomio separable. El polinomio minimal es un buen polinomio para probar. (¿Por qué?) Basado en esta evidencia, ¿parece que \({\mathbb Q}(\sqrt{3},\sqrt{7})\) fuera una extensión separable?
5.
El Ejercicio 22.3.21 describe el automorfismo de Frobenius de un cuerpo finito. Si F es un cuerpo finito en Sage, entonces End(F) creará el grupo de automorfismos de F.
Trabaje el Ejercicio 22.3.21 para mejorar su comprensión de como y por qué la función de Frobenius es un automorfismo de cuerpos. (Lo que viene será más sencillo si hace esto primero.)
Para algunos cuerpos finitos pequeños, pero no triviales identifique el automorfismo de Frobenius dentro del grupo de automorfismos. Pequeños podría significar \(p=2,3,5,7\) y \(3\leq n\leq 10\text{,}\) con \(n\) primo versus compuesto.
Una vez que haya identificado la función de Frobenius, describa los demás automorfismos. En otras palabras, con un poco de investigación, debiese ser posible dar una descripción de los automorfismos que le permita predecir correctamente el grupo completo de automorfismos de un cuerpo finito que no haya explorado aún. (Ayuda: el grupo de automorfismos del grupo es un grupo. ¿Qué pasa si “hace la operación” de la función de Frobenius consigo misma? ¿Qué es exactamente esta operación? Intente usar la notación multiplicativa de Sage con los elementos del grupode automorfismos.)
¿Cuál es la “estructura” del grupo de automorfismos? ¿Cuál es el rol especial de la función de Frobenius en este grupo?
Para cualquier cuerpo, el subcuerpo conocido como cuerpo fijo es una construcción importantes, y será lo será más aún en el siguiente capítulo. Dado un automorfismo \(\tau\) de un cuerpo \(E\text{,}\) se puede demostrar que el subconjunto, \(K=\{b\in E\mid\tau(b)=b\}\text{,}\) es un subcuerpo de \(E\text{.}\) Se conoce como el cuerpo fijo de \(\tau\) en \(E\text{.}\) Para cada automorfismo de \(E=GF(3^6)\) identifique su cuerpo fijo. Como entendemos la estructura de subcuerpos de un cuerpo finito, es suficiente con determinar el orden de un cuerpo fijo para identificarlo completamente.
6.
El Ejercicio 22.3.15 sugiere que todo elemento de un cuerpo finito puede ser escrito (expresado) como suma de cuadrados. Acá se sugieren experimentos computacionales que pueden ayudarle a formular una demostración del ejercicio.
Construya dos cuerpos pequeños pero no demasiado pequeños, uno con \(p=2\) y el otro con un primo impar. Repita lo siguiente con cada cuerpo \(F\text{.}\)
-
Escoja un elemento “aleatorio” del cuerpo, digamos \(a\in F\text{.}\) Construya los conjuntos
\begin{align*} &\{x^2|x\in F\}&&\{a-x^2|x\in F\} \end{align*}usando conjuntos Sage con el constructor \(Set()\text{.}\) (Cuidado:
set()es un comando Python que se comporta de forma fundamentalmente diferente.) Examine el tamaño de los dos conjunto y el tamaño de su intersección (
.intersection()). Pruebe con diferentes elementos \(a\text{,}\) quizás usando un bucle para probar todos los valores posibles. Note que \(p=2\) se comportará de forma bastante diferente.Supongamos que tiene un elemento de la intersección. (Puede obtener uno con el método
.an_element().) ¿Cómo lleva esto a la suma de cuadrados propuesta en el ejercicio?¿Puede escribir una función en Python que reciba un cuerpo finito cuyo orden sea una potencia de un primo impar y luego liste cada elemento como suma de cuadrados?