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

s i g m a

be an automorphism of

K

and let

d e l t a

be a

s i g m a

-derivation of

K

. We show that the division ring

D = K (x; s i g m a, d e l t a)

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

s i g m a

a

k

-algebra automorphism of

K

and

d e l t a

a

k

-linear derivation of

K

,

K (x; s i g m a)

having a free subalgebra on two generators is equivalent to

s i g m a

having infinite order, and

K (x; d e l t a)

having a free subalgebra is equivalent to

d e l t a

being nonzero. As an application, we show that if

D

is a division ring with center

k

of characteristic zero and

D^{*}

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.

Recommendations

Cites Work

Cited In (14)

This page was built for publication: Free algebras and free groups in Ore extensions and free group algebras in division rings.