複素数体であれば、任意のCM-タイプのAは、実際、数体である定義体(英語版)(fieldofdefinition)を持つ。自己準同型環の可能なタイプは、対合(ロサチの対合(英語版)(Rosatiinvolution)をもつ環として既に分類される。