22.8: Ejercicios de salvia
- Page ID
- 110983
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Crear un campo finito de orden\(5^2\) y luego factorizar\(p(x)=x^{25}-x\) sobre este campo. Comenta qué es lo interesante de este resultado y por qué no es una sorpresa.
Corolario\(22.11\) dice que los elementos distintos de cero de un campo finito son un grupo cíclico bajo multiplicación. El generador utilizado en Sage es también un generador de este grupo multiplicativo. Para ver esto, crea un campo finito de orden\(2^7\text{.}\) Crea dos listas de los elementos del campo: primero, usa el método .list ()
, luego usa una comprensión de lista para generar las potencias adecuadas del generador que especificaste al crear el campo.
La segunda lista debe ser todo el campo, pero le faltará cero. Crear el elemento cero del campo (tal vez coaccionando\(0\) en el campo) y .append ()
a la lista de potencias. Aplica el comando classified ()
a cada lista y luego prueba la igualdad de las listas.
Los subcampos de un campo finito están completamente clasificados por Teorema\(22.7\). Es posible crear dos campos finitos de los órdenes correctos para que la relación supefield/subcampo se mantenga, y para traducir entre uno y otro. No obstante, en este ejercicio crearemos un subcampo de un campo finito desde cero. Dado que el grupo de elementos distintos de cero en un campo finito es cíclico, los elementos distintos de cero de un subcampo formarán un subgrupo del grupo cíclico, y necesariamente serán cíclicos.
Crear un campo finito de orden\(3^6\text{.}\) La teoría dice que hay un subcampo de orden\(3^2\text{,}\) desde\(2|6\text{.}\) Determinar un generador de orden multiplicativo\(8\) para los elementos distintos de cero de este subcampo, y construir estos\(8\) elementos. Añadir en el elemento cero del campo a esta lista. Debe quedar claro que este conjunto de\(9\) elementos se cierra bajo multiplicación. Ausentes de nuestros teoremas sobre campos finitos y grupos cíclicos, el cierre bajo adición no es un hecho. Escribir una sola declaración que verifique si este conjunto también está cerrado bajo adición, considerando todas las posibles sumas de elementos del conjunto.
Este problema investiga la “separabilidad” de\({\mathbb Q}(\sqrt{3},\sqrt{7})\text{.}\) Puedes crear este campo numérico rápidamente con el constructor NumberFieldTower
, junto con los polinomios\(x^2-3\) y\(x^2-7\text{.}\) Aplanar la torre con el método .absolute_field ()
y usar el .structure ()
para recuperar mapeos entre la torre y la versión aplanada. Nombra la torre N
y usa a
y b
como generadores. Nombra la versión aplanada L
con c
como generador.
Crear 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 hay). Solicita a Sage el polinomio mínimo de tu elemento aleatorio, asegurando así que el elemento sea una raíz. Construir el polinomio mínimo como polinomio sobre N
, la torre de campo, y encontrar su factorización. Tu factorización debe tener solo factores lineales. Cada raíz debe ser una expresión en a y
b
, así convertir cada raíz en una expresión con notación matemática involucrando\(\sqrt{3}\) y\(\sqrt{7}\text{.}\) Use una de las asignaciones para verificar que una de las raíces es efectivamente el elemento aleatorio original.
Crea algunos elementos aleatorios más, y encuentra una factorización (en N
o en L
). Para que un campo sea separable, cada elemento del campo debe ser una raíz de algún polinomio separable. El polinomio mínimo es un buen polinomio para probar. (¿Por qué?) Con base en la evidencia, ¿parece que\({\mathbb Q}(\sqrt{3},\sqrt{7})\) es una extensión separable?
El ejercicio\(22.4.21\) describe el Mapa de Frobenius, un automorfismo de un campo finito. Si F
es un campo finito en Sage, entonces End (F)
creará el grupo de automorfismo de F, el conjunto de todas las asignaciones biyectivas entre el campo y él mismo.
- Ejercicio de trabajo\(22.4.21\) para comprender cómo y por qué el mapeo de Frobenius es un automorfismo de campo. (No incluya nada de esto en su respuesta a esta pregunta, pero entienda que lo siguiente será mucho más fácil si hace este problema primero).
- Para algunos campos pequeños, pero no triviales, finitos localizan el mapa de Frobenius en el grupo de automorfismo. Pequeño podría significar\(p=2,3,5,7\) y\(3\leq n\leq 10\text{,}\) con\(n\) primo versus compuesto.
- Una vez que hayas localizado el mapa de Frobenius, describe los otros automorfismos. Es decir, con un poco de investigación, deberías encontrar una descripción de los automorfismos que te permitirá predecir con precisión todo el grupo de automorfismo para un campo finito que aún no has explorado. (Pista: el grupo de automorfismo es un grupo. ¿Y si “haces la operación” entre el mapa de Frobenius y él mismo? Justo ¿cuál es la operación? Intente usar la notación multiplicativa de Sage con los elementos del grupo de automorfismo.)
- ¿Cuál es la “estructura” del grupo de automorfismo? ¿Qué estatus especial tiene el mapa de Frobenius en este grupo?
- Para cualquier campo, el subcampo conocido como campo fijo es una construcción importante, y será especialmente importante en el siguiente capítulo. Dado un automorfismo\(\tau\) de un campo\(E\text{,}\) el subconjunto,\(K=\{b\in E\mid\tau(b)=b\}\text{,}\) puede mostrarse como un subcampo de\(E\text{.}\) Se conoce como el campo fijo de\(\tau\) en\(E\text{.}\) Para cada automorfismo de\(E=GF(3^6)\) identificar el campo fijo del automorfismo. Ya que entendemos la estructura de los subcampos de un campo finito, basta con determinar el orden del campo fijo para poder identificar el subcampo con precisión.
El ejercicio\(22.4.15\) sugiere que cada elemento de un campo finito puede escribirse (expresarse) como una suma de cuadrados. Este ejercicio sugiere experimentos computacionales que podrían ayudarle a formular una prueba para el ejercicio.
- Construye dos campos pequeños, pero no demasiado pequeños, finitos, uno con\(p=2\) y el otro con un primo impar. Repita lo siguiente para cada campo,\(F\text{.}\)
- Elija un elemento “aleatorio” del campo, digamos\(a\in F\text{.}\) Construye los conjuntos
\ begin {align*} &\ {x^2|x\ en F\} &&\ {a-x^2|x\ en F\}\ end {align*}
usando conjuntos de Sage con el\(Set()\) constructor. (Tenga cuidado:
set ()
es un comando de Python que se comporta de manera diferente en formas fundamentales.) - Examine el tamaño de los dos conjuntos y el tamaño de su intersección (
.intersección ()
). Pruebe diferentes elementos para\(a\text{,}\) quizás escribir un bucle para probar todos los valores posibles. Tenga en cuenta que\(p=2\) se comportará de manera bastante diferente - Supongamos que tienes un elemento de la intersección. (Puede obtener uno con
.an_element ()
.) ¿Cómo lleva esto a la suma de cuadrados propuestos en el ejercicio? - ¿Puedes escribir una función Python que acepte un campo finito cuyo orden es un poder de un primo impar y luego enumera cada elemento como una suma de cuadrados?