1
$\begingroup$

I have a $\mathbb{C}$-algebra defined by two generators $a$ and $b$ with the relations that $a^2 = b^2 = 1$.

I would like to know of ways to think about this algebra (commutative or not).

  • 0
    @user8268 I still find your description of an isomorphism incomprehensible, but yeah, it's obviously a commutative semisimple ring, hence a product of $\mathbb{C}$'s. I went ahead and deleted my mistaken comment. Thanks!2012-09-12

2 Answers 2

1

If the algebra is noncommutative, ie $ab\neq ba$ then you have the group algebra over $\mathbb{C}$ of $\mathbb{Z}/(2) *\mathbb{Z}/(2)$, the free product of $\mathbb{Z}/(2)$s. If the algebra is commutative, ie $ab=ba$ then you have the group algebra over $\mathbb{C}$ of $\mathbb{Z}/(2)\times \mathbb{Z}/(2)$, the Klein 4-group.

1

If you require $a$ and $b$ to commute, then it looks like a graded algebra that one might see in algebraic geometry. It is a quotient of the symmetric algebra of a two-dimensional vector space.

If you require $a$ and $b$ to anticommute ($ab=-ba$) then you are looking at a complex Clifford algebra.

  • 0
    Thanks for this. It gives me something to think about.2012-09-12