Generator-and-relation conjecture for the modules M_\bm
Generator-and-relation conjecture. The following \ga\g^a\ga-module M_\bm is isomorphic to