Hom into the regular algebra as a right module

ID: hom-into-the-regular-algebra-as-a-right-module

For a left module over a unital associative algebra , right multiplication in gives a right module structure on by . This remains a module homomorphism because ; associativity and the unit verify the action axioms. When and is its simple module of columns, every such map is for a unique row , making the Hom space the simple row right module. This illustrates how left and right simple modules correspond for a semisimple algebra.

New to topics? Read the docs here!