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, #m/def/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 -monoid, a representation is equivalent to a Module over a -monoid, 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 ;
  3. A module over a -monoid related to .

Represented object

#state/develop | #lang/en | #SemBr