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 havewhereas a projection onto satisfies . Thus .
Articles by others on the same topic
There are currently no matching articles.