Simple Ore extensions Let $R[x;\sigma,\delta]$ be an Ore extension, where $R$ is an associative and unital ring and $\sigma : R\to R$ is a (not necessarily injective!) ring endomorphism. (In the literature it is often assumed to be injective).
My question is the following:
If $R[x;\sigma,\delta]$ is a simple ring, is $\sigma$ necessarily an injective map?
Note that the answer is affirmative in the case when the maps $\sigma$ and $\delta$ commute. Does anyone know of an example of a simple Ore extension where $\sigma$ is NOT injective?
 A: Actually, the argument in my earlier answer can be refined to show the following.
Proposition: Suppose $R$ is a reduced abelian ring, $\sigma:R\rightarrow R$ is a ring homomorphism and $\delta:R\rightarrow R$ is a $\sigma$-derivation. If the Ore extension $A=R[x,\sigma,\delta]$ is simple, then $\sigma$ has to be injective.
Proof: Suppose $\sigma$ is not injective. Then we find a non-zero element $b\in\ker\sigma$. Because $R$ is reduced we know that all powers of $b$ are non-zero. Define $I=\{P\in A\mid \exists k\in \mathbb{N}:P\;b^k=0\}$. Then it is clear that $I$ is a left ideal of $A$, that it is a right $R$-submodule of $A$, that it does not contain $1$ and that $bx-\delta(b)\in I$. To show that $I$ is a non-trivial ideal, we only have to show that $Ix\subset I$. Take any $P\in I$, so $P\;b^k=0$ for some $k$. Now we see that $(P\; x)b^{k+1}=P\;b^k\delta(b)=0$ and hence $P\;x\in I$. QED
A: Just two Naive constructions i thought about and that do not give simple Ore extensions.
We start with an algebraically closed field $F$ of characteristic $0$ and consider the ring of polynomials $R_0=F[y]$. As a homomorphism $\sigma_0:R_0\rightarrow R_0$, we use the evaluation at $0$, i.e. $\sigma_0(\sum_{i=0}^n a_iy^i)=a_0$. The $\sigma_0$-derivation is then given by $\delta_0(\sum_{i=0}^n a_iy^i)=\sum_{i=1}^n a_iy^{i-1}$.
The Ore extension $R_0[x,\sigma_0,\delta_0]$ is not simple because $yx-1$ generates a non-trivial ideal. But we can do the following.
Define $R=R_0[(y-a)^{-1}\mid 0\not=a\in F]$ to be the localization of $R_0$ with respect to all polynomials $P\in R_0$ with $P(0)\not=0$. The homomorphism $\sigma_0$ and the derivation $\delta_0$ extend uniquely to this localization, i.e. we find a unique homomorphism $\sigma:R\rightarrow R$ such that $\sigma\vert_{R_0}=\sigma_0$, and a unique $\sigma$-derivation $\delta:R\rightarrow R$ such that $\delta\vert_{R_0}=\delta_0$.
Now the Ore extension $A=R[x,\sigma,\delta]$ is still not simple. Consider the set $I=\{b\in A\mid \exists k\in\mathbb{N}:by^k=0\}$. This set is clearly a left ideal, it does not contain $1$ and it contains $yx-1$. It is also immediate that $I\cdot R=I$. In order to show that $I$ is a non-trivial ideal, we only have to show that $Ix\subset I$. Suppose $b\in I$, so $by^k=0$ for some $k$. Then we see that $(bx)y^{k+1}=by^k=0$ so $bx\in I$.
