Representation theory MOC

Representation

A (linear) representation of a structure is a homomorphism from to a structure of the same kind on a set of linear maps, rep which for single-typed structures is typically a subset of for some vector space called the carrier space. A representation may thus be considered a functor.

Relation to modules

If the represented structure is an K-monoid, a representation is equivalent to a Module over a unital associative algebra, and indeed in most cases one can move from representations of an algebraic structure to representations of a related associative algebra (e.g. group ring, Universal enveloping algebra) over a field without loss of information. This is because itself is an Endomorphism ring.

This yields the three equivalent ways of viewing a representation of a gadget :

1. A gadget homomorphism from to a gadget of vector spaces;
2. A functor from a gadget-as-category to Category of vector spaces;
3. A module over a K-monoid related to .

Represented object

• Group representation
  • Representation of a finite group
  • Representation of an abelian group
  • Representation of a compact Lie group
• Algebras
  • Module over a unital associative algebra
  • ∗-representation
  • Lie algebra representation
• Quiver representation

---

develop | en | sembr