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.

Articles by others on the same topic (0)

There are currently no matching articles.