Jacobson density theorem (source code)

= Jacobson density theorem
{c}
{wiki=Jacobson_density_theorem}

If $V$ is a simple left $R$-module and $D=\operatorname{End}_R(V)^{\mathrm{op}}$, then every prescribed map on a finite $D$-linearly independent subset of $V$ is induced by an element of $R$.