E = symmetricPower(i,M)
This produces the symmetric power of a labeled module as a labeled module with the natural basis list. For instance if $M$ is a labeled module with basis list $L$, then exteriorPower(2,M) is a labeled module with basis list multiSubsets(2,L) and with $M$ as an underlying module,
|
|
|
|
|
|
|
The first symmetric power of a labeled module is not the identity in the category of labeled modules. For instance, if $M$ is a free labeled module with basis list $\{0,1\}$ and with no underlying modules, then $symmetricPower(1,M)$ is a labeled module with basis list $\{ \{0\}, \{1\},\}$ and with $M$ as an underlying module.
|
|
|
|
|
|
|
By convention, the zeroeth symmetric power of an $S$-module is the labeled module $S^1$ with basis list $\{\{\}\}$ and with no underlying modules.
|
|
|
|
|