Gr\"obner basis and Anick's resolution for U_{F_2}(sl^+_3)

Abstract

We compute three first steps of a minimal projective resolution for the trivial module over U_{F_2}(sl^+_3).