Articulo de referencia

Matriz de permutación generalizada

En matemáticas , una matriz de permutación generalizada (o matriz monomial ) es una matriz con el mismo patrón de elementos no nulos que una matriz de permutación , es decir, ha...

En matemáticas , una matriz de permutación generalizada (o matriz monomial ) es una matriz con el mismo patrón de elementos no nulos que una matriz de permutación , es decir, hay exactamente un elemento no nulo en cada fila y en cada columna. A diferencia de una matriz de permutación, donde el elemento no nulo debe ser 1, en una matriz de permutación generalizada el elemento no nulo puede ser cualquier valor distinto de cero. Un ejemplo de una matriz de permutación generalizada es:

[0030070010000002].{\displaystyle {\begin{bmatrix}0&0&3&0\\0&-7&0&0\\1&0&0&0\\0&0&0&{\sqrt {2}}\end{bmatrix}}.}

Estructura

Una matriz invertible A es una matriz de permutación generalizada si y solo si puede escribirse como un producto de una matriz diagonal invertible D y una matriz de permutación (implícitamente invertible ) P : es decir,

A=DPAG.{\displaystyle A=DP.}

Estructura del grupo

El conjunto de matrices de permutación generalizadas n × n con entradas en un cuerpo F forma un subgrupo del grupo lineal general GL( n , F ), en el que el grupo de matrices diagonales no singulares Δ( n , F ) forma un subgrupo normal . De hecho, sobre todos los cuerpos excepto GF(2) , las matrices de permutación generalizadas son el normalizador de las matrices diagonales, lo que significa que las matrices de permutación generalizadas son el subgrupo más grande de GL( n , F ) en el que las matrices diagonales son normales.

El grupo abstracto de matrices de permutación generalizadas es el producto de corona de F × y S n . Concretamente, esto significa que es el producto semidirecto de Δ( n , F ) por el grupo simétrico S n :

S nΔ ( n , F ),

donde S n actúa permutando coordenadas y las matrices diagonales Δ( n , F ) son isomorfas al producto n -ésimo ( F × ) n .

Para ser precisos, las matrices de permutación generalizadas son una representación lineal (fiel) de este producto abstracto en forma de corona: una realización del grupo abstracto como un subgrupo de matrices.

Subgrupos

Propiedades

  • Si una matriz no singular y su inversa son ambas matrices no negativas (es decir, matrices con entradas no negativas), entonces la matriz es una matriz de permutación generalizada.
  • El determinante de una matriz de permutación generalizada viene dado pordet(GRAMO)=det(PAG)det(D)=sgn(π)d11dnortenorte,{\displaystyle \det(G)=\det(P)\cdot \det(D)=\operatorname {sgn} (\pi )\cdot d_{11}\cdot \ldots \cdot d_{nn},}dóndesgn(π){\displaystyle \operatorname {sgn} (\pi )}es el signo de la permutaciónπ{\displaystyle \pi }asociado conPAG{\displaystyle P} yd11,,dnortenorte{\displaystyle d_{11},\ldots ,d_{nn}}son los elementos diagonales deD{\displaystyle D}.

Generalizaciones

Se puede generalizar aún más permitiendo que las entradas pertenezcan a un anillo , en lugar de a un cuerpo. En ese caso, si se requiere que las entradas no nulas sean unidades del anillo, se obtiene nuevamente un grupo. Por otro lado, si solo se requiere que las entradas no nulas sean distintas de cero, pero no necesariamente invertibles, este conjunto de matrices forma un semigrupo .

También se puede permitir esquemáticamente que las entradas no nulas pertenezcan a un grupo G, entendiendo que la multiplicación de matrices solo implicará multiplicar un único par de elementos del grupo, no "sumar" elementos del grupo. Esto es un abuso de notación , ya que los elementos de las matrices que se multiplican deben permitir la multiplicación y la suma, pero es una noción sugerente para el grupo abstracto (formalmente correcto).GRAMOSnorte{\displaystyle G\wr S_{n}}(el producto de la corona del grupo G por el grupo simétrico).

Grupo de permutaciones con signo

Una matriz de permutación con signo es una matriz de permutación generalizada cuyas entradas no nulas son ±1, y son las matrices de permutación generalizadas enteras con inverso entero.

Propiedades

Aplicaciones

Representaciones monomiales

Las matrices monomiales aparecen en la teoría de la representación en el contexto de las representaciones monomiales . Una representación monomial de un grupo G es una representación lineal ρ  : G → GL( n , F ) de G (donde F es el cuerpo definitorio de la representación) tal que la imagen ρ ( G ) es un subgrupo del grupo de matrices monomiales.

Referencias

  • Joyner, David (2008). Aventuras en la teoría de grupos. El cubo de Rubik, la máquina de Merlín y otros juguetes matemáticos (2.ª ed. actualizada y revisada  ). Baltimore, MD: Johns Hopkins University Press. ISBN 978-0-8018-9012-3. Zbl 1221.00013 .