Ore meets homothetic extensions

Abstract: Sufficient and necessary conditions for an extension of a skew-derivation $(δ_R,α_R)$ of an associative $\mathbb{F}$-algebra $R$ to a skew derivation $(δ_S,α_S)$ on an extension $S$ of $R$ by $\mathbb{F}$ or a {\em homothetic extension $S$ of $R$ by $\mathbb{F}$} are derived. It is then shown that this yields the unique extension of the Ore extension $R[x;α_R,δ_R]$ of $R$ by $\mathbb{F}$ that embeds in the Ore extension $S[x;α_S,δ_S]$ of $S$ by the extended skew-derivation.