The Artinian conjecture for Icircle times operator2 Original Research Article

This paper proves that the injective object IV2 in the category image of functors between F2-vector spaces is Artinian. This is the first non-trivial case to be established of the Artinian conjecture due to Kuhn, Lannes and Schwartz. The method of proof exploits the polynomial filtration of the difference functor Δ:image → image and the study of co-Weyl objects in the category image