Saltar al contenido principal
LibreTexts Español

16.10: Salvia

  • Page ID
    111108
  • \( \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}\)

    Los anillos son muy importantes en tu estudio del álgebra abstracta, y de manera similar, son muy importantes en el diseño y uso de Sage. Hay mucho material en este capítulo, y hay muchos comandos correspondientes en Sage.

    Creación de anillos

    Aquí hay una lista de varios anillos, dominios y campos que puedes construir de manera simple.

    1. Enteros (), ZZ: el dominio integral de los enteros positivos y negativos,\({\mathbb Z}\text{.}\)
    2. Enteros (n): los enteros mod\(n\text{,}\)\({\mathbb Z_n}\text{.}\) Un campo cuando\(n\) es primo, pero solo un anillo para compuesto\(n\text{.}\)
    3. QQ: el campo de los números racionales,\({\mathbb Q}\text{.}\)
    4. RR, CC: el campo de los números reales y el campo de los números complejos,\({\mathbb R}\text{,}\)\({\mathbb C}\text{.}\) Es imposible crear cada número real dentro de una computadora, por lo que técnicamente estos conjuntos no se comportan como campos, sino que solo dan una buena imitiación de lo real. Decimos que son anillos inexactos para hacer este punto.
    5. QuadraticField (n): el campo formado combinando los racionales con una solución a la ecuación polinómica\(x^2-n=0\text{.}\) La notación en el texto es\({\mathbb Q}[\sqrt{n}]\text{.}\) Un equivalente funcional se puede hacer con la sintaxis QQ [sqrt (n)]. Tenga en cuenta que n puede ser negativo.
    6. CyclotomicField (n): el campo formado combinando los racionales con las soluciones a la ecuación polinómica\(x^n-1=0\text{.}\)
    7. QQBar: el campo que se forma combinando los racionales con las soluciones a cada ecuación polinómica con coeficientes enteros. Esto se conoce como el campo de los números algebraicos, denotado como\(\overline
      ParseError: invalid DekiScript (click for details)
      Callstack:
          at (Matematicas/Algebra_Abstracta_y_Geometrica/Álgebra_abstracta:_teoría_y_aplicaciones_(Judson)/16:_Anillos/16.10:_Salvia), /content/body/div[1]/ol[1]/li[7]/span/span, line 1, column 1
      
      \text{.}\)
    8. FiniteField (p): para un primo\(p\text{,}\) el campo de enteros\({\mathbb Z_p}\text{.}\)

    Si imprime una descripción de algunos de los anillos anteriores, a veces verá un nuevo símbolo introducido. Considera el siguiente ejemplo:

    Aquí Campo de Número describe un objeto generalmente formado combinando los racionales con otro número (aquí\(\sqrt{7}\)). “a” es un nuevo símbolo que se comporta como raíz del polinomio No\(x^2-7\text{.}\) decimos cuál raíz,\(\sqrt{7}\) o\(-\sqrt{7}\text{,}\) y como entendemos mejor la teoría veremos que esto realmente no importa.

    Podemos obtener esta raíz como generador del campo numérico, y luego manipularlo. La raíz de primer cuadratura rinde 7. Observe que la raíz se imprime como un. Observe, también, que los cálculos con root se comportan como si fuera raíz de\(x^2-7\text{,}\) y los resultados se imprimen usando un.

    Esto puede resultar un poco confuso, ingresando cálculos con root y obteniendo salida en términos de a. Afortunadamente, hay una mejor manera. Considera el siguiente ejemplo:

    Con la sintaxis F. <b>podemos crear el campo F junto con especificar un generador b usando un nombre de nuestra elección. Luego, los cálculos pueden usar b tanto en entrada como en salida como raíz de\(x^2-7\text{.}\)

    Aquí hay tres nuevos anillos que mejor se crean usando esta nueva sintaxis.

    1. F. = FiniteField (p^n)<a>: Más adelante tendremos un teorema que nos dice que los campos finitos solo existen con órdenes iguales a una potencia de un primo. Cuando la potencia es mayor que 1, entonces necesitamos un generador, aquí dado como a.
    2. P. =R []<x>: el anillo de todos los polinomios en la variable x, con coeficientes del anillo R. Observe que R puede ser cualquier anillo, por lo que esta es una construcción muy general que usa un anillo para formar otro. Vea un ejemplo a continuación.
    3. Q. = CuaternionÁlgebra (n, m) <r, s, t>: los racionales combinados con indeterminados r, s y t tal que\(r^2=n\text{,}\)\(s^2=m\) y\(t = rs = -sr\text{.}\) Esta es una generalización de los cuaterniones descritos en este capítulo, aunque sobre los racionales más que los reales, por lo que es un anillo exacto. Observe que este es uno de los pocos anillos no conmutativos en Sage. Los cuaterniones “habituales” se construirían con Q. = CuaternionÁlgebra (-1, -1) <I, J, K>. (Observe que usar I aquí no es una buena opción, porque luego golpeará el símbolo que usé para números complejos).

    Los nombres de especificación de sintaxis para generadores también se pueden usar para muchos de los anillos anteriores, como se demostró anteriormente para campos cuadráticos y abajo para campos ciclotómicos.

    Propiedades de los anillos

    Los siguientes ejemplos demuestran cómo consultar ciertas propiedades de los anillos. Si estás jugando, asegúrate de ejecutar la primera celda de cálculo para definir los diversos anillos involucrados en los ejemplos.

    Exacto versus inexacto.

    Finito versus infinito.

    ¿Dominio integral?

    ¿Campo?

    ¿Conmutativo?

    Característica.

    Las identidades aditivas y multiplicativas se imprimen como cabría esperar, pero fíjate que si bien pueden imprimir de manera idéntica, podrían ser diferentes por el anillo en el que viven.

    Hay cierto apoyo para los subros. Por ejemplo, Q y S son extensiones de los racionales, mientras que F es totalmente distinto de los racionales.

    No todos los elementos de un anillo pueden tener una inversa multiplicativa, es decir, no todos los elementos tienen que ser una unidad (a menos que el anillo sea un campo). Ahora sería una buena práctica verificar si un elemento es una unidad antes de intentar calcular su inversa.

    Estructura del cociente

    Los ideales son los subgrupos normales de anillos y nos permiten construir “cocientes” —básicamente anillos nuevos definidos en clases de equivalencia de elementos del anillo original. El soporte sabio para los ideales es variable. Cuando se pueden crear, no siempre hay mucho que puedas hacer con ellos. Pero funcionan bien en ciertos casos muy importantes.

    Los enteros,\({\mathbb Z}\text{,}\) tienen ideales que son solo múltiplos de un solo entero. Podemos crearlos con el método.ideal () o simplemente escurriendo un múltiplo escalar de ZZ. Y entonces el cociente es isomórfico a un anillo bien entendido. (Observe que yo es un mal nombre para un ideal si queremos trabajar con números complejos más adelante.)

    Normalmente podríamos tener más cuidado con la última declaración. El cociente es un conjunto de clases de equivalencia, cada una infinita, y ciertamente no un solo entero. Pero el cociente es isomórfico para\({\mathbb Z}_4\text{,}\) así que Sage solo hace esta identificación.

    Observe que la construcción del anillo de cociente ha creado un nuevo generador, convirtiendo y (\(y\)) a ybar (\(\overline{y}\)). Podemos anular esto como antes con la sintaxis demostrada a continuación.

    Entonces, a partir de un cociente de un anillo infinito y un ideal (que también es un anillo), creamos un campo, que es finito. Entender esta construcción será un tema importante en los próximos capítulos. Para ver lo notable que es, considere lo que sucede con solo un pequeño cambio.

    Hay algunos métodos disponibles que nos darán propiedades de ideales. En particular, podemos verificar los ideales primos y máximos en anillos de polinomios. Examinar los resultados arriba y abajo en el contexto del Teorema 16.35.

    El hecho de que M sea un ideal principal es la verificación de Corolario\(16.40\).

    Homomorfismos de anillo

    Cuando Sage se presenta con 3 + 4/3, ¿cómo sabe que 3 está destinado a ser un entero? Y luego para agregarlo a un racional, ¿cómo sabe que realmente queremos ver el cómputo como 3/1 + 4/3? Esto es muy fácil para ti y para mí, pero endiabladamente duro para un programa, y puedes imaginarlo cada vez más complicado con los muchos anillos posibles en Sage, subrines, matrices, etc. Parte de la respuesta es que Sage usa homomorfismos de anillo para “traducir” objetos (números) entre anillos.

    Vamos a dar un ejemplo a continuación, pero no seguir el tema mucho más allá. Para los curiosos, leer la documentación de Sage y experimentar sería un buen ejercicio.

    Entonces phi es un homomorfismo (“morfismo”) que convierte enteros (el dominio es ZZ) en racionales (el codominio es QQ), cuyo padre es un conjunto de homomorfismos que Sage llama “homset”. A pesar de que a y b ambos imprimen como 3, lo cual es indistinguible a nuestros ojos, los padres de a y b son diferentes. Sin embargo, el valor numérico de los dos objetos no ha cambiado.


    This page titled 16.10: Salvia is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Thomas W. Judson (Abstract Algebra: Theory and Applications) via source content that was edited to the style and standards of the LibreTexts platform.