Vector Invariants ofU2(Fp) : A Proof of a Conjecture of Richman

In this paper we prove a conjecture of D. R. Richman concerning the vector invariants of the groupU2(Fp). LetVbe a vector space of dimension 2 with basisx,yover the fieldFpand letFp[x, y] be the symmetric algebra ofVoverFp. Ifσdenotes a generator ofU2(Fp) then we may assumeσ(x)=xandσ(y)=x+y. LetAnbe...

Full description

Saved in:
Bibliographic Details
Published in:Advances in mathematics (New York. 1965) 1997-03, Vol.126 (1), p.1-20
Main Authors: Campbell, H.E.A., Hughes, I.P.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we prove a conjecture of D. R. Richman concerning the vector invariants of the groupU2(Fp). LetVbe a vector space of dimension 2 with basisx,yover the fieldFpand letFp[x, y] be the symmetric algebra ofVoverFp. Ifσdenotes a generator ofU2(Fp) then we may assumeσ(x)=xandσ(y)=x+y. LetAnbe the symmetric algebra ofV⊕n. We obtain an automorphism ofAnof order p by using the diagonal action ofσextended to the whole ofAn. The subalgebra of polynomials left invariant by this action is called the ring of vector invariants ofU2(Fp). Richman conjectured that these rings of invariants have certain sets of generators and gave a proof in the casep=2. We prove his conjecture for all primes.
ISSN:0001-8708
1090-2082
DOI:10.1006/aima.1996.1590