[skip-to-content]
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\gcd}{\operatorname{mcd}} \renewcommand{\lcm}{\operatorname{mcm}} \renewcommand{\deg}{\operatorname{gr}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Sección20.7Ejercicios en Sage

1

Dados dos subespacios \(U\) y \(W\) de un espacio vectorial \(V\text{,}\) su suma \(U+W\) puede ser definida como el conjunto \(U+W=\{u+w\mid u\in U,\ w\in W\}\text{,}\) en otras palabras, el conjunto de todas las sumas posibles de un elemento de \(U\) y un elemento de \(W\text{.}\)

Note que esto no es la suma directa del texto, ni corresponde al método direct_sum() en Sage. Pero, es posible construir este subespacio en Sage como sigue. Tome bases de \(U\) y \(W\) por separado, para definir listas de vectores. Junte las dos listas usando el signo de suma entre ellas (esto concatena las listas). Ahora construya el subespacio suma creando el subespacio de \(V\) generado por este conjunto, usando el método .subspace().

En el espacio vectorial (QQ^10) construya dos subespacios que cumplan que (a) tengan dimensión \(5\) o \(6\text{,}\) y (b) tengan una intersección de dimensión \(2\text{.}\) Compare sus dimensiones individuales con las dimensiones de su intersección (\(U\cap W\text{,}\) .intersection() en Sage) y su suma \(U+W\text{.}\)

Repita el experimento con espacios vectoriales de dimensión \(8\text{,}\) y con intersección tan pequeña como sea posible. Conjeture una relación entre estas cuatro dimensiones basado en los resultados de sus experimentos.

2

Podemos construir un cuerpo en Sage que extienda los racionales agregando una raíz cuarta de dos, \({\mathbb Q}[\sqrt[4]{2}]\text{,}\) con el comando F.<c> = QQ[2^(1/4)]. Este es un espacio vectorial de dimensión \(4\) sobre los racionales, con una base que consiste de las primeras cuatro potencias de \(c = \sqrt[4]{2}\) (partiendo de la potencia cero).

El comando F.vector_space() le devolverá estos tres ítemes en una tripleta (de manera que tenga cuidado como usa esta salida para extraer lo que necesite). La primera componente de la salida es un espacio vectorial sobre los racionales que es isomorfo a F. La siguiente es un isomorfismo de espacios vectoriales (una transformación linea invertible) del espacio entregado al cuerpo, mientras la tercera componente es un isomorfismo en la dirección opuesta. Estos dos isomorfismo pueden ser usados como funciones. Note que este es un comportamiento distinto al obtenido con el método .vector_space() aplicado a cuerpos finitos. Construya ejemplos no triviales que muestren que estos isomorfismos de espacios vectoriales se comportan como deben los isomorfismos.

3

Construya un cuerpo finito \(F\) de orden \(p^n\) en la forma usual. Luego construya el grupo (multiplicativo) de todas las matrices invertibles (nonsingulares) de \(m\times m\) sobre este cuerpo con el comando G = GL(m, F) (“el grupo lineal general”). ¿Cuál es el orden de este grupo? En otras palabras, encuentre una expresión general para el orden de este grupo.

Su respuesta debiese ser en función de \(m\text{,}\) \(p\) y \(n\text{.}\) Explique su solución en detalle y verifique con ejemplos en Sage que su respuesta es correcta.

Ayudas: G.order() le ayudará a poner a prueba y verificar sus hipótesis. Ejemplos pequeños en Sage (listando todos los elementos del grupo) pueden ayudar a su intuición—que es la razón de que esto sea un ejercicio en Sage. Pequeños quiere decir matrices de \(2\times 2\) y \(3\times 3\) y cuerpos finitos con \(2,3,4,5\) elementos, a lo sumo. Los resultados no dependen realmente de \(p\) y \(n\text{,}\) sino solo de \(p^n\text{.}\)

Advierta que este grupo es interesante porque contiene representaciones de todas las transformaciones lineales invertibles del espapcio vectorial \(F^m\) en sí mismo.

4

¿Qué pasa si intentamos hacer álgebra lineal sobre un anillo que no sea un cuerpo? El objeto que más se parece a un espacio vectorial, pero con esta diferencia, se conoce como módulo (no confundir con las congruencias módulo algo). Usted puede obtener uno fácilmente con una construcción como ZZ^3. Ejecute la siguiente celda para crear un módulo y un submódulo.

Examine las bases y las dimensiones (es decir “rango”) del módulo y del submódulo, y verifique si el módulo y el submódulo son iguales. ¿Cómo se diferencia esto de la situación análoga para espacios vectoriales? ¿Puede crear un tercer módulo, P, que sea un subconjunto propio de M y que contenga propiamente a N?

5

un cuerpo finito, \(F\text{,}\) de orden \(5^3\) es un espacio vectorial de dimensión 3 sobre \({\mathbb Z}_5\text{.}\) Supongamos que \(a\) es un generador de \(F\text{.}\) Sea \(M\) cualquier matriz de \(3\times 3\) con coeficientes en \({\mathbb Z}_5\) (cuidado acá, los elementos son del cuerpo de escalares, no del espacio vectorial). Si convertimos un elemento \(x\in F\) en un vector (relativo a la base \(\{1,a,a^2\}\)), entonces podemos multiplicarlo por \(M\) (con \(M\) al lado izquierdo) para crear otro vector, que entonces podemos traducir en una combinación lineal de los elementos de la base, y por ende en otro elemento de \(F\text{.}\) Esta función es un homomorfismo de espacios vectoriales, mejor conocido como una transformación lineal (implementeda con su representación matricial relativa a la base \(\{1,a,a^2\}\text{.}\) Note que cada parte más abajo se vuelve menos general y más específica.

  1. Cree una matriz no-invertible \(R\) y dé ejemplos para mostrar que la función descrita por \(R\) es un homomorfismode espacios vectoriales de \(F\) en \(F\text{.}\)

  2. Cree una matriz invertible \(M\text{.}\) La función ahora será un homomorfismo invertible. Determine la función inversa y dé ejemplos para verificar sus propiedades.

  3. Como \(a\) es un generador del cuerpo, la función \(a\mapsto a^5\) puede ser extendida a un homomorfismo de espacios vectoriales (i.e. una transformación lineal). Encuentre una matriz \(M\) que efectúe esta transformación lineal, y de ahí determine que el homomorfismo es invertible.

  4. Ninguna de las tres partes anteriores utiliza las propiedades de la multiplicación en el cuerpo. Pero la función de la tercera parte también preserva la multiplicación en el cuerpo, aunque esto puede no ser obvio en este momento. Estamos afirmando que esta última función es un automorfismo de cuerpos, preservando tanto la suma como la multiplicación. Dé un ejemplo no-trivial de la propiedad de preservación del producto de esta función. (Esta es la función de Frobenius que será discutida en mayor detalle en el Capítulo 21.)