Full-vertex modules for a noncyclic p-group

ID: full-vertex-modules-for-a-noncyclic-p-group

Every noncyclic finite finite p-group has a quotient . Over any field of characteristic , define a square-zero representation with basis by for , , for , , and . Here , , and is the span of the . An endomorphism induces the same scalar on the top and on ; the remaining maps from the top to form a square-zero ideal. Thus the endomorphism ring is local and the module is indecomposable. Inflating to and choosing gives infinitely many distinct dimensions with vertex : the trace of a relative-trace identity from any proper subgroup would force dimension zero in the field. This construction works over finite fields too.

New to topics? Read the docs here!