Invariante modular
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).
Dickson invariante
editarQuando 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
Notas e referências
Notas
- ↑ Eliakim Hastings Moore inicialmente trabalhou com álgebra abstrata, provando a classificação da estrutura de corpos finitos. O seu trabalho com sistemas axiomáticos é considerado um dos pontos de partida para a metamatemática e teoria dos modelos.
Referências
- Dickson, Leonard Eugene (1911), «A Fundamental System of Invariants of the General Modular Linear Group with a Solution of the Form Problem», Providence, R.I.: American Mathematical Society, Transactions of the American Mathematical Society, ISSN 0002-9947, 12 (1): 75–98, JSTOR 1988736
- Dickson, Leonard Eugene (2004) [1914], On invariants and the theory of numbers, ISBN 978-0-486-43828-3, Dover Phoenix editions, New York: Dover Publications, MR 0201389
- Rutherford, Daniel Edwin (2007) [1932], Modular invariants, ISBN 978-1-4067-3850-6, Cambridge Tracts in Mathematics and Mathematical Physics, No. 27, Ramsay Press, MR 0186665
- Sanderson, Mildred (1913), «Formal Modular Invariants with Application to Binary Modular Covariants», Providence, R.I.: American Mathematical Society, Transactions of the American Mathematical Society, ISSN 0002-9947, 14 (4): 489–500, JSTOR 1988702
- Steinberg, Robert (1987), «On Dickson's theorem on invariants» (PDF), Journal of the Faculty of Science. University of Tokyo. Section IA. Mathematics, ISSN 0040-8980, 34 (3): 699–707, MR 927606, consultado em 17 de fevereiro de 2012, cópia arquivada (PDF) em
|arquivourl=
requer|arquivodata=
(ajuda) 🔗