Computer Algebra
《Computer Algebra》 · 第 81–82 页 · Chapter II，Section 2「The reduction of an abelian variety」，复乘定义段
An abelian variety $A$ is said to have complex multiplication by the CM-field $E$ if $E\subset\operatorname{End}(A)\otimes\mathbb Q$, $2\dim A=[E:\mathbb Q]$, and, for some polarization of $A$, the Rosati involution on $\operatorname{End}(A)\otimes\mathbb Q$ stabilizes $E$ and acts on it as complex conjugation.