Location of Repository

## Vector invariants for the two dimensional modular representation of a cyclic group of prime order

### Abstract

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

### Citations

1. (1989). A completion procedure for computing a canonical basis of a k-subalgebra,
2. (1911). A Fundamental System of Invariants of the General Modular Linear Group with a Solution of the Form Problem,
3. (1983). A Primer on the Dickson Invariants,
4. (1996). Bases for rings of coinvariants,
5. (1998). bases for rings of formal modular seminvariants,
6. (2008). Catalan Numbers with Application
7. (2002). Computational invariant theory, Invariant Theory and Algebraic Transformation Groups, I,
8. (2002). Computing modular invariants of p-groups,
9. (1915). Der Endlichkeitssatz der invarianten endlicher Gruppen,
10. (1954). Finite unitary reﬂection groups,
11. (1967). Groupes ﬁnis d’automorphismes d’anneaux locaux r´ eguliers, Colloque d’Alg` ebre (Paris,
12. (1967). Groupes finis d’automorphismes d’anneaux locaux re´guliers, Colloque d’Alge`bre (Paris,
13. (1992). Ideals, varieties, and algorithms,
14. (2002). Invariant theory of ﬁnite groups,
15. (1955). Invariants of ﬁnite groups generated by reﬂections,
16. Modular Invariant Theory,
17. (2002). Noether numbers for subrepresentations of cyclic groups of prime order,
18. (2001). On Noether’s bound for polynomial invariants of a ﬁnite group,
19. On regular diﬀerence terms,
20. (1990). On vector invariants over ﬁnite ﬁelds,
21. (1995). Polynomial invariants of ﬁnite groups,
22. (1980). Profondeur d’anneaux d’invariants en caract´ eristique p,
23. (1980). Profondeur d’anneaux d’invariants en caracte´ristique p,
24. (1990). Subalgebra bases,
25. (2000). Symmetric powers of modular representations, Hilbert series and degree bounds,
26. (1997). The classical groups,
27. (1997). The Magma algebra system I: the user language,
28. (2000). The Noether bound in invariant theory of ﬁnite groups,
29. (1951). The product of the generators of a ﬁnite group generated by reﬂections,
30. (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.