About: Math Wiki:Sandbox

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Math Wiki:Sandbox Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : dbkwik.org associated with source dataset(s)

The aim of this seminar is to introduce the theory of Schur functors, with an aim of being able to compute these in specific applications. Let $K$ be a commutative ring. We recall that the $n$-th tensor power $E^{\otimes n}$ of a module $E$ represents the functor sending a module $M$ to the set (in fact $K$-module) of multilinear maps $E^n o M$. Similarly we can define the $n$-th exterior power $\bigwedge^n(E)$ as the module representing the functor of alternating multilinear maps, and the $n$-th symmetric power $\mathrm{Sym}^n(E)$ as representing the functor of symmetric multilinear maps. The Schur functors generalise these concepts: for each partition $\lambda$ one obtains a module $S^\lambda(E)$ representing a certain class of multilinear maps such that $S^{(1^n)}(E)\cong\bigwedge^n(E)$

Attributes	Values
rdfs:label	Math Wiki:Sandbox
rdfs:comment	The aim of this seminar is to introduce the theory of Schur functors, with an aim of being able to compute these in specific applications. Let $K$ be a commutative ring. We recall that the $n$-th tensor power $E^{\otimes n}$ of a module $E$ represents the functor sending a module $M$ to the set (in fact $K$-module) of multilinear maps $E^n o M$. Similarly we can define the $n$-th exterior power $\bigwedge^n(E)$ as the module representing the functor of alternating multilinear maps, and the $n$-th symmetric power $\mathrm{Sym}^n(E)$ as representing the functor of symmetric multilinear maps. The Schur functors generalise these concepts: for each partition $\lambda$ one obtains a module $S^\lambda(E)$ representing a certain class of multilinear maps such that $S^{(1^n)}(E)\cong\bigwedge^n(E)$
dbkwik:math/proper...iPageUsesTemplate	dbkwik:resource/Q4HbN6dxzl4wZS24gL5gIg==
abstract	The aim of this seminar is to introduce the theory of Schur functors, with an aim of being able to compute these in specific applications. Let $K$ be a commutative ring. We recall that the $n$-th tensor power $E^{\otimes n}$ of a module $E$ represents the functor sending a module $M$ to the set (in fact $K$-module) of multilinear maps $E^n o M$. Similarly we can define the $n$-th exterior power $\bigwedge^n(E)$ as the module representing the functor of alternating multilinear maps, and the $n$-th symmetric power $\mathrm{Sym}^n(E)$ as representing the functor of symmetric multilinear maps. The Schur functors generalise these concepts: for each partition $\lambda$ one obtains a module $S^\lambda(E)$ representing a certain class of multilinear maps such that $S^{(1^n)}(E)\cong\bigwedge^n(E)$ and $S^{(n)}(E)\cong\mathrm{Sym}^n(E)$. We can then regard the map $E\mapsto S^\lambda(E)$ as a functor on the category of $K$-modules, even on the category of finitely-generated free $K$-modules.

OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software