## Return to Answer

3 added 2 characters in body

Let $K$ be a number field and $F$ a polynomial with coefficients in $K$. Class field theory shows that the following properties of $F$ are equivalent:

(1) There is subgroup $H$ of a generalized ideal class group $C_{\mathfrak m}$ (of some appropriately chosen conductor $\mathfrak m$) and a finite set of prime ideals $S$ (including all primes involved in the denominators of $F$) such that $F$ splits completely modulo $\wp$ (for $\wp \not\in S$) if and only if the class of $\wp$ in $C_{\mathfrak m}$ lies in $H$.

(2) The splitting field of $F$ over $K$ is an abelian extension.

In Shimura's example, the field $K$ is $\mathbf Q$, the conductor is $7$, the set $S$ is ${7}$, \{7\}$, and the splitting field is the degree 3 extension of$\mathbf Q$contained in${\mathbf Q}(\zeta_7)\$.

So in general, to construct $F$ of the type considered by Shimura, one must construct abelian extensions of number fields $K$. The theory of complex multiplication is one tool that allows one to do this.

2 added 22 characters in body

Let $K$ be a number field and $F$ a polynomial with coefficients in $K$. Class field theory shows that the following properties of $F$ are equivalent:

(1) There is subgroup $H$ of a generalized ideal class group $C_{\mathfrak m}$ (of some appropriately chosen conductor $\mathfrak m$) and a finite set of prime ideals $S$ (including all primes involved in the denominators of $F$) such that $F$ splits completely modulo $\wp$ (for $\wp \not\in S$) if and only if the class of $\wp$ in $C_{\mathfrak m}$ lies in $H$.

(2) The splitting field of $F$ over $K$ is an abelian extension.

In Shimura's example, the field $K$ is $\mathbf Q$, the conductor is $7$, the set $S$ is ${7}$, and the splitting field is the degree 3 extension of $\mathbf Q$ contained in ${\mathbf Q}(\zeta_7)$.

So in general, to construct $F$ of the type considered by Shimura, one must construct abelian extensions of number fields $K$. The theory of complex multiplication is one tool that allows one to do this.

1

Let $K$ be a number field and $F$ a polynomial with coefficients in $K$. Class field theory shows that the following properties of $F$ are equivalent:

(1) There is subgroup $H$ of a generalized ideal class group $C_{\mathfrak m}$ (of some appropriately chosen conductor $\mathfrak m$) and a finite set of prime ideals $S$ (including all primes involved in the denominators of $F$) such that $F$ splits completely modulo $\wp$ if and only if the class of $\wp$ in $C_{\mathfrak m}$ lies in $H$.

(2) The splitting field of $F$ over $K$ is an abelian extension.

In Shimura's example, the field $K$ is $\mathbf Q$, the conductor is $7$, the set $S$ is ${7}$, and the splitting field is the degree 3 extension of $\mathbf Q$ contained in ${\mathbf Q}(\zeta_7)$.

So in general, to construct $F$ of the type considered by Shimura, one must construct abelian extensions of number fields $K$. The theory of complex multiplication is one tool that allows one to do this.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 77, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9305635690689087, "perplexity_flag": "head"}