The facts about representation theory mentioned earlier can be made precise as follows: the abelian category of all representations of is isomorphic to the abelian category of all left modules over .
Сведения о теории представлений, упомянутые ранее, могут быть уточнены следующим образом: абелева категория всех представлений formula_6 изоморфна абелевой категории всех левых модулей formula_9.