## Subrepresentations and Quotient Representations

Today we consider subobjects and quotient objects in the category of representations of an algebra . Since the objects are representations we call these “subrepresentations” and “quotient representations”.

As in any category, a subobject (on the vector space ) of a representation (on the vector space ) is a monomorphism . This natural transformation is specified by a single linear map . It’s straightforward to show that if is to be left-cancellable as an intertwinor, it must be left-cancellable as a linear map. That is, it must be an injective linear transformation from to .

Thus we can identify with its image subspace . Even better, the naturality condition means that we can identify the action of on with the restriction of to this subspace. The result is that we can define a subrepresentation of as a subspace of so that actually sends into itself for every . That is, it’s a subspace which is fixed by the action .

If is a subrepresentation of , then we can put the structure of a representation on the quotient space . Indeed, note that any vector in the quotient space is the coset of a vector . We define the quotient action using the action on : . But what if is another representative of the same coset? Then we calculate:

because sends the subspace back to itself.

Too much metaphor, too little concrete.

NS

Comment by notedscholar | December 5, 2008 |

Not interested, NS.

Comment by John Armstrong | December 5, 2008 |

Not to prolong a discussion the host has no interest in pursuing, but since this is the second time NS has charged that John is indulging in metaphor, it should at least be said that all the terms John is using are completely standard mathematical jargon. So the charge is wildly off base.

Comment by Todd Trimble | December 7, 2008 |

Oh, NS won’t be happy unless everything is expressed in terms of a bunch of rocks. He’s another gadfly, although I will give him credit for having his own weblog to expound his own ideas, unlike the last we had around here.

Comment by John Armstrong | December 7, 2008 |

[…] us two subspaces: the kernel and the image . And it turns out that each of these is actually a subrepresentation. Showing this isn’t difficult. A subrepresentation is just a subspace that gets sent to […]

Pingback by Kernels and Images of Intertwiners « The Unapologetic Mathematician | December 12, 2008 |

[…] the form to itself. This defines a one-dimensional subspace fixed by the representation — a subrepresentation defined […]

Pingback by Do Short Exact Sequences of Representations Split? « The Unapologetic Mathematician | December 17, 2008 |

[…] interesting properties. Each one, given a representation of the symmetric group, will give us a subrepresentation of that […]

Pingback by The Symmetrizer and Antisymmetrizer « The Unapologetic Mathematician | December 19, 2008 |