Symbolic non-commutative algebra

Consider 3 non-commutative elements $$A,B,C$$ and we have the relation $$CB=\alpha BC$$.

I want to compute things like : $$(A\otimes BC ) ( B \otimes B) = AB \otimes \alpha B^2C$$

Is there any package doing this ?

• Check the NCAlgebra package (I am not very familiar with it so I can't give an answer, but it's the biggest/oldest package dealing with such problems). – Szabolcs Mar 21 at 8:25
• try www.github.com/NCAlgebra/NC – Slepecky Mamut Mar 21 at 8:39
• This package deals with non commutative algebra but it doesn't seem to treat tensor products – Nico045 Mar 21 at 10:16
• You don't need a package. Just give Mathematica the rules for working with non-commutative multiplication and tensor product. – Somos Mar 21 at 14:46

Using Dot for your noncommutative multiplication, we can encode your relation with:
B /: C . B := α B . C

Using KroneckerProduct for your "⊗" operation, the output you want to get can then be obtained with:
KroneckerProduct[A, B.C].KroneckerProduct[B, B] //TensorExpand