Automorphism of ring and isomorphism of quotient rings

697 Views Asked by At

I want to understand isomorphisms between quotient rings of a given (noncommutative) ring $R$ (or even an $K$-Algebra) better and if there is some way to connect them to automorphisms of $R$. Now, given an automorphism $$ \phi:R \to R$$ I can mod out any Ideal $I$ in the image and get another ringhomomorphism by composing $\phi$ and the projection onto the quotient ring. Then I can just mod out the kernel of this function and get an isomorphism of quotient rings. Now my question is: If I'm given an isomorphism $$\phi': R/I \to R/J$$ is there some way to construct an automorphism of $R$ that, after going through the process described above, gives me back the isomorphism?

EDIT: Ok, the first answer showed that that's not possible in that generality. What happens if i restrict myself to finitely generated algebras, or even better algebras where every ideal is finitely generated?

A second but somewhat related question: I understand that it's quite hard to determine whether two quotient rings are isomorphic as rings or algebras. Is there any way to at least rule it out? Are there some invariants that are somewhat possible to determine given an, lets say, minimal generating system of the ideals?

Context: I'm interested in the free algebra in $n$ generators over $\mathbb{C}$ and when modding out some Ideals lead to the same quotient algebra over $\mathbb{C}$.

I'm thankful for any comments or answers or corrections!

2

There are 2 best solutions below

1
On

Let $R$ be a non-zero commutative ring and $S = \displaystyle \prod_{n=0}^{\infty}R$, then consider the ideals $I=(1,0,0, \dots)$ and $J=(0)$. We have that $S/I \cong S \cong S/J$, but obviously there is no automorphism that sends $I$ to $J$.

2
On

An example with finitely generated algebras (in fact, finite rings) would be the following: let $R=\mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$, let $I=2\mathbb{Z}/4\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ and let $J = \mathbb{Z}/4\mathbb{Z}\times \{0\}$. Then $$ R/I \cong \mathbb{Z}/2\mathbb{Z} \cong R/J, $$ but no automorphism of $R$ can send $I$ to $J$, since $J$ contains an element of additive order $4$ while $I$ does not.