Higman criterion for finite representation type of a group algebra

ID: higman-criterion-for-finite-representation-type-of-a-group-algebra

For a finite group and a field of characteristic , the group algebra has finite representation type exactly when a Sylow p-subgroup of is cyclic. Restriction and induction reduce the assertion to a Sylow p-subgroup, using projectivity detected on a subgroup of invertible index. A cyclic p-group has only the finitely many indecomposable modules for a cyclic p-group.[ref]
A noncyclic finite p-group has a quotient group . Here is an infinite collection of indecomposable modules that works even over a finite field. On with , let send identically onto and kill , and let send onto by one Nilpotent Jordan block and kill . All products of vanish, so the defining group algebra relations hold. A commuting endomorphism has block form with . The quotient by the square-zero ideal of blocks is , a local ring. The entire endomorphism ring is therefore local, so the module is indecomposable. Their unbounded dimensions give infinitely many isomorphism classes over every , rather than relying on an infinite scalar parameter set.

New to topics? Read the docs here!