May there exist an integral domain [itex]R[/itex], with fraction field [itex]K[/itex], that fulfills the following condition:(adsbygoogle = window.adsbygoogle || []).push({});

there exists [itex]x\in K[/itex], [itex]x\not \in R[/itex] and a maximal ideal [itex] \frak m[/itex] of [itex]R{[}x{]}[/itex], such that [itex] \frak m[/itex] does not contain [itex]x-a[/itex] for any [itex]a\in R[/itex] ?

Motivation : I am trying to prove a difficult result. A way to obtain it would be to show that if [itex] \varphi[/itex] is an epimorphism of an integral domain [itex]R[/itex] into a field [itex]F[/itex], then the residual field of every place [itex] \tilde \varphi[/itex] extending [itex] \varphi[/itex] to the fraction field of [itex]R[/itex], with finite values into an algebraic closure of [itex]F[/itex], is equal to [itex]F[/itex]. I have some doubts that such a miracle does occur; but this problem is not available in the literature.

Now, if the answer of the asked question is negative, then we are done, taking the restriction of [itex] \tilde\varphi[/itex] to [itex]R{[}x{]}[/itex] in the (allegedly) absurd supposition that such an extension of [itex] \varphi[/itex] exist.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Maximal ideal not containing specific expression

Tags:

Loading...

Similar Threads - Maximal ideal containing | Date |
---|---|

I Simple Modules and Maximal Right Ideals ... | Feb 4, 2017 |

I Prime and Maximal Ideals in PIDs .. Rotman, AMA Theorem 5.12 | Sep 1, 2016 |

I Maximal Ideals and the Correspondence Theorem for Rings | Aug 31, 2016 |

Intersection of maximal ideal with subring | Jun 11, 2014 |

Irreducible central elements generate maximal ideals? | Nov 24, 2013 |

**Physics Forums - The Fusion of Science and Community**