Zulip Chat Archive

Stream: Is there code for X?

Topic: Mapping ideals to localizations


view this post on Zulip Kenji Nakagawa (Sep 07 2020 at 14:31):

Hi, recently I've wanted to formalize some stuff with neotherian domains and localizations at the nonzero prime P. More specifically, I want to show that for any other prime Q, QR_P=R_P, and several other related facts, however, I'm not sure if there's already a way to do this. At first I thought this was done with fractional ideals, but after thinking about it some, realized it wasn't.

view this post on Zulip Anne Baanen (Sep 07 2020 at 14:37):

Maybe docs#ideal.map helps?

view this post on Zulip Kenji Nakagawa (Sep 07 2020 at 15:42):

Thanks, this is precisely what I want!


Last updated: May 07 2021 at 22:14 UTC