Skip to main content
4 events
when toggle format what by license comment
Dec 17, 2021 at 14:32 comment added Will Sawin Another way to say this is that if we have a polynomial which lies in the radical, so some power of it lies in the ideal, then all its Galois conjugates do (because the ideal is stable under the Galois group), and taking linear (not necessarily over $\mathbb Q$) combinations of its Galois conjugates one finds rational polynomials, a linear combination of which give the original polynomial (using a basis for the field generated by the coefficients). For transcendentals one can do something similar by specializing.
Dec 17, 2021 at 14:26 comment added Gro-Tsen Yes. Abstractly it comes from the fact that reduction of a scheme is functorial (EGA I,§5.1; so we have a morphism $(X_{\mathbb{C}})_{\operatorname{red}} \to (X_{\operatorname{red}})_{\mathbb{C}}$) and that a reduced scheme over $\mathbb{Q}$ is geometrically reduced (EGA IV,§4.6; so the morphism I just wrote is an isomorphism). Computationally, it comes from the fact that the algorithms used to compute the radical (e.g., Becker & Weispfenning, Gröbner Bases, §8.7) are insensitive to the base field.
S Dec 17, 2021 at 13:58 review First questions
Dec 17, 2021 at 14:11
S Dec 17, 2021 at 13:58 history asked CesarMassri CC BY-SA 4.0