Non-commutative algebra