Skip to main content
1 of 4
Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 424

Algebra with three anti-commutator relations

Let $u,v,w \in \mathbb{F}_p^{\times}$. Consider the $\mathbb{F}_p$-algebra generated by $ a,b,c$ and the relations $$u a^2 = bc + cb$$ $$v b^2 = ac + ca$$ $$w c^2 = ab + ba$$ Is $A$ generated by the $a^i b^j c^k$ with $i,j,k \geq 0$ as an $\mathbb{F}_p$-module?

It is enough to show that $b a^i b^j$ and $c a^i b^j$ lie in the span. I tried induction on $i+j$, but I am going in circles. Even for $i+j=2$ already. Maybe it is not true actually? The corresponding question for $2$ generators has a positive answer, though.

Also, does $A$ have a name, or does $A$ belong to a more well-known class of algebras?

Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 424