A right ideal in a unital associative algebra is a vector subspace with , equivalently a submodule of the right regular module. It need not be a left ideal. Its finite generation refers to right multiplication by elements of .
New to topics? Read the docs here!