Algebra with two generators and relations 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).

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.
