複素数体であれば、任意のCM-タイプの A は、実際、数体である定義体（英語版）

2021.11.10