Lemma 1
-
- Community Team
- Posts: 426
- Joined: Mon Nov 09, 2015 1:52 pm
Lemma 1
Let \(\displaystyle{\left(A,+,\cdot\right)}\) be a commutative ring with unity and \(\displaystyle{S\subseteq A}\) a
multiplicative subset of \(\displaystyle{A}\). Consider the natural homomorphism \(\displaystyle{i:A\to S^{-1}\,A}\).
Let \(\displaystyle{J}\) be an ideal of \(\displaystyle{\left(A,+,\cdot\right)}\). Then,
\(\displaystyle{J^{e}=i(J)\,(S^{-1}\,A)=\left\{\sum_{k=1}^{n}i(a_k)\,\dfrac{b_k}{s_k}: a_k\in J\,,b_k\in A\,,s_k\in S\,,k\in\mathbb{N}\right\}}\)
is an ideal of \(\displaystyle{S^{-1}\,A}\). Prove that
\(\displaystyle{J^{e}=\left\{\dfrac{r}{s}: r\in J\,\,,s\in S\right\}}\).
multiplicative subset of \(\displaystyle{A}\). Consider the natural homomorphism \(\displaystyle{i:A\to S^{-1}\,A}\).
Let \(\displaystyle{J}\) be an ideal of \(\displaystyle{\left(A,+,\cdot\right)}\). Then,
\(\displaystyle{J^{e}=i(J)\,(S^{-1}\,A)=\left\{\sum_{k=1}^{n}i(a_k)\,\dfrac{b_k}{s_k}: a_k\in J\,,b_k\in A\,,s_k\in S\,,k\in\mathbb{N}\right\}}\)
is an ideal of \(\displaystyle{S^{-1}\,A}\). Prove that
\(\displaystyle{J^{e}=\left\{\dfrac{r}{s}: r\in J\,\,,s\in S\right\}}\).
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 17 guests