Location of Repository

In this paper, we study the vector invariants, F[mV_2]^(C_p), of the 2-dimensional indecomposable representation V_2 of the cylic group, C_p, of order p over a field F of characteristic p. This ring of invariants was first studied by David Richman who showed that this ring required a generator of degree m(p-1), thus demonstrating that the result of Noether in characteristic 0 (that the ring of invariants of a finite group is always generated in degrees less than or equal to the order of the group) does not extend to the modular case. He also conjectured that a certain set of invariants was a generating set with a proof in the case p=2. This conjecture was proved by Campbell and Hughes. Later, Shank and Wehlau determined which elements in Richman's generating set were redundant thereby producing a minimal generating set.\ud \ud We give a new proof of the result of Campbell and Hughes, Shank and Wehlau giving a minimal algebra generating set for the ring of invariants F[m V_2]^(C_p). In fact, our proof does much more. We show that our minimal generating set is also a SAGBI basis. Further, our techniques also serve to give an explicit decomposition of F[m V_2] into a direct sum of indecomposable C_p-modules. Finally, noting that our representation of C_p on V_2 is as the p-Sylow subgroup of SL_2(F_p), we are able to determine a generating set for the ring of invariants of F[m V_2]^(SL_2(F_p))

Topics:
QA150

Year: 2010

OAI identifier:
oai:kar.kent.ac.uk:23885

Provided by:
Kent Academic Repository

Downloaded from
http://kar.kent.ac.uk/23885/1/arXiv0901.2811.pdf

- (1989). A completion procedure for computing a canonical basis of a k-subalgebra,
- (1911). A Fundamental System of Invariants of the General Modular Linear Group with a Solution of the Form Problem,
- (1983). A Primer on the Dickson Invariants,
- (1996). Bases for rings of coinvariants,
- (1998). bases for rings of formal modular seminvariants,
- (2008). Catalan Numbers with Application
- (2002). Computational invariant theory, Invariant Theory and Algebraic Transformation Groups, I,
- (2002). Computing modular invariants of p-groups,
- (1915). Der Endlichkeitssatz der invarianten endlicher Gruppen,
- (1954). Finite unitary reﬂection groups,
- (1967). Groupes ﬁnis d’automorphismes d’anneaux locaux r´ eguliers, Colloque d’Alg` ebre (Paris,
- (1967). Groupes finis d’automorphismes d’anneaux locaux re´guliers, Colloque d’Alge`bre (Paris,
- (1992). Ideals, varieties, and algorithms,
- (2002). Invariant theory of ﬁnite groups,
- (1955). Invariants of ﬁnite groups generated by reﬂections,
- Modular Invariant Theory,
- (2002). Noether numbers for subrepresentations of cyclic groups of prime order,
- (2001). On Noether’s bound for polynomial invariants of a ﬁnite group,
- On regular diﬀerence terms,
- (1990). On vector invariants over ﬁnite ﬁelds,
- (1995). Polynomial invariants of ﬁnite groups,
- (1980). Profondeur d’anneaux d’invariants en caract´ eristique p,
- (1980). Profondeur d’anneaux d’invariants en caracte´ristique p,
- (1990). Subalgebra bases,
- (2000). Symmetric powers of modular representations, Hilbert series and degree bounds,
- (1997). The classical groups,
- (1997). The Magma algebra system I: the user language,
- (2000). The Noether bound in invariant theory of ﬁnite groups,
- (1951). The product of the generators of a ﬁnite group generated by reﬂections,
- (1997). Vector invariants of U2(Fp): A proof of a conjecture of Richman,

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.