The Jacobson radical is . Indeed , so is contained in the Jacobson radical, and is a semisimple algebra, giving the reverse inclusion. The radical of a module of the left regular module is thereforeIts socle is the sum of its simple modules. The displayed left action shows that its -submodules span . There is no -submodule: if for every , applying forces the first row of to vanish, and applying then forces the remaining coefficient to vanish. HenceA homomorphism from is determined by any image of . Thus is the two-dimensional row right module with actionIts line is a nonzero proper submodule, so is not simple. Since has no copy in the socle, any homomorphism is zero. Thus is not simple either, since a simple module is required to be nonzero.
Articles by others on the same topic
There are currently no matching articles.