1: \begin{abstract} 

2: We examine the cohomology and representation theory of a family of finite supergroup

3: schemes of the form 

4: $(\bbG_a^-\times \bbG_a^-)\rtimes (\bbG_{a(r)}\times (\bbZ/p)^s)$. 

5: In particular, we show that a certain relation holds in the cohomology

6: ring, and deduce that for finite supergroup schemes having this as a

7: quotient, both cohomology mod nilpotents and projectivity

8: of modules is detected on proper sub-super\-group schemes. This 

9: special case feeds into the proof of a more general detection theorem for unipotent finite

10: supergroup schemes, in a separate work of the authors joint with

11: Iyengar and Krause.

12: 

13: We also completely determine the cohomology ring in the smallest

14: cases, namely $(\bbG_a^- \times \bbG_a^-) \rtimes \bbG_{a(1)}$ and

15: $(\bbG_a^- \times \bbG_a^-) \rtimes \bbZ/p$. The computation uses the

16: local cohomology spectral sequence for group cohomology, which we

17: describe in the context of finite supergroup schemes.

18: \end{abstract}

19: