Vector invariants of \(U_ 2(\mathbb{F}_ p)\): A proof of a conjecture of Richman (Q1354670): Difference between revisions
From MaRDI portal
m rollbackEdits.php mass rollback Tag: Rollback |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/aima.1996.1590 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2035531000 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123263135 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On vector invariants over finite fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3975991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3816236 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariants of finite groups and their applications to combinatorics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A diagonal form for the incidence matrices of \(t\)-subsets vs. \(k\)- subsets / rank | |||
Normal rank |
Latest revision as of 12:29, 27 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Vector invariants of \(U_ 2(\mathbb{F}_ p)\): A proof of a conjecture of Richman |
scientific article |
Statements
Vector invariants of \(U_ 2(\mathbb{F}_ p)\): A proof of a conjecture of Richman (English)
0 references
10 December 1997
0 references
Let \(p\) be an odd prime and let \(A_n\) denote the polynomial ring \(\mathbb{F}_p [x_i,y_i]\), \(1\leq i\leq n\). Let \(\sigma\) be the \(\mathbb{F}_p\)-algebra automorphism of \(A_n\) which maps \(x_i\) to \(x_i\) and \(y_i\) to \(x_i+y_i\) for each \(1\leq i\leq n\). Clearly \(\sigma\) has order \(p\). We define the \(\sigma\)-invariant subalgebra of \(A_n\) by \(A_n^\sigma= \{a\in A_n:\sigma(a)=a\}\). Given \(a\in A_n\), its trace \(\text{Tr}(a)= \sum_{j=0}^{p-1} \sigma^j(a)\) and its norm \(N(a)= \prod_{j=0}^{p-1} \sigma^j(a)\). This paper settles affirmatively a conjecture of Richman by showing that \(A_n^\sigma= \mathbb{F}_p[x_i,N(y_i), u_{i_j}\text{Tr}(z)]\), where \(u_{i_j}= x_iy_j- x_jy_i\), \(z\) divides \((y_1\dots y_n)^{p-1}\), \(1\leq i\leq n\) and \(1\leq i<j\leq n\). The proof requires a good deal of detailed calculations. One of the key ideals is that of so-called flat monomials \(\prod_{i\in S}x_i\prod_{j\in S'}y_j\) where \(S,S'\) are non-empty disjoint sets such that \(S\cup S'=\{1,\dots,n\}\).
0 references
norm
0 references
finite characteristic
0 references
algebra automorphism
0 references
invariant subalgebra
0 references
trace
0 references
flat monomials
0 references