I'm not so sure that xy-xy can ever be non-zero and still provide arithmetic in which linear algebra operations make sense. For non-commuting variables, one can get at least something:
sage: A.<x,y>=FreeAlgebra(QQ)