Isomorphism
-
- Community Team
- Posts: 426
- Joined: Mon Nov 09, 2015 1:52 pm
Isomorphism
Let \(\displaystyle{\left(R,+,\cdot\right)}\) be an associative ring with unity \(\displaystyle{1=1_{R}}\)
and \(\displaystyle{I\,,J}\) double ideals of \(\displaystyle{\left(R,+,\cdot\right)}\) . If there exists
\(\displaystyle{\phi\in Aut(R)}\) such that \(\displaystyle{\phi(I)=J}\), then prove that
\(\displaystyle{R/I\cong R/J}\) as rings.
and \(\displaystyle{I\,,J}\) double ideals of \(\displaystyle{\left(R,+,\cdot\right)}\) . If there exists
\(\displaystyle{\phi\in Aut(R)}\) such that \(\displaystyle{\phi(I)=J}\), then prove that
\(\displaystyle{R/I\cong R/J}\) as rings.
-
- Community Team
- Posts: 314
- Joined: Tue Nov 10, 2015 8:25 pm
Re: Isomorphism
Consider the composite map
\[ R \overset{\varphi}{\to} R \overset{\pi}{\twoheadrightarrow} R/J \]
Note that
\[ R \overset{\varphi}{\to} R \overset{\pi}{\twoheadrightarrow} R/J \]
Note that
- $ \text{Ker}( \pi \circ \varphi ) = I $, as $ \text{Ker}( \pi ) = J $ and $ \varphi(I) = J $
- $ \text{Im}( \pi \circ \varphi ) = R/J $, as $ \pi $ is surjective and $ \varphi \in \text{Aut}(R) $
-
- Community Team
- Posts: 426
- Joined: Mon Nov 09, 2015 1:52 pm
Re: Isomorphism
Here is another idea (similar to the previous one) .
We define \(\displaystyle{F:R/I\to R/J}\) by \(\displaystyle{F(x+I)=\phi(x)+J}\)
If \(\displaystyle{x+I=y+I\in R/I}\), then \(\displaystyle{x-y\in I}\), so
\(\displaystyle{\phi(x-y)\in \phi(I)=J\implies \phi(x)-\phi(y)\in J\implies \phi(x)+J=\phi(y)+J}\) .
Therefore, the map \(\displaystyle{F}\) is well defined and it's obviously, ring epimorphism.
Finally, let \(\displaystyle{x+I\in\rm{Ker}(F)}\). Then, \(\displaystyle{F(x+I)=\phi(x)+J=J}\), which means
that \(\displaystyle{\phi(x)\in J=\phi(I)\implies \exists\,a\in I\,,\phi(x)=\phi(a)}\) and since
\(\displaystyle{\phi}\) is monomorphism, we get \(\displaystyle{x=a\in I\implies x+I=I}\). So,
\(\displaystyle{\rm{Ker}(F)=\left\{I\right\}}\) and \(\displaystyle{\phi}\) is also monomorphism.
We define \(\displaystyle{F:R/I\to R/J}\) by \(\displaystyle{F(x+I)=\phi(x)+J}\)
If \(\displaystyle{x+I=y+I\in R/I}\), then \(\displaystyle{x-y\in I}\), so
\(\displaystyle{\phi(x-y)\in \phi(I)=J\implies \phi(x)-\phi(y)\in J\implies \phi(x)+J=\phi(y)+J}\) .
Therefore, the map \(\displaystyle{F}\) is well defined and it's obviously, ring epimorphism.
Finally, let \(\displaystyle{x+I\in\rm{Ker}(F)}\). Then, \(\displaystyle{F(x+I)=\phi(x)+J=J}\), which means
that \(\displaystyle{\phi(x)\in J=\phi(I)\implies \exists\,a\in I\,,\phi(x)=\phi(a)}\) and since
\(\displaystyle{\phi}\) is monomorphism, we get \(\displaystyle{x=a\in I\implies x+I=I}\). So,
\(\displaystyle{\rm{Ker}(F)=\left\{I\right\}}\) and \(\displaystyle{\phi}\) is also monomorphism.
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 1 guest