Examples where $1+I$ is inverted but $I$ is not mapped into the Jacobson radical

50 Views Asked by At

Let $f:A\to B$ be a commutative ring morphism. Let $I\vartriangleleft A$ be an ideal. If $f(I)\subset \mathrm J(B)$ is contained in the Jacobson radical then $f(1+i)=1+f(i)\in B^\times$ is a unit so $1+I$ is inverted.

On the other hand, if $1+f(i)\in B^\times$ it does not seem to follow that $f(i)\in \mathrm J(B)$ since perhaps $1+bf(i)\notin B^\times$ for some $b\in B$.

Question. What are some examples where this implication fails i.e $f(1+I)\subset B^\times$ but $f(I)\nsubseteq\mathrm J(B)$?

1

There are 1 best solutions below

2
On BEST ANSWER

There are some very basic examples. Let $f:\Bbb Z\to\Bbb Q$ be the inclusion map, and let $I$ be any non-trivial ideal, but for argument's sake say $I=3\Bbb Z$. Then $f(1+I)\subseteq\Bbb Q^\times$ but of course $J(\Bbb Q)=0$. Taking $I=3\Bbb Z$ we have another property: $1$ is the only invertible element of $1+I$ over $\Bbb Z$.