Let $R$ be a commutative ring with unit and let $q$ be an ideal of $R$. There is thus a natural map $SL(n,R) \rightarrow SL(n,R/q)$ for all $n$. This map is surjective if $SL(n,R/q)$ is generated by elementary matrices, but I very much doubt that it is surjective in general (though I don't know any examples).
My questions are as follows.
Can someone give me an example of a ring $R$ and an ideal $q$ of $R$ such that the map $SL(n,R) \rightarrow SL(n,R/q)$ is not surjective for any $n$? I'd like the examples to be as nice as possible. For instance, it would be great to have an example where $R$ is Noetherian and has finite Krull dimension.
What conditions can I put on $R$ and $q$ to assure that this map is surjective, at least for large $n$?