Skip to main content
3 of 3
replaced http://mathoverflow.net/ with https://mathoverflow.net/

My understanding is that the "right" way to define the symmetric algebra comes from a braiding that tells you how the symmetric group acts on tensor products. And an easy and general way to get such a braiding is to consider the category of representations of a quasi-triangular Hopf algebra; this is a short way to define the category of supervector spaces and recover the usual notion of graded-commutativity there.

The problem is that when you say "graded" (say, with respect to a group) you're only specifying at best a Hopf algebra, not a quasi-triangular structure. So the answer depends on what possible quasi-triangular structures are floating around (in the $\mathbb{Z}/2\mathbb{Z}$ case on the group algebra of $\mathbb{Z}/2\mathbb{Z}$) and of course for a group of order $|G|$ terrible things are going to happen in characteristic dividing $|G|$.

Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741