Loading AI tools
Da Wikipédia, a enciclopédia livre
Em matemática, uma invariante modular de um grupo é um invariante de um grupo finito agindo em um espaço vetorial de característica positiva (geralmente dividindo a ordem do grupo). O estudo de invariantes modulares foi originado por volta de 1914 por Dickson (2004).
Quando G é o grupo linear geral finito GLn(Fq) sobre o campo finito Fq da ordem de uma potência prima q atuando no anel Fq[X1, ...,Xn] de modo natural, Dickson (1911) encontra um conjunto completo de invariantes como se segue.
Escreva [e1, ...,en] para o determinante da matriz cujas entradas são Xqej
i, onde e1, ...,en são inteiros não negativos. Por exemplo, o determinante Moore[nota 1] [0,1,2] de ordem 3 é
Em seguida, sob a ação do um elemento g de GLn(Fq) estes determinantes são todos multiplicados por det(g), por isso são todos os invariantes de SLn(Fp) e as razões [e1, ...,en]/[0,1,...,n−1] são invariantes de GLn(Fq), chamadas invariantes Dickson. Dickson provou que o anel completo de invariantes Fq[X1, ...,Xn]GLn(Fq) é uma álgebra polinomial sobre os n Dickson invariantes [0,1,...,i−1,i+1,...,n]/[0,1,...,n−1] for i=0, 1, ..., n−1. Steinberg (1987) deu uma prova curta do teorema de Dickson.
As matrizes [e1, ...,en] são divisíveis por todas as formas lineares não-zero nas variáveis Xi com coeficientes no campo finito Fq. Em particular, o determinante de Moore [0,1,...,n−1] é um produto de tais formas lineares, tomado ao longo de 1+q+q2+...+qn–1 representantes de n-1 espaço projetivo dimensional sobre o campo. Esta fatorização é similar à fatoração de determinante de Vandermonde em fatores lineares
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.