1: \begin{abstract}

2: We study the ring of invariants for a finite dimensional representation $V$ of the group $C_2$ of order 2 in characteristic $2$.

3: Let $\sigma$ denote a generator of $C_2$ and $\{x_1,y_1 \dots, x_m,y_m\}$ a basis of $V^*$.

4: % , $C_2$, acting on the polynomial algebra $\F_2[x_1,y_1 \dots, x_m,y_m]$, $m \ge 1$.  If , the action is given by

5: Then $\sigma(x_i) = x_i$, and $\sigma(y_i) = y_i + x_i$.

6: % It is not hard to see that this representation is% isomorphic to the regular representation of $C_2$.

7: 

8: To our knowledge, this ring (for any prime $p$) was first studied by David Richman \cite{Richman-vectinvaoverfini:90} in 1990.  He gave a {\em first} main theorem for $(V_2, C_2)$, that is, he proved that the ring of invariants when $p=2$ is generated by

9:     $$

10:         \set{x_i, N_i = y_i^2 + x_iy_i, \tr(A) \bigm| 2 \le |A| \le m}\,,

11:     $$

12: where $A \subset \set{0,1}^m$, $y^A = y_1^{a_1} y_2^{a_2} \cdots y_m^{a_m}$ and

13:     $$

14:         \tr(A) = y^A + (y_1+x_1)^{a_1}(y_2+x_2)^{a_2} \cdots (y_m+x_m)^{a_m}\,.

15:     $$

16: In this paper, we prove the {\em second} main theorem for $(V_2, C_2)$, that is, we show that all relations between these generators are generated by relations of type I

17:     $$

18:         \sum_{I \subset A } x^I \tr(A-I) = 0\,,

19:     $$

20: and of type II

21:     \begin{align*}

22:         \tr(A) \tr(B) &= \sum_{L < I} x^{I-L} N^L \tr(I-L+J+K) \\

23:             &\quad + N^I \sum_{L < J} x^{J-L}\tr(L+K)\,,

24:     \end{align*}

25: for all $m$.  We also derive relations of type~III which are simpler and can be used in place of the relations of type~II.

26: \end{abstract}

27: