|
Post Made Community Wiki by Scott Morrison♦
|
||||
|
|
||||
|
1 |
|
||
|
If $I,J \subset A$ are comaximal ideals in a commutative ring $A$, i.e. $I+J=A$, then
for all $n,m \in \mathbb N$ the ideals $I^n$ and $J^m$ are also comaximal. Warning: I wouldn't like to be drawn into a discussion on whether this is just terminology or trivial algebraically or a big cheat or what not. All I know is that when I had to prove this result a long time ago, I came up with this proof a few months after I had started learning affine schemes and I was exhilarated at the thought that I could literally see why the result held by drawing two disjoint little doodles representing $V(I)$ and $V(J)$ inside a potato representing $Spec(A)$. |
||||

