Semi-symmetric algebras: General constructions (Q1188167): Difference between revisions

Let \(K\) be a commutative ring with unit and \(E\) a \(K\)-module. Mimicking the standard construction of the symmetric (or antisymmetric) algebra of \(E\), the author shows that any sequence of permutation groups \(W=(W_ p \leq S_ p)_{p \geq 1}\) and any sequence of characters \(\chi=(\chi_ p:W_ p \to K)_{p \geq 1}\) yield a sequence of \(K\)-modules \(([\chi]^ pE)_{p \geq 0}\). The condition on \(W\) and \(\chi\) for the direct sum \([\chi]E=\coprod_{p \geq 0}[\chi]^ pE\) to be an associative \(K\)- algebra is shown. The sequence \(W\) has to satisfy, for each \(p\geq 1\), \(W_ p \leq W_{p+1}\) and \(\omega(W_ p) \leq W_{p+1}\), where \(\omega\) is an endomorphism of the symmetric group \(S_ \infty\) of permutations of \(N\) with finite support, while the sequence \(\chi\) has to satisfy \(\chi_{p+1 | W_ p} =\chi_ p\) and \(\chi_{p+1}\circ \omega_{| W_ p}=\chi_ p\). All such sequences of characters are classified and it is shown that the group of these sequences is naturally isomorphic to the trivial groups, or, to the subgroup \(I(K)\) of the group \(U(K)\) of units of \(K\), consisting of all involutions. The author calls the algebra \([\chi]E\) the semi-symmetric algebra of weight \(\chi\) of the \(K\)-module \(E\) and shows that the algebra under specific restriction produces the tensor, symmetric and antisymmetric algebra. Finally, he gives a list of the functorial properties of the construction.