Basic Ring Theory - 17
-
- Community Team
- Posts: 314
- Joined: Tue Nov 10, 2015 8:25 pm
Basic Ring Theory - 17
Prove the following assertion (which is relative to the one in Basic Ring Theory - 17) :
If $A$ is an integral domain, then $A$ is equal to the intersection (inside its quotient field $Q(A)$) of its localizations at all maximal ideals, i.e. \[ A = \bigcap_{ \mathfrak{m} \in \text{MaxSpec}(A) } A_{\mathfrak{m}} \]where $\text{MaxSpec}(A)$ is the set of all maximal ideals of $A$.
If $A$ is an integral domain, then $A$ is equal to the intersection (inside its quotient field $Q(A)$) of its localizations at all maximal ideals, i.e. \[ A = \bigcap_{ \mathfrak{m} \in \text{MaxSpec}(A) } A_{\mathfrak{m}} \]where $\text{MaxSpec}(A)$ is the set of all maximal ideals of $A$.
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 15 guests