Let be the group norm element. This is a nonzero vector in the group algebra , and is a trivial submodule of its left regular module. If were a semisimple algebra, this submodule would have a -linear projection . Write . Since for every , we would have
whereas a projection onto satisfies . Thus .