2
$\begingroup$

Let $S$ be a finite set. Let $R$ be a complex vector space with basis indexed by subsets of $S$. Define a product on $R$ by defining it on the basis elements as $1_A\cdot 1_B=1_{A\Delta B}$, where $A\Delta B$ is the symmetric difference of $A$ and $B$. This gives $R$ the structure of a commutative and associative $C$-algebra.

Is this a well-understood algebra? Does it have a name?

$\endgroup$

3 Answers 3

6
$\begingroup$

It is the complex group algebra over $((\mathbb{Z}/2)^S,+)$. This may be also described as the tensor product of $S$ copies of $\mathbb{C}[\mathbb{Z}/2] = \mathbb{C} \times \mathbb{C}$.

$\endgroup$
2
  • $\begingroup$ Note that this description is also valid if $S$ is infinite. $\endgroup$ Sep 30, 2010 at 12:46
  • $\begingroup$ Is it OK to speak purely algebraically of an infinite- (even uncountable-) fold tensor product? I guess that one has to construct it "all at once" by an obvious analogue of the 2-fold construction, satisfying an obvious analogue of the 2-fold universal property, since one can't sneak up on it by tensoring only 2 modules at a time. $\endgroup$
    – LSpice
    Oct 17, 2018 at 16:11
8
$\begingroup$

This is the group algebra $\mathbb{C}G$ where $G$ is an elementary Abelian group of order $2^n$ where $n=|S|$ (the elements of $G$ are your $1_A$). Every group ring over $\mathbb{C}$ is isomorphic to the direct product of matrix algebras over $\mathbb{C}$. In this case as $G$ is Abelian, $\mathbb{C} G$ is isomorphic to the product of $2^n$ copies of $\mathbb{C}$.

$\endgroup$
3
$\begingroup$

This is the group algebra of the additive group $(\mathbb Z/2\mathbb Z)^S$, hence it is the product of $2^{|S|}$ copies of $\mathbb C$.

$\endgroup$
1
  • 1
    $\begingroup$ Synchronicity ! $\endgroup$ Sep 30, 2010 at 12:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.