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 therefore
Its 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. Hence
A homomorphism from is determined by any image of . Thus is the two-dimensional row right module with action
Its 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 (0)

There are currently no matching articles.