Free algebras and free groups in Ore extensions and free group algebras in division rings

Abstract

Let $K$ be a field of characteristic zero, let $\ddot{I}ƒ$ be an automorphism of $K$ and let $\hat{I}´$ be a $\ddot{I}ƒ$-derivation of $K$. We show that the division ring $D=K(x;\ddot{I}ƒ,\hat{I}´)$ either has the property that every finitely generated subring satisfies a polynomial identity or $D$ contains a free algebra on two generators over its center. In the case when $K$ is finitely generated over $k$ we then see that for $\ddot{I}ƒ$ a $k$-algebra automorphism of $K$ and $\hat{I}´$ a $k$-linear derivation of $K$, $K(x;\ddot{I}ƒ)$ having a free subalgebra on two generators is equivalent to $\ddot{I}ƒ$ having infinite order, and $K(x;\hat{I}´)$ having a free subalgebra is equivalent to $\hat{I}´$ being nonzero. As an application, we show that if $D$ is a division ring with center $k$ of characteristic zero and $D^{\ast }$ contains a solvable subgroup that is not locally abelian-by-finite, then $D$ contains a free $k$-algebra on two generators. Moreover, if we assume that $k$ is uncountable, without any restrictions on the characteristic of $k$, then $D$ contains the $k$-group algebra of the free group of rank two.

13 pages