Centers of Skew Polynomial Rings

Waldo Arriagada, Hugo Ramírez

We determine the center $\mathcal C(K[x;\delta])$ of the ring of skew polynomials $K[x;\delta]$, where $K$ is a field and $\delta$ is a non-zero derivation over $K$. We prove that $\mathcal C(K[x;\delta])=\ker\delta,$ if $\delta$ is transcendental over $K$. On the contrary, if $\delta$ is algebraic over $K$, then $\mathcal C(K[x;\delta])=(\ker\delta)[\eta(x)]$. The term $\eta(x)$ is the minimal polynomial of $\delta$ over $K$.