14.8: Salvia
- Page ID
- 111369
\( \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 grupos se pueden realizar de muchas maneras, como conjuntos de permutaciones, como conjuntos de matrices, o como conjuntos de símbolos abstractos relacionados por ciertas reglas (“presentaciones”) y de muchas otras formas. Nos hemos concentrado en los grupos de permutación por su sensación concreta, con elementos escritos como funciones, y por su minuciosa implementación en Sage. Las acciones grupales son de gran interés cuando el conjunto sobre el que actúan es el propio grupo, y las acciones grupales figurarán de manera destacada en las pruebas de los principales resultados del próximo capítulo. Sin embargo, cada vez que tenemos una acción grupal en un set, podemos ver ese grupo como un grupo de permutación sobre los elementos del conjunto. Entonces los grupos de permutación son un área de teoría de grupos de interés independiente, con sus propias definiciones y teoremas.
Describiremos los comandos de Sage aplicables cuando una acción grupal surge naturalmente a través de la conjugación, para luego pasar a la situación más general en una aplicación más general.
La conjugación como acción grupal
Podríamos pensar que debemos tener cuidado de cómo Sage define la conjugación (\(gxg^{-1}\)versus\(g^{-1}xg\)) y la diferencia entre Sage y el texto en el orden de los productos. No obstante, si miras la definición de los subgrupos centro y centralizador puedes ver que cualquier diferencia en el orden es irrelevante. Aquí están los comandos de acción de grupo para la acción particular que es la conjugación de los elementos del grupo.
Sage tiene un método de grupo de permutación .center ()
que devuelve el subgrupo de puntos fijos. El método de grupo de permutación, .centralizer (g)
, devuelve un subgrupo que es el estabilizador del elemento de grupo g
. Por último, las órbitas son dadas por clases de conjugación, pero Sage no te inundará con las clases de conjugación completas y en su lugar devuelve una lista de un elemento por clase de conjugación, los representantes, a través del método de grupo de permutación .conjugacy_classes_representatives ()
. Se puede reconstruir manualmente una clase de conjugación a partir de un representante, como lo hacemos en el siguiente ejemplo.
Aquí hay un ejemplo de los comandos anteriores en acción. Observe que un grupo abeliano sería una mala elección para este ejemplo.
Observe que en la única clase de conjugación construida todos los elementos tienen la misma estructura de ciclo, lo que no es casualidad. Observe también que rep
y a
son el mismo elemento, y el producto del orden del centralizador (\(4\)) y el tamaño de la clase de conjugación (\(4\)) es igual al orden del grupo (\(16\)), que es una variante de la conclusión del Teorema 14.11.
Verificar que lo siguiente es una demostración de la ecuación de clase en el caso especial cuando la acción es conjugación, pero sería válida para cualquier grupo, en lugar de solo D.
Automorfismos de Gráfica
Como se mencionó, las acciones grupales pueden ser aún más interesantes cuando el conjunto en el que actúan es diferente del propio grupo. Una clase de ejemplos es el grupo de simetrías de un sólido geométrico, donde los objetos del conjunto son los vértices del objeto, o tal vez algún otro aspecto como aristas, caras o diagonales. En este caso, el grupo son todas esas permutaciones que mueven el sólido pero lo dejan llenando el mismo espacio antes del movimiento (“movimientos rígidos”).
En esta sección vamos a examinar algo muy parecido. Una gráfica es un objeto matemático, que consiste en vértices y aristas, pero la única estructura es si un par dado de vértices está unido o no por un borde o no. El grupo consiste en permutaciones de vértices que preservan la estructura, es decir, permutaciones de vértices que llevan aristas a aristas y no aristas a no aristas. Es muy similar a un grupo de simetría, pero no existe la noción de que se preserve ninguna relación geométrica.
Aquí hay un ejemplo. Deberá ejecutar la primera celda de cómputo para definir el gráfico y obtener una buena representación gráfica.
Tu trazado debe parecerse a los vértices y bordes de un cubo, pero puede que no parezca del todo regular, lo cual está bien, ya que la geometría no es relevante. Los vértices se etiquetan con cadenas de tres dígitos binarios,\(0\) o\(1\text{,}\) y dos vértices cualesquiera están conectados por un borde si sus cadenas difieren exactamente en una ubicación. Podríamos esperar que el grupo de simetrías tenga orden\(24\text{,}\) en lugar de orden\(48\text{,}\) dado su parecido con un cubo (en apariencia y en nombre). Sin embargo, cuando no se restringe a movimientos rígidos, tenemos nuevas permutaciones que preservan los bordes. Una en particular es intercambiar dos “caras opuestas”. Localizar dos\(4\) -ciclos opuestos entre sí, enumerados en el mismo orden:\(000, 010, 110, 100\) y\(001, 011, 111, 101\text{.}\) Observe que cada ciclo se ve muy similar, pero todos los vértices del primer extremo en un cero y el segundo ciclo tiene vértices que terminan en uno.
Podemos crear explícitamente la permutación que intercambia estas dos caras opuestas, usando una versión textual de la permutación en notación de ciclo.
Podemos usar este grupo para ilustrar los comandos relevantes de Sage para las acciones grupales.
Entonces esta acción tiene sólo una (grande) órbita. Esto implica que cada vértice es “como” cualquier otro. Cuando un grupo de permutación se comporta de esta manera, decimos que el grupo es transitivo.
Si cada vértice es “el mismo” podemos calcular el estabilizador de cualquier vértice, ya que todos serán isomórficos. Debido a que el vértice\(000\) es el más simple en algún sentido, calculamos su estabilizador.
Que S
tenga\(6\) elementos no es ninguna sorpresa, ya que el grupo tiene orden\(48\) y el tamaño de la órbita solitaria es\(8\text{.}\) Pero podemos ir un paso más allá. Los tres vértices de la gráfica a los que se adjuntan directamente\(000\) son\(100\text{,}\)\(010\text{,}\)\(001\text{.}\) Cualquier automorfismo de la gráfica que fija\(000\) debe entonces permutar los tres vértices adyacentes. Hay formas\(3!=6\) posibles de hacerlo, y se puede comprobar que cada uno aparece en uno de los seis elementos del estabilizador. Entonces podemos entender un grupo transitivo considerando el estabilizador más pequeño, y en este caso podemos ver que cada elemento del estabilizador está determinado por cómo permuta a los vecinos del vértice estabilizado.
Los grupos transitivos son inusuales e importantes. En contraste, aquí hay un grupo de automorfismo gráfico que está lejos de ser transitivo (sin ser trivial). Un camino es una gráfica que tiene todos sus vértices en una línea. Ejecute la primera celda de cálculo para ver una ruta en\(11\) los vértices.
El grupo de automorfismo es el automorfismo de identidad trivial (siempre) y una\(2\) permutación de orden que “voltea” el camino de extremo a extremo. El grupo está lejos de ser transitivo y hay muchas órbitas.
La mayoría de los estabilizadores son triviales, con una excepción. Como subgrupos de un grupo de orden realmente no\(2\text{,}\) hay demasiadas opciones.
¿En qué habría sido diferente este último ejemplo si hubiéramos usado un camino en\(10\) vértices?
NOTA: Alguna vez hubo un pequeño error con estabilizadores que se creaban como subgrupos de grupos simétricos en menos símbolos que el número correcto. Esto se corrige en Sage 4.8 y posteriores. Tenga en cuenta la salida correcta a continuación, y puede verificar su instalación ejecutando estos comandos. Si no ves el singleton [4]
en tu salida, definitivamente deberías actualizar tu copia de Sage.