Lemma 1

Algebraic Geometry
Post Reply
Papapetros Vaggelis
Community Team
Posts: 426
Joined: Mon Nov 09, 2015 1:52 pm

Lemma 1

#1

Post by Papapetros Vaggelis »

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\}}\).
Post Reply

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

Register

Sign in

Who is online

Users browsing this forum: No registered users and 9 guests