Algebra homomorphism over a field

For a field $k$, a homomorphism of $k$-algebras is a unital ring homomorphism preserving scalar multiplication by every element of $k$. For unital algebras it is equivalently a ring homomorphism commuting with their structural maps from $k$. Pullback by a morphism of algebraic varieties gives such a homomorphism between their coordinate rings.

An $R$-point of a unital algebra over a field $A$ is a unital algebra homomorphism over a field $A\to R$. For the quantum plane over the complex numbers, scalar points lie on the two coordinate axes when $q\ne 1$, while matrix-valued points are pairs $X,Y$ with $YX=qXY$.

For finite matrices satisfying $YX=qXY$, with $q$ not a root of unity, $Y$ sends the generalized eigenspace of $X$ at $\lambda$ into the one at $q^{-1}\lambda$. Finiteness of the spectrum makes $Y$ nilpotent on the sum of the nonzero $X$ generalized eigenspaces. Exchanging $X,Y$ gives the corresponding statement for $X$. Splitting the zero generalized eigenspace of $X$ by that of $Y$ gives the displayed invariant direct sum; both operators are nilpotent on $U$.