arguments: K:ring M:monoid >> R:ring
Create the ring R = K[M], where each monomial is thought of as representing an irreducible GL(n)-module, where n is the number of variables of the monoid M. Multiplication is the multiplication of schur functors, and is implemented using a variant of the Littlewood-Richardson rule.
Go to main index.
Go to concepts index.