Let be a prime number, let be a field of characteristic , let be a -vector space, let denote the -fold tensor power of , let denote the subspace of symmetric tensors. Then we have the symmetrization operator
end the linear map
then the map is bijective and we define by
and
If is a -ring we have that is a -ring and is a -ring morphism.
If is a ring spectrum we abbreviate and the following diagram is commutative.
Last revised on June 13, 2014 at 13:54:23.
See the history of this page for a list of all contributions to it.