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$ Commented 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
    Commented 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$ Commented Sep 30, 2010 at 12:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .