[mikhailfranco]

Non-commutative also means that if there are units, there may be different left and right units:

    1L * A = A = A * 1R